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

A- 第 唱 国 4 期 A 44U- 气 吐 Vol. 44 No.4 A q 计算机科学 - J - 吐 一 月 CO岛1PUTER 曰:::IENCE Apr.2017 基于规则的用例规约验证方法 张莹1 吴际l 刘超1 杨海燕1 胡宁2 (北京航空航天大学计算机科学与技术系 北京 10019 1) 1 (中航工业西安航空计算技术研究所 西安 710065)2 摘 要 用例模型描述了参与者对系统功能的需求，在整个系统的开发过程中有着重要作用;用例描述若存在问题， 会对系统开发造成很大影响。提出了一种用例规约的规则验证方法，通过