Citation: | Li Yuefei, Guo Junhong, Bai Chenggang, et al. Instrumentation in flight-control software testing[J]. Journal of Beijing University of Aeronautics and Astronautics, 2009, 35(5): 580-583. (in Chinese) |
[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
|