软件测试的一种数学简化方法.pdfVIP

第25卷第4期 计算机应用与软件 Vo1．25 No．4 2008年4月 Computer Applications and Software Apr．2008 软件测试的一种数学简化方法 张忠林 马海云 贾利敏 (兰州交通大学电子与信息工程学院 甘肃兰州730070) 摘 要 在马尔可夫链模型的基础上，将软件测试结果的分析问题转化为一个经典概率问题。通过数学方法实现了软件测试模 型的简化，加速了测试用例的生成，从而降低了测试的复杂度，解决了简化测试用例集难度的问题。通过实例证明，这种测试技术具 有一定的实用性和有效性。 关键词 软件可靠性 软件测试方法 马尔可夫链 经典概率模型 A MATHEMATIC METHoD FoR SIMPLIFICATIoN oF SoFTWARE TESTING Zhang Zhonglin Ma Haiyun Jia Limin (School of Electronic and Information Engineering，Lanzhou Jiaotong University，Lanzhou 730070，Ganshu，China) Abstract Based on Markov Chain，the result analysis of the software test is converted to a classical probability issue．With a mathematic method，the software test model is simplified with an accelerated and simplified process，and the difficulty of the test simplification is solved．It is verified by examples that the test method is useful and eiticient． Keywords ReliabiLity of software Software test methods Markov Chain Classical probability model (1)s是系统所有可能的状态所组成的非空的状态集，有 0 引 言 时也称之为系统的状态空间，它可以是有限的、可列的集合或任 意非空集。本文中假定s是可数集(即有限或可列)。用小写 软件测试是软件工程领域必不可少的过程，在软件生存周 字母i√(或s ，s，)等来表示状态。 期中占有非常重要的位置。据统计，软件开发总成本中，用在测 (2)P=lP J…是系统的状态转移概率矩阵，其中p 表示 试上的开销要占30％～50％，特殊情况下，对可靠性要求很高 系统在时刻t处于状态i，在下一时刻t+1处于状态J的概率，』v 的软件，其测试费用甚至高达所有其他软件工程阶段费用总和 N 是系统所有可能的状态的个数。对于任意i∈S，有 P =1。 的3—5倍…。在对传统软件可靠性测试方法学习的基础上，探 索出了一种实用性强的测试方法，该方法在马尔可夫链模型的 (3)Q=[q ，q：，…，q ]是系统的初始概率分布，q 是系统 基础上，提出了一种新的对测试结果的分析规则，并通过实例证 在初始时刻处于状态i的概率，满足 q =1。 明了这种规则的实用性和正确性。就目前软件工程发展的状况