[发明专利]用于基于等价类分析的基于自动化要求的测试用例生成的系统和方法

权利要求书

1.一种用于基于等价类分析的基于自动化要求的测试用例生成的系统，其特征在于，所述系统包括：

数据存储器，所述数据存储器包含文本设计要求，一个或多个文本设计要求包括时域成分；

文本转换器单元，所述文本转换器单元被结构化成将所述文本设计要求转换为机器可读版本的设计要求；

要求划分单元，所述要求划分单元被构造成将机器可读设计要求划分成一组或多组相关设计要求；

等价类划分单元，所述等价类划分单元被构造成将所述机器可读设计要求和输入/输出变量处理成一组等价类；

等价类分析器单元，所述等价类分析器单元被结构化成分析所述一组等价类；

边界类分析器单元，所述边界类分析器单元被结构化成识别所述等价类的边界，所述边界包括相邻等价类之间的行为转换和等价类内的时域边界中的至少一个；

控制处理器，所述控制处理器被构造成执行计算机可执行指令，所述计算机可执行指令使所述控制处理器控制所述系统的部件，以：

划分输入空间以获得凸多面体，所述凸多面体包括正常范围多面体和异常范围多面体；

使用每个设计要求和相关要求条件将所述凸多面体划分成未被所述相关要求条件涵盖的子多面体，以及被所述相关要求条件涵盖的子多面体；

将每个多面体分类到相应的等价类；

对于所述正常范围内的多面体，通过根据测试标准从所述多面体中选取值来选择等价类测试，否则不生成等价类测试，所述测试标准包括时域条件；

识别每两个多面体之间的共享面，其中所述共享面表示等价类之间的边界；

通过基于所述测试标准从所述共享面中选择值来生成测试，如果是正常范围多面体，则生成的测试是边界值测试，或者如果是异常范围多面体，则生成的测试是鲁棒性测试；

将等价类分析应用于所述时域边界，以获得一组时域测试用例；

组合交叉测试用例以获得第二组测试用例，所述第二组测试用例的数量小于组合之前的一组测试用例；和

从所述第二组测试用例中去除冗余子句。

2.根据权利要求1所述的系统，其特征在于，所述等价类分析器单元被构造成识别被机器可读设计要求涵盖或未被所述机器可读设计要求涵盖的等价类。

3.根据权利要求2所述的系统，其特征在于，包括所述等价类分析器单元，所述等价类分析器单元被构造成：

向用户报告未被涵盖的等价类，用于要求完整性检查；

如果被涵盖的等价类在正常范围内，则从所述被涵盖的等价类中选择值，并将所选值作为等价类测试存储在所述数据存储器中；和

如果被涵盖的等价类在异常范围内，则不选择值。

4.根据权利要求1所述的系统，其特征在于，包括所述可执行指令，所述可执行指令使所述控制处理器控制所述等价类分析器单元，以通过识别在依赖链中连接的设计要求组来划分所述机器可读设计要求。

5.根据权利要求1所述的系统，其特征在于，包括所述等价类划分单元、等价类分析器单元和边界类分析器单元，所述等价类划分单元、等价类分析器单元和边界类分析器单元被构造成对一组或多组相关设计要求执行基于组的分析方法或基于形式的分析方法。

6.一种用于基于等价类分析的基于自动化要求的测试用例生成的方法，其特征在于，所述方法包括：

文本转换器单元将文本设计要求转换为机器可读版本的设计要求组，一个或多个文本设计要求包括时域成分；

要求划分单元将机器可读设计要求划分为一组或多组相关设计要求；

等价类划分单元将机器可读设计要求组和输入/输出变量处理成一组等价类；

等价类分析器单元分析所述一组等价类：

边界类分析器单元识别所述等价类的边界，所述边界包括相邻等价类之间的行为转换和等价类内的时域边界中的至少一个；

将等价类分析应用于所述时域边界，以获得一组时域测试用例；

组合交叉测试用例以获得第二组测试用例，所述第二组测试用例的数量小于组合之前的一组测试用例；和

从所述第二组测试用例中去除冗余子句。