摘要
航天器软件属于高可靠软件,对软件测试要求较高。作为一种基于故障的软件测试方法,变异测试能力较强,至今未在航天器软件中得到有效应用。Opencxx是一种基于反射机制的C++语言的扩展语言,详细剖析了C++语言的各个成份,在其基础上定义了部分适用于计算类软件的变异算子,设计了变异测试的流程,实现了C语言变异测试软件的设计。通过对实际的模块程序测试,获取实际软件的测试充分度,揭示现有软件测试用例的不足。
Spacecraft software is high reliable software, which requires firm testing. Mutation testing, as a method of fault-based software testing, has a strong testing ability. However, it has not been used in spacecraft software now. Opencxx is a reflective language , an extension of C＋＋ programming language. It completely parse the elements of the C＋＋ programming language. By it, some mutation operators on computing are defined ,a procedure for mutation testing is proposed, and a mutation software for C programming language is designed. By testing some software modules, the test adequacy is acquired and the results indicate the bad aspects of selected test cases.
出处
《微计算机信息》
2009年第32期87-88,共2页
Control & Automation
关键词
变异测试
变异算子
故障
测试充分度
mutation testing
mutation operator
fault
test adequacy
