Name
Abstract | ||
|---|---|---|
Verification of a modular system composed of communicating components is a difficult problem, especially when the models of the components are not available. Conventional testing techniques are not efficient in detecting erroneous interactions of components because such interactions often occur as interleavings of events that are difficult to reproduce in a modular system. The problem of detecting intermittent errors in the absence of models of components is addressed in this paper. A method to infer a controllable approximation of components through testing is elaborated. The inferred finite state models of components are used to detect intermittent errors and other compositional problems in the system through reachability analysis. The models are refined at each analysis step thus making the approach iterative. |
Year | DOI | Venue |
|---|---|---|
2008 | 10.1007/978-3-540-68524-1_16 | TestCom/FATES |
Keywords | Field | DocType |
reachability analysis,erroneous interaction,difficult problem,controllable approximation,analysis step,approach iterative,modular system,modular system verification,compositional problem,intermittent error,conventional testing technique | Finite state model,Inference,Algorithm,Reachability,Modular design,Mathematics,System verification | Conference |
Volume | ISSN | Citations |
5047 | 0302-9743 | 18 |
PageRank | References | Authors |
0.80 | 17 | 4 |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Roland Groz | 1 | 496 | 50.60 |
| Keqin Li | 2 | 111 | 7.80 |
| A. Petrenko | 3 | 565 | 31.37 |
| Muzammil Shahbaz | 4 | 360 | 14.72 |