A new method for testing timed systems

Bonifacio, Adilson Luiz; Moura, Arnaldo Vieira

doi:10.1002/stvr.454

Cited by 2 publications

(5 citation statements)

References 26 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…In a more recent work [4] a testing framework is proposed to discretize TIOA models. This approach allows for more flexible choices of granularities but still guarantees that the original model simulates homomorphically the corresponding grid automaton and conversely.…”

Section: Related Workmentioning

confidence: 99%

“…denotes the set of all total clock interpretations over C . A precise definition of the TIOA semantics can be found in [4].…”

Section: Fault Modelsmentioning

confidence: 99%

“…A transition in a grid can be labeled with an input or output action that represents a discrete transition in the corresponding TIOA or it can be labeled with a granularity to represent the time evolution. Then a grid simulates its corresponding TIOA through a sequence of movements that represents the interacting with the environment and also the time evolution [4].…”

Section: Generalizing the Time Discretizationmentioning

confidence: 99%

“…Therefore a detection analysis based on grid automata can identify not only its fault class but also the precise time instant when the fault occurs. In this section we propose a fault model based on grids obtained by more flexible discretizations [4]. Thus, our detection approach can be applied to discretized models based on clock regions.…”

Section: Characterizing Faults Based On Grid Automatamentioning

confidence: 99%

“…Some model-based testing approaches for real-time systems [4,9,10,18] apply discretization techniques to cope with the continuous time evolution. Discretized models allow us to specify system requirements with time aspects in a finite state space but still exponential.…”

Section: Introductionmentioning

confidence: 99%

See 4 more Smart Citations

Characterizing Faults on Real-Time Systems Based on Grid Automata

Bonifacio¹

2016

J. Computer Sci. Techno. Updates

View full text Add to dashboard Cite

Real-time systems are, in general, critical systems that interact with the environment through input and output events regulated by time constraints. The testing activity on systems of this nature requires rigorous approaches due to their critical aspects. Model-based testing approaches rely on formalisms that provide more reliability to testing activities. However, a model-based testing approach for real-time systems depends on techniques that can deal with continuous evolution of time appropriately. Several testing approaches apply discretization techniques in order to represent continuous behavior of timed models. Test suites can then be extracted from discretized models to support conformance testing between specifications and their respective implementations. Therefore an evaluation of test suites considering a fault coverage is an important task, but rarely addressed by model-based testing approaches for real-time systems. In this work we propose a systematic strategy to identify faults in TIOA models based on their corresponding discretized models. We precisely define a fault model to support model-based testing activities such as coverage analysis and test case generation.

show abstract

Section: Related Workmentioning

confidence: 99%

“…denotes the set of all total clock interpretations over C . A precise definition of the TIOA semantics can be found in [4].…”

Section: Fault Modelsmentioning

confidence: 99%

Section: Generalizing the Time Discretizationmentioning

confidence: 99%

Section: Characterizing Faults Based On Grid Automatamentioning

confidence: 99%