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

权利要求书

1.一种辅助嵌入式系统接口功能验证方法，其特征在于，所述方法按照系统接口的特性选取、设计可配置组件与可配置状态表；利用转化算法快速生成测试用例，其包括步骤：

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

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

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

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

2.根据权利要求1所述的辅助嵌入式系统接口功能验证方法，其特征在于，所述对象为系统中的任务、信号量，邮箱，条件变量、中断及系统状态；所述可配置组件的载体选用microsoft excel表格，其配置方式采用下拉菜单式配置方式或限定范围的方式，分别适用于数值型条目和非数值型条目。

3.根据权利要求2所述的辅助嵌入式系统接口功能验证方法，其特征在于，在步骤1，所述对象的可配置组件包括一般对象可配置组件和特殊对象可配置组件；其中，一般对象可配置组件的参数取值，采取下拉菜单式配置；如果参数取值是连续的整数，且可取值区间大于10个，采用限定范围配置的方式；

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

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

4.根据权利要求3所述的辅助嵌入式系统接口功能验证方法，其特征在于，在步骤2，所述状态转移组件包括状态限定组件、系统接口调用成功状态转移组件和系统接口调用失败状态转移组件，分别表达在系统接口被调用之前对象之间的限定关系和系统接口被调用前后对象的变化；所述系统接口被调用前后对象的变化包括系统接口调用成功之后对象的变化和系统接口调用发生错误之后对象的变化，所述系统接口参数组件依据系统接口参数个数来配置参数。

5.根据权利要求4所述的辅助嵌入式系统接口功能验证方法，其特征在于：

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

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

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

7.根据权利要求6所述的辅助嵌入式系统接口功能验证方法，其特征在于，所述索引部分具体实现如下：

对于每个对象可能存在的状态集合，使用一个数组来定义和表达，该数组中的每行元素对应对象的一种状态；而对于不同对象间可能存在状态的集合，使用一个数组来定义和表达，该数组中的一个元素是一组编号，每个编号代表不同对象在其对应数组里的位置。