Luthmann, Lars ; Mennicke, Stephan ; Lochau, Malte (2016)
Compositionality, Decompositionality and Refinement in Input/Output Conformance Testing - Technical Report.
doi: 10.48550/arXiv.1606.09035
Report, Bibliographie
Kurzbeschreibung (Abstract)
We propose an input/output conformance testing theory utilizing Modal Interface Automata with Input Refusals (IR-MIA) as novel behavioral formalism for both the specification and the implementation under test. A modal refinement relation on IR-MIA allows distinguishing between obligatory and allowed output behaviors, as well as between implicitly underspecified and explicitly forbidden input behaviors. The theory therefore supports positive and negative conformance testing with optimistic and pessimistic environmental assumptions. We further show that the resulting conformance relation on IR-MIA, called modal-irioco, enjoys many desirable properties concerning component-based behaviors. First, modal-irioco is preserved under modal refinement and constitutes a preorder under certain restrictions which can be ensured by a canonical input completion for IR-MIA. Second, under the same restrictions, modal-irioco is compositional with respect to parallel composition of IR-MIA with multi-cast and hiding. Finally, the quotient operator on IR-MIA, as the inverse to parallel composition, facilitates decompositionality in conformance testing to solve the unknown-component problem.
| Typ des Eintrags: | Report |
|---|---|
| Erschienen: | 2016 |
| Autor(en): | Luthmann, Lars ; Mennicke, Stephan ; Lochau, Malte |
| Art des Eintrags: | Bibliographie |
| Titel: | Compositionality, Decompositionality and Refinement in Input/Output Conformance Testing - Technical Report |
| Sprache: | Englisch |
| Publikationsjahr: | 29 Juni 2016 |
| Verlag: | arXiv |
| Titel der Zeitschrift, Zeitung oder Schriftenreihe: | CoRR |
| Reihe: | Logic in Computer Science |
| Kollation: | 36 Seiten |
| DOI: | 10.48550/arXiv.1606.09035 |
| Zugehörige Links: | |
| Kurzbeschreibung (Abstract): | We propose an input/output conformance testing theory utilizing Modal Interface Automata with Input Refusals (IR-MIA) as novel behavioral formalism for both the specification and the implementation under test. A modal refinement relation on IR-MIA allows distinguishing between obligatory and allowed output behaviors, as well as between implicitly underspecified and explicitly forbidden input behaviors. The theory therefore supports positive and negative conformance testing with optimistic and pessimistic environmental assumptions. We further show that the resulting conformance relation on IR-MIA, called modal-irioco, enjoys many desirable properties concerning component-based behaviors. First, modal-irioco is preserved under modal refinement and constitutes a preorder under certain restrictions which can be ensured by a canonical input completion for IR-MIA. Second, under the same restrictions, modal-irioco is compositional with respect to parallel composition of IR-MIA with multi-cast and hiding. Finally, the quotient operator on IR-MIA, as the inverse to parallel composition, facilitates decompositionality in conformance testing to solve the unknown-component problem. |
| Zusätzliche Informationen: | 1.Version |
| Fachbereich(e)/-gebiet(e): | 18 Fachbereich Elektrotechnik und Informationstechnik 18 Fachbereich Elektrotechnik und Informationstechnik > Institut für Datentechnik > Echtzeitsysteme 18 Fachbereich Elektrotechnik und Informationstechnik > Institut für Datentechnik |
| Hinterlegungsdatum: | 26 Jan 2017 13:09 |
| Letzte Änderung: | 19 Dez 2024 08:20 |
| PPN: | |
| Export: | |
| Suche nach Titel in: | TUfind oder in Google |
 |
Frage zum Eintrag |
Optionen (nur für Redakteure)
 |
Redaktionelle Details anzeigen |
Drucken
Impressum