[发明专利]一种基于形式化语言Event-B的需求检索库的软件测试方法有效
| 申请号： | 201711256578.3 | 申请日： | 2017-12-03 |
| 公开（公告）号： | CN108089980B | 公开（公告）日： | 2021-07-23 |
| 发明（设计）人： | 朱文钊;苗晓旭 | 申请（专利权）人： | 中国直升机设计研究所 |
| 主分类号： | G06F11/36 | 分类号： | G06F11/36 |
| 代理公司： | 北京航信高科知识产权代理事务所(普通合伙) 11526 | 代理人： | 高原 |
| 地址： | 333001 *** | 国省代码： | 江西;36 |
| 权利要求书： | 查看更多 | 说明书： | 查看更多 |
| 摘要： | 本发明涉及软件测试技术领域，特别涉及一种基于形式化语言Event‑B的需求检索库的软件测试方法，包括如下步骤：将软件开发需求分解成原子需求；使用Event‑B语言建立了一套标准的用于描述原子需求的句式；当获取到新的软件测试需求时，将新的需求改写成抽象机和上下文的范式，在需求关系库中进行搜索；梳理测试用例，建立测试用例与需求多对一的需求关系库。本发明的基于形式化语言Event‑B的需求检索库的软件测试方法，将软件开发需求分解成原子需求，直接使用在需求关系库中搜索到的需求的测试用例，从而达成测试用例的复用；减轻了测试工作的强度；使得随着测试工作的开展，不仅测试人员的测试能力得到了提高，测试经验也得到了积累。 | ||
| 搜索关键词： | 一种 基于 形式化 语言 event 需求 检索 软件 测试 方法 | ||
【主权项】：
1.一种基于形式化语言Event-B的需求检索库的软件测试方法，其特征在于，包括如下步骤：步骤一、将软件开发需求分解成原子需求；步骤二、使用Event-B语言建立了一套标准的用于描述原子需求的句式；步骤三、当获取到新的软件测试需求时，将新的需求改写成抽象机和上下文的范式，在需求关系库中进行搜索；步骤四、梳理测试用例，建立测试用例与需求多对一的需求关系库。
下载完整专利技术内容需要扣除积分，VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息，商用须获得专利权人授权。该专利全部权利属于中国直升机设计研究所，未经中国直升机设计研究所许可，擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作，请联系【客服】
本文链接：http://www.vipzhuanli.com/patent/201711256578.3/，转载请声明来源钻瓜专利网。
