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

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

【技术实现步骤摘要】
一种基于形式化语言Event-B的需求检索库的软件测试方法
本专利技术涉及软件测试
，特别涉及一种基于形式化语言Event-B的需求检索库的软件测试方法。
技术介绍
标准的软件测试流程是软件测试人员拿到软件的开发需求后将需求分解，再逐次依据软件需求编写测试用例，展开软件测试工作。目前国内的软件测试人员都是遵循着这样的测试流程执行测试工作。在软件测试环节中测试用例的编写占据了测试工作量中的很大部分，而历经多个项目后，软件测试人员的测试能力得到提高，但测试用例并没有积累下来，这是由于不同的测试人员编写的测试用例不能通用，且不同软件项目需求差别也很大，导致一个项目的测试用例很难在其他的软件测试项目中得到复用。
技术实现思路
本专利技术的目的是提供了一种基于形式化语言Event-B的需求检索库的软件测试方法，已解决现有技术中存在的至少一个问题。本专利技术的技术方案是：一种基于形式化语言Event-B的需求检索库的软件测试方法，包括如下步骤：步骤一、将软件开发需求分解成原子需求；步骤二、使用Event-B语言建立了一套标准的用于描述原子需求的句式；步骤三、当获取到新的软件测试需求时，将新的需求改写成抽象机和上下文的范式，在需求关系库中进行搜索；步骤四、梳理测试用例，建立测试用例与需求多对一的需求关系库。可选的，在所述步骤二中，首先构造出与系统需求规范等价的抽象机和上下文，再将抽象机和上下文作为索引存储在需求关系库中。可选的，在所述步骤二中，所述抽象机包括了变量、不变式、事件，其中，所述变量、不变式用于刻画系统的状态，所述事件由卫式条件和动作基本构件组成，用于刻画系统的状态迁移；所述上下文包含集合常数、常数、定理、公理。可选的，在所述步骤四中，当测试目标软件的功能相近且平台类似时，直接从需求关系库中调取相同的需求条目，复用其测试用例即可；当本条需求在需求关系库中无法搜索到时，编写相应的测试用例，并将此条需求关系添加至需求关系库中。专利技术效果：本专利技术的基于形式化语言Event-B的需求检索库的软件测试方法，将软件开发需求分解成原子需求，直接使用在需求关系库中搜索到的需求的测试用例，从而达成测试用例的复用；减轻了测试工作的强度；使得随着测试工作的开展，不仅测试人员的测试能力得到了提高，测试经验也得到了积累；随着项目的积累，需求关系库会得到充实和完整，能够减轻相应的软件测试工作。附图说明图1是本专利技术基于形式化语言Event-B的需求检索库的软件测试方法的原理图。具体实施方式为使本专利技术实施的目的、技术方案和优点更加清楚，下面将结合本专利技术实施例中的附图，对本专利技术实施例中的技术方案进行更加详细的描述。在附图中，自始至终相同或类似的标号表示相同或类似的元件或具有相同或类似功能的元件。所描述的实施例是本专利技术一部分实施例，而不是全部的实施例。下面通过参考附图描述的实施例是示例性的，旨在用于解释本专利技术，而不能理解为对本专利技术的限制。基于本专利技术中的实施例，本领域普通技术人员在没有作出创造性劳动前提下所获得的所有其他实施例，都属于本专利技术保护的范围。下面结合附图对本专利技术的实施例进行详细说明。在本专利技术的描述中，需要理解的是，术语“中心”、“纵向”、“横向”、“前”、“后”、“左”、“右”、“竖直”、“水平”、“顶”、“底”、“内”、“外”等指示的方位或位置关系为基于附图所示的方位或位置关系，仅是为了便于描述本专利技术和简化描述，而不是指示或暗示所指的装置或元件必须具有特定的方位、以特定的方位构造和操作，因此不能理解为对本专利技术保护范围的限制。下面结合附图1对本专利技术基于形式化语言Event-B的需求检索库的软件测试方法做进一步详细说明。本专利技术提供了一种基于形式化语言Event-B的需求检索库的软件测试方法，包括如下步骤：步骤一、将软件开发需求分解成原子需求。步骤二、使用Event-B语言建立了一套标准的用于描述原子需求的句式。具体地，是首先构造出与系统需求规范等价的抽象机和上下文，将抽象机和上下文作为索引存储在需求关系库中。进一步，本实施例中，优选抽象机包括了变量、不变式、事件等基本构件，其中变量、不变式刻画系统的状态，事件由卫式条件和动作基本构件组成，刻画系统的状态迁移。本实施例中，优选上下文包含集合常数、常数、定理、公理基本构件。步骤三、当获取到新的软件测试需求时，将新的需求改写成抽象机和上下文的范式，在需求关系库中进行搜索。步骤四、梳理测试用例，建立测试用例与需求多对一的需求关系库。具体地，当测试目标软件的功能相近，平台类似时，直接从需求关系库中调取相同的需求条目，复用其测试用例即可。当本条需求在需求关系库中无法搜索到时，编写相应的测试用例，并将此条需求关系添加至需求关系库中。随着项目的积累，测试用例的复用程度会越来越高。下面以测试对VHF超短波电台减小音量的操作为例：使用上下文来描述超短波电台的状态，处于工作状态还是关闭状态—work_status：ON/OFF，当前电台频率：30～300Mhz—frequency：30～300Mhz，当前音量：0～99—volume：0～99等。使用抽象机来描述操作：按压超短波电台或多功能显示器的周边键使得超短波电台的音量减少。可以得到下文：MachineVHwork_status＝ONvolume＝0OPERATIONvolume.operation()＝…；本专利技术的基于形式化语言Event-B的需求检索库的软件测试方法，使用形式化语言Event-B准确的描述原子需求，建立原子需求与测试用例的关系库；将软件开发需求分解成原子需求，直接使用在需求关系库中搜索到的需求的测试用例，从而达成测试用例的复用；减轻了测试工作的强度；使得随着测试工作的开展，不仅测试人员的测试能力得到了提高，测试经验也得到了积累；随着项目的积累，需求关系库会得到充实和完整，能够减轻相应的软件测试工作。以上所述，仅为本专利技术的具体实施方式，但本专利技术的保护范围并不局限于此，任何熟悉本
的技术人员在本专利技术揭露的技术范围内，可轻易想到的变化或替换，都应涵盖在本专利技术的保护范围之内。因此，本专利技术的保护范围应以所述权利要求的保护范围为准。本文档来自技高网...

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

【技术特征摘要】
1.一种基于形式化语言Event-B的需求检索库的软件测试方法，其特征在于，包括如下步骤：步骤一、将软件开发需求分解成原子需求；步骤二、使用Event-B语言建立了一套标准的用于描述原子需求的句式；步骤三、当获取到新的软件测试需求时，将新的需求改写成抽象机和上下文的范式，在需求关系库中进行搜索；步骤四、梳理测试用例，建立测试用例与需求多对一的需求关系库。2.根据权利要求1所述的基于形式化语言Event-B的需求检索库的软件测试方法，其特征在于，在所述步骤二中，首先构造出与系统需求规范等价的抽象机和上下文，再将抽象机和上下文作为索引存储在需求关系库中。3.根据权利要求...

【专利技术属性】
技术研发人员：朱文钊，苗晓旭，
申请(专利权)人：中国直升机设计研究所，
类型：发明
国别省市：江西,36