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

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

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

software testingPOSIXregular expressiontest scriptoperating system

刘思琪、王剑亮、胡沛昌

展开 >

工业和信息化部电子第五研究所,广东 广州 511370

智能制造装备通用质量技术及应用工业和信息化部重点实验室,广东 广州 511370

软件测试 可移植操作系统接口 正则表达式 测试脚本 操作系统

2024

电子产品可靠性与环境试验
工业和信息化部电子第五研究所(中国电子产品可靠性与环境试验研究所) (中国赛宝实验室)

电子产品可靠性与环境试验

影响因子:0.438
ISSN:1672-5468
年,卷(期):2024.42(4)