Title :
Integrating Concrete Symbolic Testing with an Industrial Embedded Software Development Workflow
Author :
Holleis, Edgar J.
Author_Institution :
Zuhlke Eng. Austria GmbH, Austria
Abstract :
Concrete Symbolic Testing (Concolic Testing) is well established in scientific literature, but not yet widely used in industry practice. This work presents a practical approach of integrating concolic testing tools into an industrial embedded software development workflow. The practical example of a microcontroller storage subsystem serves as means to illustrate benefits and challenges.
Keywords :
embedded systems; microcontrollers; program testing; concolic testing; concrete symbolic testing; industrial embedded software development workflow; microcontroller storage subsystem; Concrete; EPROM; Embedded software; Engines; Microcontrollers; Testing;
Conference_Titel :
Software Testing, Verification and Validation (ICST), 2015 IEEE 8th International Conference on
Conference_Location :
Graz
DOI :
10.1109/ICST.2015.7102623
