一种基于形式化语言Event-B的需求检索库的软件测试方法

标题：一种基于形式化语言Event-B的需求检索库的软件测试方法

摘要：本发明涉及软件测试技术领域，特别涉及一种基于形式化语言Event‑B的需求检索库的软件测试方法，包括如下步骤：将软件开发需求分解成原子需求；使用Event‑B语言建立了一套标准的用于描述原子需求的句式；当获取到新的软件测试需求时，将新的需求改写成抽象机和上下文的范式，在需求关系库中进行搜索；梳理测试用例，建立测试用例与需求多对一的需求关系库。本发明的基于形式化语言Event‑B的需求检索库的软件测试方法，将软件开发需求分解成原子需求，直接使用在需求关系库中搜索到的需求的测试用例，从而达成测试用例的复用；减轻了测试工作的强度；使得随着测试工作的开展，不仅测试人员的测试能力得到了提高，测试经验也得到了积累。

申请号：CN201711256578.3

申请日：2017/12/3

申请人：中国直升机设计研究所

首项权利要求：1.一种基于形式化语言Event-B的需求检索库的软件测试方法，其特征在于，包括如下步骤：
步骤一、将软件开发需求分解成原子需求；
步骤二、使用Event-B语言建立了一套标准的用于描述原子需求的句式；
步骤三、当获取到新的软件测试需求时，将新的需求改写成抽象机和上下文的范式，在需求关系库中进行搜索；
步骤四、梳理测试用例，建立测试用例与需求多对一的需求关系库。

专利类型：发明申请