Black-box system testing of real-time embedded systems using random and search-based testing

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 6435 LNCS, Issue , 2010, Pages 95-110

  Arcuri, Andrea ^a   Iqbal, Muhammad Zohaib ^a,b   Briand, Lionel ^a,b  

^a SIMULA RESEARCH LABORATORY   (Norway)

^b UNIVERSITY OF OSLO   (Norway)

Author keywords

branch distance; context; environment; MARTE; model based testing; OCL; Search based software engineering; UML

Indexed keywords

BRANCH DISTANCE; CONTEXT; ENVIRONMENT; MARTE; MODEL BASED TESTING; OCL; SEARCH-BASED SOFTWARE ENGINEERING; UML;

AUTOMATION; COMPUTER SOFTWARE SELECTION AND EVALUATION; INDUSTRIAL APPLICATIONS; INDUSTRY; MODEL CHECKING; REAL TIME SYSTEMS; SOFTWARE ENGINEERING; SYSTEMS ANALYSIS; TESTING; EMBEDDED SYSTEMS; GENETIC ALGORITHMS; SOFTWARE TESTING;

EMBEDDED SYSTEMS; BLACK-BOX TESTING;

EID: 78649899295     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-16573-3_8     Document Type: Conference Paper

References (27)

1. Douglass, B.P.: Real-time UML: developing efficient objects for embedded systems. Addison-Wesley Longman Publishing Co., Inc., Boston (1997)
2. Utting, M., Legeard, B.: Practical model-based testing: a tools approach. Elsevier, Amsterdam (2007)
3. Chen, T.Y., Kuoa, F., Merkela, R.G., Tseb, T.: Adaptive random testing: The art of test case diversity. Journal of Systems and Software, JSS (in press, 2010)
4. McMinn, P.: Search-based software test data generation: A survey. Software Testing, Verifi- cation and Reliability 14(2), 105-156 (2004)
5. Myers, G.: The Art of Software Testing. Wiley, New York (1979)
6. Iqbal, M.Z., Arcuri, A., Briand, L.: Environment Modeling with UML/MARTE to Support Black-Box System Testing for Real-Time Embedded Systems: Methodology and Industrial Case Studies. In: ACM/IEEE International Conference on Model Driven Engineering Languages and Systems (MODELS) (2010)
7. Clarke, D., Lee, I.: Testing real-time constraints in a process algebraic setting. In: IEEE International Conference on Software Engineering (ICSE), pp. 51-60 (1995)
8. Krichen, M., Tripakis, S.: Conformance testing for real-time systems. Formal Methods in System Design 34(3), 238-304 (2009)
9. Alur, R., Dill, D.L.: A Theory of Timed Automata. Theoretical Computer Science 126, 183-235 (1994)
10. En-Nouaary, A.: A scalable method for testing real-time systems. Software Quality Journal 16(1), 3-22 (2008)
11. Miicke, T., Huhn, M.: Generation of optimized testsuites for UML statecharts with time. In: IFIP international conference on testing of communicating systems, pp. 128-143 (2004)
12. Zheng, M., Alagar, V., Ormandjieva, O.: Automated generation of test suites from formal specifications of real-time reactive systems. Journal of Systems and Software (JSS) 81(2), 286-304 (2008) (Pubitemid 350235614)
13. Auguston, M., Michael, J.B., Shing, M.T.: Environment behavior models for automation of testing and assessment of system safety. Information and Software Technology (IST) 48(10), 971-980 (2006) (Pubitemid 44354090)
14. Harman, M., Mansouri, S.A., Zhang, Y.: Search based software engineering: A comprehensive analysis and review of trends techniques and applications. Technical Report TR-09-03, King's College (2009)
15. Garousi, V., Briand, L.C., Labiche, Y.: Traffic-aware stress testing of distributed real-time systems based on uml models using genetic algorithms. Journal of Systems and Software (JSS) 81(2), 161-185 (2008) (Pubitemid 350245523)
16. Lindlar, F., Windisch, A., Wegener, J.: Integrating model-based testing with evolutionary functional testing. In: International Workshop on Search-Based Software Testing, SBST (2010)
17. Zeigler, B.P., Praehofer, H., Kim, T.G.: Theory of modeling and simulation. Academic Press, New York (2000)
18. Duran, J.W., Ntafos, S.C.: An evaluation of random testing. IEEE Transactions on Software Engineering (TSE) 10(4), 438-444 (1984)
19. Arcuri, A., Iqbal, M.Z., Briand, L.: Formal analysis of the effectiveness and predictability of random testing. In: ACM International Symposium on Software Testing and Analysis, ISSTA (2010)
20. Lefticaru, R., Ipate, F.: Functional search-based testing from state machines. In: IEEE International Conference on Software Testing, Verification and Validation (ICST), pp. 525-528 (2010)
21. Arcuri, A.: It does matter how you normalise the branch distance in search based software testing. In: IEEE International Conference on Software Testing, Verification and Validation (ICST), pp. 205-214 (2010)
22. Wolpert, D.H.,Macready,W.G.: No free lunch theorems for optimization. IEEE Transactions on Evolutionary Computation 1(1), 67-82 (1997)
23. Feller,W.: An Introduction to Probability Theory and Its Applications, 3rd edn. vol. 1.Wiley, Chichester (1968)
24. Arcuri, A.: Longer is better: On the role of test sequence length in software testing. In: IEEE International Conference on Software Testing, Verification and Validation (ICST), pp. 469-478 (2010)
25. Cohen, J.: A power primer. Psychological bulletin 112(1), 155-159 (1992)
26. Vargha, A., Delaney, H.D.: A critique and improvement of the CL common language effect size statistics of McGraw and Wong. Journal of Educational and Behavioral Statistics 25(2), 101-132 (2000)
27. Harman,M., Hu, L., Hierons, R.,Wegener, J., Sthamer, H., Baresel, A., Roper,M.: Testability transformation. IEEE Transactions on Software Engineering 30(1), 3-16 (2004)