一种POSIX标准接口静态测试方法

An Interface Static Test Method for POSIX Standard

针对操作系统的可移植操作系统接口(POSIX)标准接口符合性测试过程,根据1003.1—2017标准和正则表达式,提出了一种POSIX标准接口静态测试方法。首先,基于1003.1—2017标准提取接口信息,形成了POSIX标准的接口信息库;其次,根据接口信息设计正则表达式,由正则表达式匹配接口信息,并通过匹配结果实现自动生成静态测试脚本;然后,在被测操作系统上编译静态测试脚本集合,根据编译输出信息,判断被测操作系统是否提供了符合POSIX标准的函数接口;最后,以某国产嵌入式操作系统为测试对象,选取静态测试脚本并执行测试,根据编译信息可以确定该操作系统提供的POSIX函数接口声明是否符合POSIX标准。

Aiming at the interface compliance test process of the POSIX standard of the operating system,an interface static test method for POSIX standard based on the 1003.1—2017 standard and the regular expression is proposed.Firstly,the interface information is extracted based on the 1003.1—2017 standard and the interface information library of the POSIX standard is formed.Then,regular expressions are designed according to the interface information,and regular expressions match the interface information,and the static test script is automatically generated through the matching result.Next,the static test script set is compiled on the operating system under test,and based on the compilation output information,whether the operating system under test provides function interfaces that conform to the POSIX standard is determined.Finally,taking a domestic embedded operating system as the test object,static test scripts are selected and tested,and according to the compilation information,whether the POSIX function interface declaration provided by the operating system meets the standard can be determined.