Scholarly record

COMPUTATIONAL PROCESS SPECIFICATION MODEL FOR EMBEDDED SYSTEMS TESTING AND DEBUG WITH RECORD AND DETERMINISTIC REPLAY

Vasiliy Pinkevich

Abstract

The article deals with the problem of embedded computing systems testing and debug. The embedded systems design process, actual problems and existing solutions are analyzed from this perspective. The method of testing and debug based on model-oriented record and replay of the computational process is proposed, as well as the corresponding specification model for real-time computational processes. The specification model is a modified control flow graph. The key advantage of the proposed method is an abstract definition of the computational process, not tied to the implementation technology. This advantage allows test data transfer between different phases of the embedded system design and implementation as well as between various implementation options. This also allows using this method for systems implemented on heterogeneous computing platforms. An important feature of the proposed model is the support of the unambiguous identification of the current point of the computational process. This feature allows automating the analysis of test data and implementing replay of a partial set of computational process events and data. The article describes the proposed testing method and specification model of the computational process, as well as examples of specification model application.

Publication details

Back to publication list