|
|||||
|
|
| 基于规则的用例规约验证方法 | |
| 作者姓名： | 张莹 吴际 刘超 杨海燕 胡宁 |
| 作者单位： | 北京航空航天大学计算机科学与技术系 北京100191,北京航空航天大学计算机科学与技术系 北京100191,北京航空航天大学计算机科学与技术系 北京100191,北京航空航天大学计算机科学与技术系 北京100191,中航工业西安航空计算技术研究所 西安710065 |
| 基金项目： | 本文受国家重点科研项目(MJ-S-2012-05)资助 |
| 摘 要： | 用例模型描述了参与者对系统功能的需求,在整个系统的开发过程中有着重要作用;用例描述若存在问题,会对系统开发造成很大影响。提出了一种用例规约的规则验证方法,通过分析用例规约中的错误类别,在特定的用例规约描述方法上设计了帮助发现规约中不完整性、不一致性错误的验证规则,并通过规则的形式化来支持需求的自动化验证。 |
| 关 键 词： | 需求验证 验证规则 需求错误 限制的用例规约建模方法 |
| 收稿时间： | 2015-11-30 |
| 修稿时间： | 2016-02-27 |