From Interface Automata to Hypercontracts

Incer, Inigo; Benveniste, Albert; Sangiovanni‐Vincentelli, Alberto; Seshia, Sanjit A.

doi:10.1007/978-3-031-22337-2_23

Cited by 1 publication

(1 citation statement)

References 29 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…All components also have to be deterministic, and internal transitions or quiescence are not discussed. A more recent addition to contract theory extends the scope of [2] to hyper-contracts [13]. While this extends the scope of properties that can be expressed as contracts, the current instantiation of the meta-theory for labelled transition systems still has many of the restrictions imposed in [2].…”

Section: Component Substitution and Diagnosismentioning

confidence: 99%

Compositionality in Model-Based Testing

van Cuyck,

van Arragon,

Tretmans

2023

Lecture Notes in Computer Science

View full text Add to dashboard Cite

Model-based testing (MBT) promises a scalable solution to testing large systems, if a model is available. Creating these models for large systems, however, has proven to be difficult. Composing larger models from smaller ones could solve this, but our current MBT conformance relation uioco is not compositional, i.e. correctly tested components, when composed into a system, can still lead to a faulty system. To catch these integration problems, we introduce a new relation over component models called mutual acceptance. Mutually accepting components are guaranteed to communicate correctly, which makes MBT compositional. In addition to providing compositionality, mutual acceptance has benefits when retesting systems with updated components, and when diagnosing systems consisting of components. Keywords: model-based testing • component-based testing • compositional testing • labelled transition systems • uioco This work is part of the project TiCToC -Testing in Times of Continuous Change, project nr 17936, part of the research program MasCot -Mastering Complexity, which is supported by the Dutch Research Council NWO.

show abstract

Section: Component Substitution and Diagnosismentioning

confidence: 99%