Loading...
Please wait, while we are loading the content...
Similar Documents
Test Case Generation Based on Formal Speciications in Estelle
| Content Provider | Semantic Scholar |
|---|---|
| Author | Henniger, Olaf Neumann, Peter |
| Copyright Year | 1995 |
| Abstract | This paper deals with the generation of conformance test sequences from speciications in Estelle. Our approach is to make the well-founded test generation methods based on nite state machines (FSM) applicable to speciications in Estelle. An algorithm is presented for transformation of Estelle modules into a form free of provided-clauses. The transformed modules allow to apply test generation methods based on the FSM model. Using this approach, it is possible to cope with test sequence generation for control and data ow and with test data selection. The transformation is feasible if the variables that occur in provided-clauses have nite, countable domains. For realistic protocol speciications, this condition is fulllled most of the time. Multi-module speciications are decomposed into a set of partial speciications related to separate services before combining the modules into one composite module. The approach partially has been implemented as prototype tools. |
| File Format | PDF HTM / HTML |
| Alternate Webpage(s) | https://www.researchgate.net/profile/Peter_Neumann9/publication/2399217_Test_Case_Generation_Based_on_Formal_Specifications_in_Estelle/links/00b49523caebd7c8db000000.pdf |
| Alternate Webpage(s) | http://www.darmstadt.gmd.de/~henniger/publications/hen95b.ps |
| Language | English |
| Access Restriction | Open |
| Content Type | Text |
| Resource Type | Article |
