Citation: | Liu Hui, Jin Maozhong. Embedded software testing technology based on all-digital simulation[J]. Journal of Beijing University of Aeronautics and Astronautics, 2014, 40(3): 394-400. doi: 10.13700/j.bh.1001-5965.2013.0260(in Chinese) |
[1] |
Madni A M,Jackson S.Towards a conceptual framework for resilience engineering[J].Systems Journal,2009,3(2):181-191
|
[2] |
DO-178B Software considerations in airborne systems and equipment certification[S]
|
[3] |
Yue J,Harman M.An analysis and survey of the development of mutation testing[J].IEEE Transactions on Software Engineering,2011,37(5):649-678
|
[4] |
Becker M,Kuznik C,Joy M M,et al.Binary mutation testing through dynamic translation[C]//Robert Swarz.Proceedings of the International Canference on Dependable Systems and Networks (DSN).Washington DC:IEEE Computer Society,2012: 1-12
|
[5] |
Chiang M C,Yeh T C,Tseng G F.A QEMU and system C-based cycle-accurate ISS for performance estimation on SoC development[J].IEEE Transactions on Computer-aided Design of Integrated Circuits and Systems,2011,30(4):593-606
|
[6] |
Vermeulen B.Functional debug techniques for embedded systems[J].IEEE Design Test of Computers,2008,25(3):208-215
|
[7] |
Jonathan B R.How debuggers work:algorithms,data structures,and architecture[M].New York:John Wiley & Sons Inc,1996
|
[8] |
Eilam E.Reversing:secrets of reverse engineering[M].New York:John Wiley & Sons Inc,2005
|
[9] |
Mackinnon T,Freeman S,Craig P.Endo-testing: unit testing with mock objects[M]//Succi G,Marchesi M.Extreme Programming Examined.Boston,MA:Addison-Wesley Longman Publishing Co,2001:287-301
|
[10] |
Ebert C,Jones C.Embedded software:facts,figures,and future[J].Computer,2009,42(4):42-52
|
[11] |
Gschwind M,Kemal E,Erik A,et al.Binary translation and architecture convergence issues for IBM system/390[C]//John Reynders.Proceedings of the 14th International Conference on Supercomputing.Santa Fe:ACM,2000:336-347
|