TY - GEN
T1 - DTT-MAT
T2 - 2016 IEEE International Conference on Automation Science and Engineering, CASE 2016
AU - Ma, Canlong
AU - Provost, Julien
N1 - Publisher Copyright:
© 2016 IEEE.
PY - 2016/11/14
Y1 - 2016/11/14
N2 - 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.
AB - 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.
UR - http://www.scopus.com/inward/record.url?scp=85001020549&partnerID=8YFLogxK
U2 - 10.1109/COASE.2016.7743494
DO - 10.1109/COASE.2016.7743494
M3 - Conference contribution
AN - SCOPUS:85001020549
T3 - IEEE International Conference on Automation Science and Engineering
SP - 878
EP - 884
BT - 2016 IEEE International Conference on Automation Science and Engineering, CASE 2016
PB - IEEE Computer Society
Y2 - 21 August 2016 through 24 August 2016
ER -