一种辅助嵌入式系统接口功能验证方法

摘要

本发明是一种辅助嵌入式系统接口功能验证方法，所述方法按照系统接口的特性选取、设计可配置组件与可配置状态表；利用转化算法快速生成测试用例，其包括步骤：1)将嵌入式系统中的资源对象化，并将提取出的每个对象以独立的可配置组件的形式表达；2)提供两类特殊的可配置组件：系统接口的参数组件和状态转移组件，3)提供可配置状态表：其包含上述可配置组件，用来表达对象在系统接口被调用前后的状态；4)提出一种由可配置组件到测试代码的转换算法，用以保证测试用例设计和实现的一致性。该方法更适于嵌入式操作系统，其大大提高了设计效率，降低了设计难度，不但简化了设计，同时也易于保证测试的完整性。

主权项

一种辅助嵌入式系统接口功能验证方法，其特征在于，所述方法按照系统接口的特性选取、设计可配置组件与可配置状态表；利用转化算法快速生成测试用例，其包括步骤：1）将嵌入式系统中的资源对象化，并将提取出的每个对象以独立的可配置组件的形式表达；所述对象本身具有一个或多个参数，表现在系统中的不同状态；所述可配置组件为一个对象状态的全集；2）提供两类可配置组件：系统接口的参数组件和状态转移组件，其中，所述参数组件用来表达系统接口的参数及其取值，所述状态转移组件表达对象在系统接口被调用前后的状态；3）提供可配置状态表：其包含上述可配置组件，用来表达对象在系统接口被调用前后的状态；并针对一个特定的系统接口，包含影响其调用的对象的状态集、被调用后受影响的对象的状态集以及调用前后对象状态的对应规则；4）提出一种由可配置组件到测试代码的转换算法，用以保证测试用例设计和实现的一致性。