Fault localization is an important and challeng- ing task during software testing. Among techniques studied in this field, program spectrum based fault localization is a promising approach. To perform spectrum based f...Fault localization is an important and challeng- ing task during software testing. Among techniques studied in this field, program spectrum based fault localization is a promising approach. To perform spectrum based fault local- ization, a set of test oracles should be provided, and the ef- fectiveness of fault localization depends highly on the quality of test oracles. Moreover, their effectiveness is usually af- fected when multiple simultaneous faults are present. Faced with multiple faults it is difficult for developers to determine when to stop the fault localization process. To address these issues, we propose an iterative fauk localization process, i.e., an iterative process of selecting test cases for effective fault localization （IPSETFUL）, to identify as many faults as pos- sible in the program until the stopping criterion is satisfied. It is performed based on a concept lattice of program spec- trum （CLPS） proposed in our previous work. Based on the labeling approach of CLPS, program statements are catego- rized as dangerous statements, safe statements, and sensitive statements. To identify the faults, developers need to check the dangerous statements. Meantime, developers need to se- lect a set of test cases covering the dangerous or sensitive statements from the original test suite, and a new CLPS is generated for the next iteration. The same process is pro- ceeded in the same way. This iterative process ends until there are no failing tests in the test suite and all statements on the CLPS become safe statements. We conduct an empirical study on several subject programs, and the results show that IPSETFUL can help identify most of the faults in the program with the given test suite. Moreover, it can save much effort in inspecting unfaulty program statements compared with the existing spectrum based fault localization techniques and the relevant state of the art technique.展开更多
随着当代航空航天事业的不断发展,对军用航空产品的故障检测质量要求也越来越高,因此自动测试系统(automatic test system,ATS)测试软件的研发也受到了更加广泛的关注;ATS软件是联系自动测试设备与被测单元(unit under test,UUT)的桥梁...随着当代航空航天事业的不断发展,对军用航空产品的故障检测质量要求也越来越高,因此自动测试系统(automatic test system,ATS)测试软件的研发也受到了更加广泛的关注;ATS软件是联系自动测试设备与被测单元(unit under test,UUT)的桥梁,设计的优劣直接影响到ATS系统运行的稳定性和可靠性;文章将着重从软件开发角度来介绍ATS测试系统通用化的设计,并详细给出了通用测试软件开发平台(universal test program development software,UTest)的体系结构及测试流程设计方案;通过对某一型号NI数据采集卡模拟输出信号频率、数字输出信号量、数字万用表电阻测量值等参数的测试和判断,来实现NI数据采集卡各个通道的功能自检操作;最后文章对UTest的未来应用价值做出了相关的评价。展开更多
文摘Fault localization is an important and challeng- ing task during software testing. Among techniques studied in this field, program spectrum based fault localization is a promising approach. To perform spectrum based fault local- ization, a set of test oracles should be provided, and the ef- fectiveness of fault localization depends highly on the quality of test oracles. Moreover, their effectiveness is usually af- fected when multiple simultaneous faults are present. Faced with multiple faults it is difficult for developers to determine when to stop the fault localization process. To address these issues, we propose an iterative fauk localization process, i.e., an iterative process of selecting test cases for effective fault localization （IPSETFUL）, to identify as many faults as pos- sible in the program until the stopping criterion is satisfied. It is performed based on a concept lattice of program spec- trum （CLPS） proposed in our previous work. Based on the labeling approach of CLPS, program statements are catego- rized as dangerous statements, safe statements, and sensitive statements. To identify the faults, developers need to check the dangerous statements. Meantime, developers need to se- lect a set of test cases covering the dangerous or sensitive statements from the original test suite, and a new CLPS is generated for the next iteration. The same process is pro- ceeded in the same way. This iterative process ends until there are no failing tests in the test suite and all statements on the CLPS become safe statements. We conduct an empirical study on several subject programs, and the results show that IPSETFUL can help identify most of the faults in the program with the given test suite. Moreover, it can save much effort in inspecting unfaulty program statements compared with the existing spectrum based fault localization techniques and the relevant state of the art technique.
文摘随着当代航空航天事业的不断发展,对军用航空产品的故障检测质量要求也越来越高,因此自动测试系统(automatic test system,ATS)测试软件的研发也受到了更加广泛的关注;ATS软件是联系自动测试设备与被测单元(unit under test,UUT)的桥梁,设计的优劣直接影响到ATS系统运行的稳定性和可靠性;文章将着重从软件开发角度来介绍ATS测试系统通用化的设计,并详细给出了通用测试软件开发平台(universal test program development software,UTest)的体系结构及测试流程设计方案;通过对某一型号NI数据采集卡模拟输出信号频率、数字输出信号量、数字万用表电阻测量值等参数的测试和判断,来实现NI数据采集卡各个通道的功能自检操作;最后文章对UTest的未来应用价值做出了相关的评价。
