Evolutionary white-box software test with the EvoTest Framework, a progress report

IEEE International Conference on Software Testing, Verification, and Validation Workshops, ICSTW 2009

Volumn , Issue , 2009, Pages 111-120

  Gross, Hamilton ^a   Kruse, Peter M ^a   Wegener, Joachim ^a   Vos, Tanja ^b  

^a Berner & Mattner Systemtechnik GmbH   (Germany)

^b UNIVERSITAT POLITÈCNICA DE VALÈNCIA   (Spain)

Author keywords

Evolutionary testing; Structural testing; Test automation; Tool support; White box testing

Indexed keywords

EVOLUTIONARY TESTING; STRUCTURAL TESTING; TEST AUTOMATION; TOOL SUPPORT; WHITE-BOX TESTING;

AUTOMOTIVE INDUSTRY; EMBEDDED SOFTWARE; INDUSTRIAL APPLICATIONS; RESEARCH; SCHEDULING; SOFTWARE TESTING; TECHNICAL PRESENTATIONS; TEST FACILITIES; TESTING; VERIFICATION;

COMPUTER SOFTWARE SELECTION AND EVALUATION;

EID: 69949102050     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICSTW.2009.38     Document Type: Conference Paper

References (25)

1. The MathWorks, Inc., "Using PolySpace Results," PolySpace Products for C User's Guide, March 2009. [Online]. Available: http://www.mathworks.com/access/helpdesk/help/toolbox/polyspace/ c-ug/index.html?/access/helpdesk/help/toolbox/polyspace/c-ug/ brzsavx-1.html#brzsavx-5. [Accessed: Mar. 9, 2009].
2. ISO/CD 26262: Road Vehicles - Functional Safety, committee draft, work in progress, Sep. 2008.
3. IEC 61508-3:1998, Functional safety of electrical / electronic / programmable electronic safety-related systems, Part 3: Software requirements, 1998.
4. RTCA, Inc, DO-178B, Software Considerations in Airborne Systems and Equipment Certification, Jan. 1992.
5. J. Wegener, A. Baresel, and H. Sthamer, "Evolutionary test environment for automatic structural testing," Information and Software Technology, vol. 43, no. 14, Dec. 2001, pp. 841-854, doi:10.1016/S0950-5849(01) 00190-2
6. M. Dimitar, I.M. Dimitrov, and I. Spasov, "Evotest - framework for customizable implementation of evolutionary testing," Int'l Symp. Software and Services, Oct. 2008, Sofia, Bulgaria.
7. "EvoTest - Evolutionary Testing for Complex Systems," EvoTest Project Homepage, March 2009. [Online]. Available: http://www.evotest.eu. [Accessed: Dec. 19, 2008].
8. B. Jones, H. Sthamer, and D. Eyres, "Automatic structural testing using genetic algorithms," Software Engineering J., vol. 11, no. 5, September 1996, pp. 299-306.
9. G.J. Meyers, The Art of Software Testing, John Wiley & Sons, 1979.
10. INRIA, "Objective CAML", About Objective CAML, May 2004. [Online]. Available: http://caml.inria.fr/ocaml/index.en.html. [Accessed: Jan. 08, 2009].
11. The Eclipse Foundation, "Eclipse," Eclipse Homepage, March 2009. [Online]. Available: http://www.eclipse.org. [Accessed: Mar. 09, 2009].
12. INRIA, "GUIDE, Crossing the chasm between theory and practice in Evolutionary Algorithms," GUIDE Project Homepage, Nov. 2008. [Online]. Available: http://guide.gforge.inria.fr. [Accessed: Dec. 22, 2008].
13. th Intl. Conf. Compiler Construction (CC 2002), LNCS 2304, Springer, 2002, pp. 213-228, doi:10.1007/3-540-45937-5-16
14. dSpace GmbH, "TargetLink - automatic production code generator", TargetLink product homepage, March 2009. [Online]. Available: http://www.dspaceinc.com/ww/en/inc/home/products/sw/pcgs/ targetli.cfm. [Accessed: Mar. 09, 2009].
15. ETAS Group, "ASCET software products", ASCET software products homepage, March 2009. [Online]. Available: http://www.etas.com/en/products/ ascet-software-products.php. [Accessed: Mar. 09, 2009].
16. Free Software Foundation, Inc., "The C preprocessor," CPP Manual, Feb. 2009. [Online]. Available: http://gcc.gnu.org/onlinedocs/cpp/. [Accessed Mar. 09, 2009].
17. M. Harman, Y. Hassoun, K. Lakhotia K, P. McMinn, and J. Wegener, "The impact of input domain reduction on search-based test data generation," Proc. 6th Joint Meeting European Software Eng. Conf. and ACM SIGSOFT Symp. Foundations Software Eng. (ESEC/FSE 2007), 2007, pp. 155-164, doi:10.1145/1287624.1287647.
18. M. Prutkina and A. Windisch, "Evolutionary structural testing of software with pointers," Proc. 2008 IEEE Int'l Conf. Software Testing Verification and Validation Workshop (ICSTW 08), p. 231, doi:10.1109/ICSTW.2008. 15
19. J. Schaub, "Example C Function using volatile variables", Reply to question posed in online forum. Dec. 2008, [Online]. Available: http://stackoverflow.com/questions/386554#386917. [Accessed: Jan. 05, 2009].
20. M. Harman et al., "VADA: A transformation-based system for variable dependence analysis," 2nd IEEE Int'l Workshop Source Code Analysis and Manipulation (SCAM 02), 2002, pp. 55, doi:10.1109/SCAM.2002.1134105.
21. M. Harman et al., "Testability transformation," IEEE Trans. Software Eng., vol. 30, no. 1, 2004, pp. 3-16, doi:10.1109/TSE.2004.1265732.
22. P. McMinn, D. Binkley, and M. Harman, "Empirical evaluation of a nesting testability transformation for evolutionary testing," ACM Trans. Software Eng. and Methodology, in press.
23. A. Baresel, D. Binkley, M. Harman, and B. Korel, "Evolutionary testing in the presence of loop-assigned flags, a testability transformation approach," Proc. 2004 ACM SIGSOFT Int'l Symp. Software Testing and Analysis (ISSTA 04), 2004, pp. 108-118, doi:10.1145/1007512.1007527.
24. A. Arcuri, D.R. White, J. Clark, and X. Yao, "Multi-objective improvement of software using co-evolution and smart seeding," Proc. 7th Int'l Conf. Simulated Evolution and Learning (SEAL 08), 2008, pp. 61-70, doi:10.1007/978-3-540-89694-4-7.
25. Free Software Foundation, Inc., "Installing GCC: testing," Guide to using GCC testsuites to test GCC, July 2008. [Online]. Available: http://gcc.gnu.org/install/test.html. [Accessed: Mar 10, 2009].