DTT-MAT: A software toolbox on a design-to-test approach for testing of embedded programmable controllers
Canlong Ma, Julien Provost · 2016
This paper presents a continuation of previous results on a design-to-test (DTT) approach for black-box testing of embedded programmable controllers, where the specifications and implementations can be modeled as finite state machines [1]. The proposed approach checks the specification models and modifies them in order to improve the testability of their physical implementation with limited design and testing overhead. This approach also guarantees by design that the behavior of the implementation remains unchanged during its normal execution (i.e. when not connected to a test-bench). Based on proposed refinements of technical details and improvements of algorithms, a MATLAB toolbox `DTT-MAT' has been developed.