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

• 作者: 程春华 郭天杰 陶政德 齐玉华
• 来源期刊: 舰船电子工程
• 学科: 工学
• 关键词: 软件测试 UML建模语言 使用模型 形式化可测性约束
• 年，卷（期）: 2009,（9）
• 所属期刊栏目: 测试与测量技术
• 页码范围: 188-192
• 页数: 5页
• 分类号: TP311.5
• 字数: 3771字
• 语种: 中文
• DOI: 10.3969/j.issn.1627-9730.2009.09.052

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	郭天杰	海军航空工程学院兵器科学与技术系	24	48	3.0	5.0