张莹
- 作品数：2 被引量：0H指数：0
- 供职机构：北京航空航天大学计算机学院计算机科学技术系更多>>
- 相关领域：自动化与计算机技术更多>>
- 基于规则的用例规约验证方法
- 2017年
- 用例模型描述了参与者对系统功能的需求,在整个系统的开发过程中有着重要作用;用例描述若存在问题,会对系统开发造成很大影响。提出了一种用例规约的规则验证方法,通过分析用例规约中的错误类别,在特定的用例规约描述方法上设计了帮助发现规约中不完整性、不一致性错误的验证规则,并通过规则的形式化来支持需求的自动化验证。
- 张莹吴际刘超杨海燕胡宁
- 基于规则的用例规约验证方法
- 用例模型描述了参与者对于系统功能的需求,在整个系统的开发过程中起到重要的作用,用例描述若存在问题,会对系统开发造成很大影响.本文提出了一种用例规约的规则验证方法,通过分析用例规约中的错误类别,在特定的用例规约描述方法(R...
- 张莹吴际刘超杨海燕胡宁
- 关键词：软件开发
- 文献传递
