Abstract | ||
---|---|---|
In this paper, we define a formal approach for translating internal tests derived for a component embedded within a modular system into external tests defined over the external observable alphabets of the system. The system is represented as two communicating complete deterministic finite state machines, an embedded component machine to be tested and a context machine that represents the remaining part of the system. The context is assumed to be fault free and the interactions between the component machines are observable. When an internal test can not be translated in the given context, we demonstrate how another test with the guaranteed fault detection power could be determined (if such a test exists) that can be translated in the given context. |
Year | DOI | Venue |
---|---|---|
2006 | 10.1007/11754008_16 | TestCom |
Keywords | Field | DocType |
external observable alphabet,external test,fsm test translation,context machine,embedded component machine,modular system,complete deterministic finite state,internal test,formal approach,component machine,guaranteed fault detection power,fault detection,finite state machine | Test suite,Observable,Fault detection and isolation,Computer science,Algorithm,Fault free,Finite-state machine,Modular design,Formal methods,Deterministic system (philosophy) | Conference |
Volume | ISSN | ISBN |
3964 | 0302-9743 | 3-540-34184-6 |
Citations | PageRank | References |
6 | 0.50 | 8 |
Authors | ||
3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Khaled El-Fakih | 1 | 322 | 29.50 |
Alexandre Petrenko | 2 | 176 | 15.90 |
Nina Yevtushenko | 3 | 664 | 63.45 |