基于蒙特卡罗的软件测试技术的研究与实现.pdfVIP

2007在 12fJ 郑 州大 学学 报 (工学 版 ) Dec． 2007 第28卷 第4期 Journal of Zhengzhou University(Engineering Science) V0l_28 No．4 文章编号：1671—6833(2007)04—0055—04 基于蒙特卡罗的软件测试技术的研究与实现 马海云 ，党建武 (1．天水师范学院数信学院，甘肃 天水741001；2．兰州交通大学 信息与工程学院。甘肃 兰州730070) 摘 要：提出了基于蒙特卡罗的软件可靠性测试方法，借鉴一些传统的软件测试方法(如白盒测试．黑 盒测试法等)和蒙特卡罗方法，在它们的基础上加以改进。提出的一套全新的测试技术．通过实例说明了 该测试技术的实现过程，证明了它的实用性和有效性．使用该技术可以提高软件测试的准确性和正确 率、缩短软件测试的周期． 关键词：软件可靠性；软件测试；随机测试模型；蒙特卡罗方法 中图分类号：TP 3l1．5 文献标识码：A 程序的所有测试，保证了在测试中程序的每个可 0 引言 执行语句至少执行一次 ．在逻辑覆盖中，生成 据统计，软件开发中，用在测试上的费用要占 的测试用例既要完全覆盖逻辑覆盖列出的条件， 总成本的30％一50％，对可靠性要求很高的软 并且每个条件只覆盖 1次；同样，在路径覆盖中， 件，其测试费用高达所有其他软件工程阶段费用 生成的测试用例既要完全覆盖路径覆盖列出的路 总和的3～5倍…．目前，测试过程的优化已经成 径，并且每条路径只覆盖 1次．作者在逻辑覆盖和 为软件测试技术的主要研究方向． 路径覆盖思想的基础上，在被测软件比较简单的 蒙特卡罗(Monte．carlo)方法以随机模拟和统 情况下，测试用例的设计过程叙述为：被测程序简 计试验为手段，是一种从随机变量的概率分布中， 单的情况下，针对被测程序，产生基于逻辑覆盖和 通过随机选择数字的方法产生一种符合该随机变 路径覆盖的测试流程．先随机产生满足逻辑覆盖 量概率分布特性的随机数值序列，作为输入变量 的测试用例，再检查这些测试用例是否满足路径 序列进行特定的模拟试验求解的方法 ． 覆盖，如果不满足，依据路径覆盖设计思想，产生 在软件测试方面，研究人员利用蒙特卡罗方 前面逻辑覆盖中没有覆盖路径的测试用例，这两 法对软件随机测试方法 和软件控制流和数据 类测试用例共同组成一组测试用例，这组测试用 流覆盖方面 进行了尝试．在对已有的软件可靠 例具有完全覆盖性．在设计测试用例时，应给出预 性测试技术研究的基础上，探索出了一种简单实 期的输出数据结果，以提供检验测试结果的基准． 用的软件可靠性随机测试方法——“蒙特卡罗 (2)对被测程序进行测试时，要按建立的测 (Monte—Carlo)测试”方法． 试流程进行测试，其测试过程为：①单元测试．通 过对单元内部逻辑结构和语句执行过程的仔细分 1 测试方法 析，利用逻辑覆盖和基本路径覆盖设计思想，基于 1．1 测试过程模型 优化了的测试用例进行测试，得出测试数据；②任 将软件测试分为3个过程，见文献[5]． 务测试 ．包括组装集成测试、确认测试、系统测 (1)设计测试用例：测试