%0 Conference Proceedings
%T AUTSEG: Automatic Test Set Generator for Embedded Reactive Systems
%+ Laboratoire d'Electronique, Antennes et Télécommunications (LEAT)
%A Abdelmoula, Mariem
%A Gaffé, Daniel
%A Auguin, Michel
%Z Part 2: Tools and Frameworksrepublié dans Lecture Notes in Computer Science (LNCS)
%< avec comité de lecture
%Z MCSOC
%( Lecture Notes in Computer Science
%B 26th IFIP International Conference on Testing Software and Systems (ICTSS)
%C Madrid, Spain
%Y Mercedes G. Merayo
%Y Edgardo Montes Oca
%I Springer
%3 Testing Software and Systems
%V LNCS-8763
%P 97-112
%8 2014-09-23
%D 2014
%R 10.1007/978-3-662-44857-1_7
%K Specification
%K Synchronous Model
%K AUTSEG
%K Test Sets
%K State Machines
%K States Space Covering
%K Sequences Generation
%K Contactless Smart Card
%Z Computer Science [cs]
%Z Computer Science [cs]/Embedded SystemsConference papers
%X One of the biggest challenges in hardware and software design is to ensure that a system is error-free. Small errors in reactive embedded systems can have disastrous and costly consequences for a project. Preventing such errors by identifying the most probable cases of erratic system behavior is quite challenging. In this paper, we introduce an automatic test set generator called AUTSEG. Its input is a generic model of the target system, generated using the synchronous approach. Our tool finds the optimal preconditions for restricting the state space of the model. It only works locally on significant subspaces. Our approach exhibits a simpler and efficient quasi-flattening algorithm than existing techniques and a useful compiled form to check security properties and reduce the combinatorial explosion problem of state space. To illustrate our approach, AUTSEG was applied to the case of a transportation contactless card.
%G English
%Z TC 6
%Z WG 6.1
%2 https://hal.science/hal-01069101/document
%2 https://hal.science/hal-01069101/file/978-3-662-44857-1_7_Chapter.pdf
%L hal-01069101
%U https://hal.science/hal-01069101
%~ UNICE
%~ CNRS
%~ IFIP-LNCS
%~ IFIP
%~ IFIP-TC
%~ IFIP-WG
%~ IFIP-TC6
%~ IFIP-WG6-1
%~ IFIP-LNCS-8763
%~ IFIP-ICTSS
%~ UNIV-COTEDAZUR
%~ LEAT