论文部分内容阅读
软件测试在软件开发过程中有着越来越重要的地位,它贯穿于整个软件开发过程。而测试用例的设计与生成是软件测试过程中的重点和难点所在。随着面向对象技术的广泛应用,使得基于UML软件测试成为了软件工程的一个重要研究方向。
本文重点研究了基于UML状态图的测试用例的生成方法,首先对Rose规约文件中的状态图文件格式(.mdl)进行了仔细分析,然后设计算法,实现了从mdl文件中提取出有助于软件测试的各种信息;
其次,鉴于测试用例中最复杂的部分是前提条件的获取,本文在此提出一种算法,实现了基于状态图测试路径的自动生成;
再次对基于UML状态图的测试准则进行了分析,重点研究了全谓词覆盖准则和转移对覆盖准则,对其测试用例生成策略进行了研究,然后研究了两个算法分别满足全谓词覆盖准则和转移对覆盖准则。算法中的保证条件不仅适用于布尔类型表达式,而且对关系表达式同样适用。
最后在以上研究的基础上,设计并实现了基于UML状态图测试用例自动生成系统。该系统从读取UML状态图的规格说明mdl文件,到最后测试用例的生成都是自动完成的。为了验证以上算法的有效性,通过实例进行验证。结果表明,算法是有效且可行的。