Abstract | ||
---|---|---|
Abstracting the behaviour of a specification is a key technique for dealing with the complexity of such tasks as reachability analysis and test generation. We adapted classical data-flow analysis techniques to abstract variables in SDL processes and addressed the problem of finding conservative state abstractions. Prototype tools have been developed to implement those techniques and applied to simple applications from the field of telecommunications. |
Year | DOI | Venue |
---|---|---|
2002 | 10.1007/3-540-36573-7_10 | SAM |
Keywords | Field | DocType |
conservative state abstraction,reachability analysis,abstracting sdl specification,simple application,test generation,sdl process,classical data-flow analysis technique,abstract variable,key technique,prototype tool,data flow,data flow analysis,fault model,state machine | Abstraction,Computer science,Real-time computing,Finite-state machine,Reachability,Fault model | Conference |
Volume | ISSN | ISBN |
2599 | 0302-9743 | 3-540-00877-2 |
Citations | PageRank | References |
2 | 0.42 | 15 |
Authors | ||
4 |
Name | Order | Citations | PageRank |
---|---|---|---|
Sergiy Boroday | 1 | 294 | 14.03 |
Roland Groz | 2 | 496 | 50.60 |
Alexandre Petrenko | 3 | 176 | 15.90 |
Yves-Marie Quemener | 4 | 29 | 4.83 |