The state problem for test generation in Simulink

GECCO 2006 - Genetic and Evolutionary Computation Conference

Volumn 2, Issue , 2006, Pages 1941-1948

  Zhan, Yuan ^a   Clark, John A ^a  

^a UNIVERSITY OF YORK   (United Kingdom)

Author keywords

Automation; Matlab Simulink; State problem; Structural coverage; Test data generation; Tracing and deducing

Indexed keywords

AUTOMATION; CODES (SYMBOLS); COMPUTER SIMULATION; MATHEMATICAL MODELS; PROBLEM SOLVING;

MATLAB-SIMULINK; STATE PROBLEM; STRUCTURAL COVERAGE; TEST-DATA GENERATION; TRACING AND DEDUCING;

ONLINE SEARCHING;

EID: 33750279074     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1143997.1144319     Document Type: Conference Paper

References (30)

1. B. Korel. Automated Software Test Data Generation. IEEE Trans. on Softw. Engineering, 16(8): 870-879, 1990.
2. N. Tracey, J. Clark, K. Mander, and J. McDermid. An Automated Framework for Structural Test-Data Generation. Int'l Conf. on Auto. Softw. Eng., pp 285-288, 1998.
3. J. Wegener, K. Buhr, and H. Pohlheim. Automatic Test Data Generation for Structural Testing of Embedded Software Systems by Evolutionary Testing. GECCO 2002, pp 1233-1240.
4. S. Xanthakis, C. Ellis, C. Skourlas, A. Le Gai, S. Katsikas and K. Karapoulios. Application of Genetic Algorithms to Software Testing. In Int 7 Conf. on Softw. Engineering and its Applications, pp 625-636, 1992.
5. B. Jones, H. Sthamer, and D. Eyres. Automatic Structural Testing Using Genetic Algorithms. Software Engineering Journal, 11(5): 299-306, 1996.
6. N. Tracey, J. Clark, and K. Mander. Automated Program Flaw Finding Using Simulated Annealing. Symposium on Software Testing and Analysis (ISSTA), pp 73-81. 1998.
7. N. Tracey, J. Clark, K. Mander, and J. McDermid. Automated Test Data Generation for Exception Conditions. Software -Practice and Experience, 30(1): 61-79, 2000.
8. th Int'l Conf. on Information Systems Analysis and Synthesis, (ISAS'03), 2003.
9. A. Baresel, H. Pohlheim, and S. Sadeghipour. Structural and Functional Sequence Test of Dynamic and State-Based Software with Evolutionary Algorithms. GECCO 2003, pp 2428-2441.
10. J. Wegener, K. Grimm, M. Grochtmann, H. Sthamer and B. Jones. Systematic Testing of Real-Time Systems. Proc. of the 4th European Conference on Software Testing, Analysis & Review (EuroSTAR '1996), Dec. 1996.
11. th IEEE Real-Time Systems Symposium, pp 134-143, 1998.
12. rd Int'l Conf. on Software Quality Management, pp 435-444, 1995.
13. Y. Zhan, and J. Clark. Search-Based Automatic Test-Data Generation at an Architectural Level. GECCO 2004, pp 1413-1426.
14. Leonardo Bottaci. Predicate Expression Cost Functions to Guide Evolutionary Search for Test Data. GECCO 2003, pp 2455-2464.
15. Hong Zhu, Patrick A. V. Hall and John H. R. May. Software Unit Test Coverage and Adequacy. ACM Computing Surveys, Vol. 29(4): 366-427. December 1997.
16. C. R. Reeves (Ed.). Modern Heuristic Techniques for Combinatorial Problems. Blackwell, Oxford, 1993.
17. R. Kirner, R. Lang, G. Freiberger and P. Puschner. Fully Automatic Worst-Case Execution Time Analysis for Matlab/Simulink Models. Euromicro Conference on Real-Time Systems, 2002.
18. S. Kirkpatrick, C. Gelatt, and M. Vecchi. Optimization by Simulated Annealing. Science, 220(4598): 671-680, 1983.
19. P. McMinn. Search-based Software Test Data Generation: A Survey. Software Testing, Verification and Reliability, 14(2), pp 105-156, June 2004.
20. th IEEE Int'l. Conf. on Automated Software Engineering. Montreal, Canada, Oct. 2003.
21. The Math Works. http://www.mathworks.com/products/simulink.
22. Y. Zhan, and J. Clark. Search-Based Mutation Testing for Simulink Models. GECCO 2005, pp 1061-1068.
23. M. Harman, L. Hu, R. Hierons, A. Baresel, and H. Sthamer. Improving Evolutionary Testing by Flag Removal. GECCO 2002, pp 1359-1366.
24. P. McMinn, and M. Holcombe. The State Problem for Evolutionary Testing. GECCO 2003, pp 2488-2500.
25. P. McMinn. Evolutionary Search for Test Data in the Presence of State Behaviour. PhD Thesis, University of Sheffield, January 2005.
26. Reactive Systems Inc. Http://www.reactive-systems.com/.
27. L. Clarke. A System to Generate Test Data and Symbolically Execute Programs. IEEE Transactions on Software Engineering, 2(3): 215-222. 1976.
28. R. A. DeMillo and A. J. Offutt. Constraint-Based Automatic Test Data Generation. IEEE Transactions on Software Engineering, 17(9): 900-909. 1991.
29. A. J. Offutt, Z. Jin and J. Pan. The Dynamic Domain Reduction Procedure for Test Data Generation. Software -Practice and Experience, 29(2): 167-193. 1999.
30. Y. Zhan. A Search-Based Framework for Automatic Test-Set Generation for MATLAB/Simulink Models. PhD thesis, University of York. Dec 2005.