|
|||||
|
|
| 类状态图可测试模型的检查与构造 | |
| 引用本文： | 张毅坤,张保卫,崔杜武.类状态图可测试模型的检查与构造[J].计算机应用,2004,24(Z1):309-310. |
| 作者姓名： | 张毅坤 张保卫 崔杜武 |
| 作者单位： | 西安理工大学,计算机科学与工程学院,陕西,西安,710048 |
| 基金项目： | 陕西省教育厅科研基金资助(00JK265) |
| 摘 要： | 对于类的状态测试,无论采用何种方法生成测试用例,首先要保证测试模型的确定性、一致性和完备性.本文讨论了在软件开发过程中对类的行为建模时,对UML Statechart语义做适当约束,检查类的状态图确定性、一致性,以及构造一个基于FREE模型、具备完备性的可测试模型的方法与步骤. |
| 关 键 词： | 状态测试 模型检查 FREE模型 |
| 文章编号： | 1001-9081(2004)06Z-0309-02 |
| 修稿时间： | 2003年11月25 |
| 本文献已被 CNKI 万方数据 等数据库收录！ | |