摘要
用例模型描述了参与者对系统功能的需求,在整个系统的开发过程中有着重要作用;用例描述若存在问题,会对系统开发造成很大影响。提出了一种用例规约的规则验证方法,通过分析用例规约中的错误类别,在特定的用例规约描述方法上设计了帮助发现规约中不完整性、不一致性错误的验证规则,并通过规则的形式化来支持需求的自动化验证。
Use cases capture the functional requirement of system and are important in software development.Any error in use cases may have influence on the development of system.This paper described a method to verify use case specification based on the rules.First,we analyzed the error types of use case specification,then proposed a set of rules to help find these errors,which supports the automatic verification by formalizing the rules and focused the verification work on the meta-model of a kind of use case modeling method called RUCM（Restricted Use Case Modeling）.
出处
《计算机科学》
CSCD
北大核心
2017年第4期118-123,共6页
Computer Science
基金
国家重点科研项目(MJ-S-2012-05)资助
