| 基于规则的用例规约验证方法 |
| |
| 引用本文： | 张莹,吴际,刘超,杨海燕,胡宁.基于规则的用例规约验证方法[J].计算机科学,2017,44(4):118-123. |
| |
| 作者姓名： | 张莹 吴际 刘超 杨海燕 胡宁 |
| |
| 作者单位： | 北京航空航天大学计算机科学与技术系 北京100191,北京航空航天大学计算机科学与技术系 北京100191,北京航空航天大学计算机科学与技术系 北京100191,北京航空航天大学计算机科学与技术系 北京100191,中航工业西安航空计算技术研究所 西安710065 |
| |
| 基金项目： | 本文受国家重点科研项目(MJ-S-2012-05)资助 |
| |
| 摘 要： | 用例模型描述了参与者对系统功能的需求,在整个系统的开发过程中有着重要作用；用例描述若存在问题,会对系统开发造成很大影响。提出了一种用例规约的规则验证方法,通过分析用例规约中的错误类别,在特定的用例规约描述方法上设计了帮助发现规约中不完整性、不一致性错误的验证规则,并通过规则的形式化来支持需求的自动化验证。
|
| 关 键 词： | 需求验证 验证规则 需求错误 限制的用例规约建模方法 |
| 收稿时间： | 2015/11/30 0:00:00 |
| 修稿时间： | 2016/2/27 0:00:00 |
Rule-based Verification of Use Case Specification |
| |
| ZHANG Ying,WU Ji,LIU Chao,YANG Hai-yan and HU Ning.Rule-based Verification of Use Case Specification[J].Computer Science,2017,44(4):118-123. |
| |
| Authors: | ZHANG Ying WU Ji LIU Chao YANG Hai-yan and HU Ning |
| |
| Abstract: | Use cases capture the functional requirement of system and are important in software development.Any error in use cases may have influence on the development of system.This paper described a method to verify use case specification based on the rules.First,we analyzed the error types of use case specification,then proposed a set of rules to help find these errors,which supports the automatic verification by formalizing the rules and focused the verification work on the meta-model of a kind of use case modeling method called RUCM(Restricted Use Case Modeling). |
| |
| Keywords: | Requirement verification Verification rules Requirement error RUCM |
|
|
点击此处可从《计算机科学》下载全文 |
|
