[1] [1] ROGER S P. Software Engineering: A Practitioner’s Approach ［M］.7th ed. NewYork: McGraw- Hill Higher Education, 2009.

[2] [2] MICHAEL R L. Handbook of Software Reliability Engineering［M］. NewYork: IEEE Computer Society Press and Computing McGraw-Hill, 1996.

[3] [3] AN J X, WANG G Q, LI SH F, et al.. Dynamic evaluation method based multi-dimensional test coverage for software testing ［J］. Journal of Software, 2010, 21(9): 2135-2147. (in Chinese)

[4] [4] CHEN J Y, XING ZH B, LIU J G, et al.. Research on on-board embedded software testing process model［J］. Opt. Precision Eng., 2008, 16(9): 1654-1659. (in Chinese)

[5] [5] DING R, ZHU X J, TIAN L. Research on concurrent engineering based avionics software testing ［J］. Aeronautical Computing Technique, 2009, 39(4): 98-100. (in Chinese)

[6] [6] WEI Y, ZHANG B, LI L, et al.. Architecture-based software reliability evaluation［J］. Opt. Precision Eng., 2010, 18(2): 485-490. (in Chinese)

[7] [7] DU Y. Software testing technology application and development trend ［D］. Chengdu: Sichuan University, 2005. (in Chinese)

[8] [8] WANG L, ZHAO L X, LI H W, et al.. Study and practice of embedded software testing in engineering［J］. Journal of Computer Applications, 2009, 29(12): 192-194. (in Chinese)

[9] [9] GONG Y ZH. Software Testing［M］. Beijing: National Defense Industry Press, 2006. (in Chinese)

[10] [10] WANG J J, SHEN X H, ZHANG B, et al.. Optimal test suite generation methods based on fusion of environment and state parameters［J］. Opt. Precision Eng., 2009, 17(7): 1678-1685. (in Chinese)