基于规则的用例规约验证方法

作     者：张莹 吴际 刘超 杨海燕 胡宁 ZHANG Ying;WU Ji;LIU Chao;YANG Hai-yan;HU Ning

作者机构：北京航空航天大学计算机科学与技术系北京100191 中航工业西安航空计算技术研究所西安710065 

基　　金：国家重点科研项目(MJ-S-2012-05)资助 

出 版 物：《计算机科学》 (Computer Science)

年 卷 期：2017年第44卷第4期

页      码：118-123页

摘      要：用例模型描述了参与者对系统功能的需求,在整个系统的开发过程中有着重要作用;用例描述若存在问题,会对系统开发造成很大影响。提出了一种用例规约的规则验证方法,通过分析用例规约中的错误类别,在特定的用例规约描述方法上设计了帮助发现规约中不完整性、不一致性错误的验证规则,并通过规则的形式化来支持需求的自动化验证。

主 题 词：需求验证 验证规则 需求错误 限制的用例规约建模方法 

学科分类：08[工学] 0835[0835] 081202[081202] 0812[工学-测绘类] 

D　O　I：10.11896/j.issn.1002-137X.2017.04.026

馆 藏 号：203229768...