基于规则的用例规约验证方法
用例模型描述了参与者对于系统功能的需求,在整个系统的开发过程中起到重要的作用,用例描述若存在问题,会对系统开发造成很大影响.本文提出了一种用例规约的规则验证方法,通过分析用例规约中的错误类别,在特定的用例规约描述方法(RUCM:restricted use case modeling)上设计了帮助发现规约中不完整性、不一致性错误的验证规则,并通过规则的形式化来支持需求的自动化验证.
软件开发 系统功能 需求验证 用例规约
张莹 吴际 刘超 杨海燕 胡宁
北京航空航天大学计算机科学与技术系,北京100191 中航工业西安航空计算技术研究所,陕西西安710065
国内会议
武汉
中文
1-11
2015-11-06（万方平台首次上网日期，不代表论文的发表时间）