基于场景行为的需求建模及质量特性检测

• 作者: 金欢 黄箐
• 来源期刊: 计算机应用研究
• 关键词: 场景行为 行为建模 模型转换 可信验证 特性检测
• 年，卷（期）: 2016,（5）
• 所属期刊栏目: 软件技术研究
• 页码范围: 1384-1389,1398
• 页数: 7页
• 分类号: TP183|TP311.5
• 语种: 中文
• DOI: 10.3969/j.issn.1001-3695.2016.05.024

摘要

为在需求分析阶段验证软件是否满足非功能质量要求，提出一种基于场景行为的需求建模及质量特性检测方案。该方案定义能够建立高精度、可推理、易理解的需求行为模型的行为描述语言BDL，构造需求行为模型到状态迁移模型CCS的模型转换函数，以互模拟的定义为前提，验证转换函数的正确性，进而开发可信建模检测工具MTS。该工具导出的行为模型能够与质量特性表达式一起导入特性检测工具CWB实现质量检测。最后，使用该工具对手机软件升级这一需求进行行为建模，成功验证手机软件的一致性、安全性、行为可信性及行为非终止性。

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	金欢	江西科技学院信息工程学院	9	8	2.0	2.0
2	黄箐	武汉大学计算机学院	2	4	2.0	2.0