DTT-MAT: A software toolbox on a design-to-test approach for testing of embedded programmable controllers

Canlong Ma, Julien Provost

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

4 Scopus citations

Abstract

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.

Original languageEnglish
Title of host publication2016 IEEE International Conference on Automation Science and Engineering, CASE 2016
PublisherIEEE Computer Society
Pages878-884
Number of pages7
ISBN (Electronic)9781509024094
DOIs
StatePublished - 14 Nov 2016
Event2016 IEEE International Conference on Automation Science and Engineering, CASE 2016 - Fort Worth, United States
Duration: 21 Aug 201624 Aug 2016

Publication series

NameIEEE International Conference on Automation Science and Engineering
Volume2016-November
ISSN (Print)2161-8070
ISSN (Electronic)2161-8089

Conference

Conference2016 IEEE International Conference on Automation Science and Engineering, CASE 2016
Country/TerritoryUnited States
CityFort Worth
Period21/08/1624/08/16

Fingerprint

Dive into the research topics of 'DTT-MAT: A software toolbox on a design-to-test approach for testing of embedded programmable controllers'. Together they form a unique fingerprint.

Cite this