[发明专利]一种辅助嵌入式系统接口功能验证方法

说明书

技术领域

本发明涉及计算机技术，尤其是涉及一种计算机辅助嵌入式系统接口功能的验证方法。

背景技术

接口的功能验证就是要确保接口以期望的方式运行。这个要求包含两层意思，一个是要列出测试需要的条件组合，这里我们称之为测试的完整性；另一个是要保证在已知条件下的结果和预期的一致，在这里我们称之为验证的一致性。

在嵌入式系统中，条件组合包括能影响接口调用结果的系统状态、进程状态、内存状态、接口输入等。这些影响接口调用结果的条件组合起来数量可能非常庞大，即使在实际验证中会只选取有效的、典型的条件组合来测试，组合的数量也可能会有几十万甚至上百万。在这种情况下如何保证测试的完整性和一致性？目前通用的方法是采取图形或者表格的方法，就是列出所需的其特定条件组合以及所有对应的预期结果。但这些方法在面对如此繁多的条件组合时往往力不从心：一方面设计效率的低下，一方面也难易保证测试的完整性。

发明内容

本发明的目的是针对嵌入式系统接口功能验证的特点和要求，提出了一种实用性强，通用性高，设计简单，做成高效的辅助测试用例设计、实现的方法。

为了实现本发明的目的，提出一种辅助嵌入式系统接口功能验证方法，所述方法按照系统接口的特性选取、设计可配置组件与可配置状态表；利用转化算法快速生成测试用例，其包括步骤：

1)将嵌入式系统中的资源对象化，并将提取出的每个对象以独立的可配置组件的形式表达；所述对象本身具有一个或多个参数，表现在系统中的不同状态；所述可配置组件为一个对象状态的全集；

2)提供两类特殊的可配置组件：系统接口的参数组件和状态转移组件，其中，所述参数组件用来表达系统接口的参数及其取值，所述状态转移组件表达对象在系统接口被调用前后的状态；

3)提供可配置状态表：其包含上述可配置组件，用来表达对象在系统接口被调用前后的状态；并针对一个特定的系统接口，包含影响其调用对象的状态集、被调用后受影响的对象的状态集以及调用前后对象状态的对应规则；

4)提出一种由可配置组件到测试代码的转换算法，用以保证测试用例设计和实现的一致性。

所述对象为系统中的任务和系统状态，系统中的任务包括信号量，邮箱，条件变量和中断；所述可配置组件的载体选用microsoft excel表格，其配置方式采用下拉菜单式配置方式或限定范围的方式，分别适用于数值型条目和非数值型条目。

在步骤1，所述对象的可配置组件包括一般对象可配置组件和特殊对象可配置组件；其中，一般对象可配置组件的参数取值，采取下拉菜单式配置；如果参数是连续的整数，且可取值区间大于10个，采用限定范围配置的方式；

对于参数取值既有连续区间，又有特定取值的对象可配置组件采取两种方式混合设计，即针对特定值采用下拉菜单配置式，针对连续区间采用限定范围式；

对于有多个联系参数的对象，通过对象内参数映射的方式，实现参数及其取值的自动配置。

在步骤2，所述状态转移组件包括状态限定组件、系统接口调用成功状态转移组件和系统接口调用失败状态转移组件，分别表达在系统接口被调用之前对象之间的限定关系和系统接口被调用前后对象的变化；所述系统接口被调用前后对象的变化包括系统接口调用成功之后对象的变化和系统接口调用发生错误之后对象的变化，所述系统接口参数组件依据系统接口个数来配置参数。

所述状态限定组件通过对象间的限定条件，确定系统接口被调用前不同对象状态组合的全集；

所述系统接口调用成功状态转移组件，该组件涉及对象间的关系、系统接口调用前参数的取值、对象在系统接口调用后的状态变化、系统接口调用后参数的变化和系统接口返回的代码；使用对象内参数映射的方法，减少配置状态表时的工作量。

在步骤4，所述转换算法根据可配置状态表，将测试用例设计为公共部分、索引部分、设置部分和检查部分，并针对所述的每一部分，提供相应的转换算法：所述公共部分是把系统状态的设置方法和检查方法提取出来，作为公共部分；所述索引部分是针对系统接口被调用之前对象状态的集合在测试用例中的表示，采取了目录索引的方式形成；所述设置部分是根据索引调用相应的方法设置出对象间需要的状态集；所述检查部分检查设置好的状态在系统接口被调用后是否转移到预期状态。

所述索引部分具体实现如下：