| 基于场景行为的需求建模及质量特性检测 |
| |
| 引用本文： | 金 欢,黄 箐.基于场景行为的需求建模及质量特性检测[J].计算机应用研究,2016,33(5). |
| |
| 作者姓名： | 金 欢 黄 箐 |
| |
| 作者单位： | 江西科技学院 信息工程学院,武汉大学 计算机学院 |
| |
| 基金项目： | 国家自然科学基金资助项目；深圳战略性新兴产业发展专项资金；中央高校基本科研业务费专项资金 |
| |
| 摘 要： | 为在需求分析阶段验证软件是否满足非功能质量要求，本文提出一种基于场景行为的需求建模及质量特性检测方案。该方案首先定义能够建立高精度、可推理、易理解的需求行为模型的行为描述语言BDL。然后构造需求行为模型到状态迁移模型CCS的模型转换函数。接着以互模拟的定义为前提，验证转换函数的正确性，进而开发可信建模检测工具MTS。该工具导出的行为模型能够与质量特性表达式一起导入特性检测工具CWB实现质量检测。最后，本文使用该工具对手机软件升级这一需求进行行为建模，成功验证手机软件的一致性、安全性、行为可信性及行为非终止性。
|
| 关 键 词： | 场景行为 行为建模 模型转换 可信验证 特性检测 |
| 收稿时间： | 5/4/2015 12:00:00 AM |
| 修稿时间： | 2016/3/25 0:00:00 |
Requirement Formal Modeling and Quality Characteristics Verification Based on Scene Behavior |
| |
| HUAN Jin and HUANG Qing.Requirement Formal Modeling and Quality Characteristics Verification Based on Scene Behavior[J].Application Research of Computers,2016,33(5). |
| |
| Authors: | HUAN Jin and HUANG Qing |
| |
| Affiliation: | Jiangxi University of Technology, |
| |
| Abstract: | |
| |
| Keywords: | Scene behavior Behavior modeling Model transformation Trusted verification Characteristic detection |
|
| 点击此处可从《计算机应用研究》浏览原始摘要信息 |
|
点击此处可从《计算机应用研究》下载全文 |
