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

说明书

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

技术领域

本发明涉及软件测试技术领域，特别涉及一种基于形式化语言Event-B的需求检索库的软件测试方法。

背景技术

标准的软件测试流程是软件测试人员拿到软件的开发需求后将需求分解，再逐次依据软件需求编写测试用例，展开软件测试工作。目前国内的软件测试人员都是遵循着这样的测试流程执行测试工作。

在软件测试环节中测试用例的编写占据了测试工作量中的很大部分，而历经多个项目后，软件测试人员的测试能力得到提高，但测试用例并没有积累下来，这是由于不同的测试人员编写的测试用例不能通用，且不同软件项目需求差别也很大，导致一个项目的测试用例很难在其他的软件测试项目中得到复用。

发明内容

本发明的目的是提供了一种基于形式化语言Event-B的需求检索库的软件测试方法，已解决现有技术中存在的至少一个问题。

本发明的技术方案是：

一种基于形式化语言Event-B的需求检索库的软件测试方法，包括如下步骤：

步骤一、将软件开发需求分解成原子需求；

步骤二、使用Event-B语言建立了一套标准的用于描述原子需求的句式；

步骤三、当获取到新的软件测试需求时，将新的需求改写成抽象机和上下文的范式，在需求关系库中进行搜索；

步骤四、梳理测试用例，建立测试用例与需求多对一的需求关系库。

可选的，在所述步骤二中，首先构造出与系统需求规范等价的抽象机和上下文，再将抽象机和上下文作为索引存储在需求关系库中。

可选的，在所述步骤二中，所述抽象机包括了变量、不变式、事件，其中，所述变量、不变式用于刻画系统的状态，所述事件由卫式条件和动作基本构件组成，用于刻画系统的状态迁移；

所述上下文包含集合常数、常数、定理、公理。

可选的，在所述步骤四中，当测试目标软件的功能相近且平台类似时，直接从需求关系库中调取相同的需求条目，复用其测试用例即可；

当本条需求在需求关系库中无法搜索到时，编写相应的测试用例，并将此条需求关系添加至需求关系库中。

发明效果：

本发明的基于形式化语言Event-B的需求检索库的软件测试方法，将软件开发需求分解成原子需求，直接使用在需求关系库中搜索到的需求的测试用例，从而达成测试用例的复用；减轻了测试工作的强度；使得随着测试工作的开展，不仅测试人员的测试能力得到了提高，测试经验也得到了积累；随着项目的积累，需求关系库会得到充实和完整，能够减轻相应的软件测试工作。

附图说明

图1是本发明基于形式化语言Event-B的需求检索库的软件测试方法的原理图。

具体实施方式