[1] [1] PETRENKO A, SIMAO A. Model-based testing of software and systems: recent advances and challenges ［J］. International Journal on Software Tools for Technology Transfer, 2012, 14(4): 383-386.

[2] [2] ELBERZHAGER F, ROSBACH A. Reducing test effort: A systematic mapping study on existing approaches ［J］. Information and Software Technology, 2012, 54(10): 1092-1106.

[3] [3] SRIKANTH H, BANERJEE S. Improving test efficiency through system test prioritization ［J］. The Journal of Systems & Software, 2012, 85(5): 1176-1187.

[4] [4] ZHANG X F, CHEN L, XU B W, et al.. Survey of test suite reduction problem ［J］. Journal of Frontiers of Computer Science and Technology, 2008, 2(3): 235-247. (in Chinese)

[5] [5] ZHANG X F, XU B W, NIE CH H, et al.. An approach for optimizing test suite based on testing requirement reduction ［J］. Journal of Software, 2007, 18(4): 821-831. (in Chinese)

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

[7] [7] CHEN J Y, KONG D ZH, LIU J G, et al.. On-board embedded software test planning based on butterfly model ［J］. Opt. Precision Eng., 2011, 19(7): 1677-1685. (in Chinese)

[8] [8] GU Q, TANG B, CHEN D X. A test suite reduction technique for partial coverage of test requirements ［J］. Chinese Journal of Computers, 2011, 34(5): 879-888. (in Chinese)

[9] [9] XUE X CH, SHI J X, LV H Y. Optimal set of TDI CCD integration stages and gains of space remote sensing camera ［J］. Opt. Precision Eng., 2011, 19(4): 857-863. (in Chinese)