Name
Abstract | ||
|---|---|---|
Formal methods traditionally aim at verifying and proving correctness (a typical academic activity), while testing can only
show the presence of errors (that is what practitioners do). Recently, there is an increasing interest in the use of formal
models and methods in testing. In this talk, we first present a traditional framework of model–based testing, considering
a variety of state-oriented (automata) models, such as Finite State Machines (FSM), Communicating FSM, Extended FSM, where
input and output are coupled for each transition; and input/output automata (a.k.a. transition systems), where inputs are
outputs are decoupled. We provide an overview of existing test derivation techniques based on automata models, while paying
a special attention to the underlying testing assumptions and fault detection capability of the resulting tests.
|
Year | DOI | Venue |
|---|---|---|
2006 | 10.1007/978-3-540-70881-0_5 | Perspectives of Systems Informatics |
Keywords | Field | DocType |
fault detection,finite state machine,formal method,model based testing,input output | Fault detection and isolation,Computer science,Correctness,Automaton,Input/output,Finite-state machine,Theoretical computer science,Formal methods | Conference |
Volume | ISSN | Citations |
4378 | 0302-9743 | 3 |
PageRank | References | Authors |
0.45 | 1 | 1 |
Name | Order | Citations | PageRank |
|---|---|---|---|
| A. Petrenko | 1 | 565 | 31.37 |