论文部分内容阅读
目前计算机软件的规模越来越大，复杂度也不断提高，软件错误造成的后果也就越来越严重，软件的质量和可靠性已引起人们的高度重视。在现代软件工程中，软件开发的各个阶段，都应进行相应的严格的质量评审和测试。软件测试成为软件质量保障的关键环节。 类的状态测试反映了类中方法的交互特性以及动态特性，因此类的状态测试是面向对象软件测试的关键部分。本文设计了状态测试数据自动生成工具原型工具aTDG4SM(automated Test DataGenerator for State Machine)。aTDG4SM通过设计UML规约的相应语法，借助bison++语法分析程序生成UML状态图分析器，汲取状态图信息；采用中国邮递员算法生成全局最优测试序列；提出可执行规约概念，综合利用规约测试和程序测试的优点来进行测试用例生成；采用遗传算法生成最终测试数据。同时就关键性测试技术如程序静态分析，插桩以及关键算法改进进行了详细的阐述，并给出aTDG4SM的设计框架，最后结合算例对设计思想进行分析及原型系统验证。