蒲卿路,王月波, 刘 涛,孙 云,李继秀

(西南电子技术研究所，成都 610036)

0 引言

目前，随着科技的进步，软件的发展。各式各样的软件融入人们的日常生活中。购物，游戏，银行转账等活动都成为日常生活的一部分[1]。优秀的软件能够吸引大量的客户，为公司取得收益。同时在大量软件出现的今天，也对软件本身提出更高的安全性和稳定性。一款软件在上线前夕，需要进行大量的测试，以便提升软件的质量[2-3]。因此，对软件测试的方法，测试工具的研究为软件测试的质量带来了保证[4]。如何快速、高效地进行测试也是每一个测试人员及开发人员都必须重视的问题[5-7]。

目前大部分的测试用例都是由测试人员或者开发人员手工录入。针对同一类型的测试用例，其区别仅在于数据取值的不同。大量并且重复的测试用例设计，导致测试用例质量不高，不能够发现软件深层次的异常。同时，测试对软件开发的介入，往往需要有一定的代码基础才能开展。在软件需求验证阶段，传统的测试则不具有可行性。因此，有研究人员提出了基于模型的测试、优化和指导测试工作以及加速软件开发过程。

基于模型的测试，就是使用工作流程图、判定表、状态转换图描述出被测对象的实现逻辑。通过对上述模型进行路径的遍历，即可得出测试点。如果测试人员按照依据文档，建立模型时，发现模型不完整，逻辑混乱。也就代表软件的设计逻辑出现错误。使得软件开发过程与测试活动相结合[8]。……