Instrumentation in flight-control software testing
-
摘要: 插桩技术是软件测试中常用的关键技术之一.插桩技术应用在飞行控制软件测试中所遇到的一个严重的问题是其带来的额外开销将导致原程序的实时性下降甚至软件的失效.针对该问题,提出了一种基于布尔型存储数组的新的插桩方法.与传统方法相比,该方法优化了插桩的内容,降低了插桩对程序实时性的影响.搭建了一个仿真测试平台并以某型飞行控制软件为实验对象验证了该方法的有效性.实验结果表明该方法大大减少了插桩后程序的运行时间,保证了飞控软件的实时性要求.Abstract: Instrumentation is one of the important techniques in the software testing. When instrumentation was applied in the flight-control software testing, the real-time performance of the original software becomes bad even lead to failure of the software, due to the extra spending on the instrumentations. In view of this problem, a new instrumentation method which is based on the BOOL array used to storage the code information was presented. Compared with traditional methods, this new method not only optimizes the instrumentation contents but also reduces the real-time influence of the instrumentation on the original software. A simulation test platform was been set up and a certain type of flight control software was used as the test object. Then, plenty of experiments have been done to demonstrate the effect of the new instrumentation method. The result show that the method greatly reduces the run time of the instrumented program which to ensure the real-time requirements of the flight-control software.
-
Key words:
- instrumentation /
- software testing /
- flight-control software /
- real-time
-
[1] Chen Tsong Yueh, Kuo Fei Ching, Robert M. On the statistical properties of testing effectiveness measures[J]. Journal of Systems and Software , 2006,79(5):591-601 [2] Arnold M, Ryder B G. A framework for reducing the cost of instrumented code[J]. Acm Sigplan Notices ,2001,36(5):168-179 [3] Probert R L. Optimal insertion of software probes in well-delimited programs[J]. IEEE Transactions on Software Engineering, 1981, 8(1):34-42 [4] Agrawal H. Dominators, super blocks and program coverage Principles of Programming Languages. Portland: Acm Press, 1994:25-34 [5] Tikir M, Hollingsworth J. Efficient instrumentation for code coverage testing [J].Acm Sigsoft Software Engineering Note , 2002,27(4):86-96 [6] 孙昌爱, 靳若明, 刘超,等. 实时嵌入式软件的测试技术[J]. 小型微型计算机系统,2000,21(9): 920-924 Sun Changai, Jin Ruoming, Liu Chao, et al. Test technology of real-time and embedded software[J]. Mini-Micro System , 2000,21(9): 920-924(in Chinese) [7] Huang J C. Detection of data flow anomaly through program instrumentation[J]. IEEE Transactions on Software Engineering , 1979, SE5(3):226-236
点击查看大图
计量
- 文章访问数: 3895
- HTML全文浏览量: 91
- PDF下载量: 1101
- 被引次数: 0