Applying simulation and design of experiments to the embedded software testing process

Software Testing Verification and Reliability

Volumn 14, Issue 4, 2004, Pages 257-282

  Lazić, Ljubomir ^a   Velasevic D ^b  

^a SIEMENS doo ^*  (Serbia)

^b School of Electrical Engineering University of Belgrade   (Serbia)

Author keywords

Design of experiments; Simulation; Simulation based test oracle; Software testing

Indexed keywords

AUTOMATION; COMPUTER SIMULATION; COMPUTER TESTING; EMBEDDED SYSTEMS; MATHEMATICAL MODELS; MONTE CARLO METHODS; OPTIMIZATION; TRACKING RADAR;

AUTOMATED TARGET TRACKING; RESOURCE MANAGEMENT; SOFTWARE TESTING;

SOFTWARE ENGINEERING;

EID: 10944228711     PISSN: 09600833     EISSN: None     Source Type: Journal    
DOI: 10.1002/stvr.299     Document Type: Article

References (34)

1. Shin-Yuan Z, Jyh-Jang L, Jai M, Palmer D. A distributed development environment for embedded software. Software-Practice and Experience 1993; 23(11): 1235-1248.
2. Pop P, Eles P, Pop T, Peng Z. An approach to incremental design of distributed embedded systems. Proceedings of the 38th Design Automation Conference (DAC), Las Vegas, NV, 2001. ACM Press: New York, 2001; 450-455.
3. DOD-STD-2167. Military Standard Defense System Software Development, 1988.
4. ANSI/IEEE Std. 1012-1986. IEEE Standard for Software Verification and Validation Plans, 1986.
5. ANSI/IEEE Std. 829-1983. IEEE Standard for Software Test Documentation, 1983.
6. Boehm B. Software Risk Management. IEEE Computer Society Press: Los Alamitos, CA, 1989.
7. Burstein I, Suwanassart T, Carlson CR. Developing a testing maturity model, Part II. Illinois Institute of Technology: Chicago, IL, 1996.
8. Lazić Li, Velasević D. Mastorakis N. A framework of integrated and optimized software testing process. WSEAS Transactions on Computers 2003; 2(1): 15-23.
9. Reinholz K. Applying simulation to the development of spacecraft flight software. JPL Technical Report, 1999.
10. Cristie A. Simulation: An enabling technology in software engineering. CrossTalk: The Journal of Defense Software Engineering 1999; 12 4):25-30.
11. http://www.acq.osp.mil [April 2002].
12. http://www.msosa.dmso.mil [May 2001].
13. Reeves J, McKee L. A test planning methodology from concept development through test execution. Report JADS JT&ETR-99-020.
14. http://acq.osd.mil/te/programs/final_STEP.pdf [April 2002].
15. Jones C. Applied Software Measurement: Assuring Productivity and Quality. McGraw-Hill: New York, 1996.
16. Hofmann H, Lehner F. Requirements engineering as a success factor in software projects. IEEE Software 2001; 18(4):58-36.
17. Weyuker EJ. On testing non-testable programs. The Computer Journal 1982; 25(4):465-470.
18. Binder RV. Testing Object-Oriented Systems: Models, Patterns, and Tools. Addison-Wesley: Boston, MA, 1999.
19. Cai K-Y. Optimal software testing and adaptive software testing in the context of software cybernetics. Information and Software Technology 2002; 44(14 ):841-855.
20. Pritsker A, Alan B. Introduction to Simulation and SLAM II (3rd edn). Wiley: New York, 1986.
21. Sargent RG. Validation and verification of simulation models. Proceedings of the 2000 Winter Simulation Conference, Orlando, FL, 2000. ACM Press: New York, 2000; 50-59.
22. Caughlin D. An integrated approach to verification, validation, and accreditation of models and simulations. Proceedings of the 2000 Winter Simulation Conference, Orlando, FL, 2000. ACM Press: New York, 2000; 872-881.
23. Box GEP, Hunter WG, Hunter JS. Statistics for Experimenters: An Introduction to Design, Data Analysis, and Model Building. Wiley: New York, 1978.
24. Montgomery DC. Design and Analysis of Experiments (4th edn). Wiley: New York, 1997.
25. Brownlie R, Prowse J, Phadke M. Robust testing of AT&T PMX/StarMAIL using OATS. AT&T Technical Journal 1992; 71(3):41-47.
26. Kuhn DR, Reilly MJ. An investigation of the applicability of design of experiments to software testing. Proceedings of the 27th NASA/IEEE Software Engineering Workshop, NASA Goddard Space Flight Center, December 2002.
27. Taguchi G, Konishi S. Orthogonal Arrays and Linear Graphs. American Supplier Institute Inc.: Dearborn, MI, 1987.
28. Richardson DJ. TAOS: Testing with analysis and oracle support. Proceedings of the 1994 International Symposium on Software Testing and Analysis (ISSTA '94), Seattle, WA, August 1994, ACM Press: New York, 1994; 138-153.
29. Richardson DJ, Aha SL, O'Malley TO. Specification-based test oracles for reactive systems. Proceedings of the 14th International Conference on Software Engineering (ICSE), Melbourne, Australia, May 1992. ACM Press: New York, 1992; 105-118.
30. Chapman D. A program testing assistant. Communications of the ACM 1982; 25(9):625-634.
31. Skolnik MI. Radar Handbook. McGraw-Hill: New York, 1970.
32. Lazić Lj. Standard deviation assessment and needed number of measurements. Military Magazine (Bilten TOC) 1985; 3:28-36.
33. Tihomirov VB. Design and Analysis of Experiments. Legkaja industrija: Moskva, 1974.
34. Lazić Li. Computer program testing in radar systems. Masters Thesis, University of Belgrade, Faculty of Electrical Engineering, Belgrade, Yugoslavia, 1987.