DocumentCode
708019
Title
Integrating Concrete Symbolic Testing with an Industrial Embedded Software Development Workflow
Author
Holleis, Edgar J.
Author_Institution
Zuhlke Eng. Austria GmbH, Austria
fYear
2015
fDate
13-17 April 2015
Firstpage
1
Lastpage
2
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Software Testing, Verification and Validation (ICST), 2015 IEEE 8th International Conference on
Conference_Location
Graz
Type
conf
DOI
10.1109/ICST.2015.7102623
Filename
7102623
Link To Document