形式化可测性约束在软件模型实现过程中的研究

摘要：

在软件测试中,软件使用模型反映实际运行场景的能力是直接决定测试的成功与否的关键因素之一.一般可以通过对在需求分析阶段已生成的UML建模进行研究得到使用模型,但原始的UML模型,由于缺乏严格的定义及必要的约束,如果要生成高精度的软件模型,必须对其添加必要的形式化可测性约束.这正是文章研究的重点.

关键词：软件测试、UML建模语言、使用模型、形式化可测性约束

所属期刊栏目：29

分类号：TP311.5(计算技术、计算机技术)

在线出版日期：2009-11-09（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：188-192