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

摘要

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