论文部分内容阅读
对于类的状态测试 ,无论采用何种方法生成测试用例 ,首先要保证测试模型的确定性、一致性和完备性。本文讨论了在软件开发过程中对类的行为建模时 ,对UMLStatechart语义做适当约束 ,检查类的状态图确定性、一致性 ,以及构造一个基于FREE模型、具备完备性的可测试模型的方法与步骤。
类状态图可测试模型的检查与构造
【摘 要】
：
对于类的状态测试 ,无论采用何种方法生成测试用例 ,首先要保证测试模型的确定性、一致性和完备性。本文讨论了在软件开发过程中对类的行为建模时 ,对UMLStatechart语义做适当约束 ,检查类的状态图确定性、一致性 ,以及构造一个基于FREE模型、具备完备性的可测试模型的方法与步骤。
【机 构】
：
西安理工大学计算机科学与工程学院,西安理工大学计算机科学与工程学院陕西西安710048,陕西西安710048,陕西西安710048
【出 处】
：
计算机应用
【发表日期】
：
2004年S1期
【基金项目】
：
陕西省教育厅科研基金资助 (0 0JK2 65)
其他文献