@article{(Open Science Index):https://publications.waset.org/pdf/10899,
	  title     = {Adaptation of State/Transition-Based Methods for Embedded System Testing},
	  author    = {Abdelaziz Guerrouat and  Harald Richter},
	  country	= {},
	  institution	= {},
	  abstract     = {In this paper test generation methods and appropriate fault models for testing and analysis of embedded systems described as (extended) finite state machines ((E)FSMs) are presented. Compared to simple FSMs, EFSMs specify not only the control flow but also the data flow. Thus, we define a two-level fault model to cover both aspects. The goal of this paper is to reuse well-known FSM-based test generation methods for automation of embedded system testing. These methods have been widely used in testing and validation of protocols and communicating systems. In particular, (E)FSMs-based specification and testing is more advantageous because (E)FSMs support the formal semantic of already standardised formal description techniques (FDTs) despite of their popularity in the design of hardware and software systems.
},
	    journal   = {International Journal of Computer and Systems Engineering},
	  volume    = {1},
	  number    = {10},
	  year      = {2007},
	  pages     = {3185 - 3191},
	  ee        = {https://publications.waset.org/pdf/10899},
	  url   	= {https://publications.waset.org/vol/10},
	  bibsource = {https://publications.waset.org/},
	  issn  	= {eISSN: 1307-6892},
	  publisher = {World Academy of Science, Engineering and Technology},
	  index 	= {Open Science Index 10, 2007},
	}