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

摘要：

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

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

所属期刊栏目：44

分类号：TP311(计算技术、计算机技术)

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

在线出版日期：2017-05-16（万方平台首次上网日期，不代表论文的发表时间）

页数：共6页

页码：118-123