FREE模型在面向对象测试中的应用研究

在面向对象分析设计中 ,对象的行为通常与其状态紧密相关。因此 ,基于状态的测试成为面向对象软件中一个有效的测试方法。对FREE模型进行了研究 ,分析了该模型的优缺点及适用范围 ,并将其应用于面向对象软件测试中 ,为基于状态的测试提供一个类行为的可测模型 ,有利于提高面向对象的测试质量。

类状态图可测试模型的检查与构造

对于类的状态测试 ,无论采用何种方法生成测试用例 ,首先要保证测试模型的确定性、一致性和完备性。本文讨论了在软件开发过程中对类的行为建模时 ,对UMLStatechart语义做适当约束 ,检查类的状态图确定性、一致性 ,以及构造一个基于FREE模型、具备完备性的可测试模型的方法与步骤。

基于UML Statecharts的测试用例生成

直接从含有层次和并发结构的UMLstatecharts图产生类的测试用例是比较困难的.提出了一种从UMLstatecharts图产生测试用例的方法:先把UMLstatecharts图转换成FREE(FlattenedRegularExpression)[1]模型图,再以FREE模型图为基础生成类的测试用例.同时,提出了FREE模型的测试覆盖准则,并提出了由FREE模型产生有限的迁移序列的算法.

基于UML Statecharts面向对象软件的测试框架

直接从含有层次和并发结构的UML statecharts图产生面向对象软件类的测试用例是比较困难的,文中提出了基于UML statecharts图的测试框架:先利用现有的UML工具画出UML statecharts图,并产生XMI(XML metadatainterchange)格式的规格说明文件;然后根据UML statecharts的形式化语义,层次和并发结构被展平,将UML statecharts图的规格说明XML文件转换成FREE(flattened regular expression)模型的规格说明信息;最后根据FREE模型的规格说明信息,按照不同的充分性测试准则,分别产生测试用例集.同时提出了由FREE模型根据全ZOT路径覆盖准则产生有限迁移序列的算法,并且还实现了这个测试框架.