EFSM-based Weight-oriented Concolic Testing for Embedded Software

摘要

In the context of the model-based design paradigm, this paper introduces a new concolic testing approach for embedded software modeled via extended finite state machines (EFSMs). It aims at overcoming the limited width of the search based on concrete simulation and the limited depth of the symbolic execution, by interleaving long-range constraint-based heuristics and a symbolic multi-level backjumping technique. The combined approach is based on a weight-oriented dependency analysis over EFSMs which permits to achieve a high controllability of EFSM transitions. The effectiveness of the proposed framework has been evaluated on several case studies.