English (United Kingdom)

https://curated-unify.zendy.io/wp-json/zendy-region/v1/featured_content/oa?rat=en

https://curated-unify.zendy.io/wp-json/zendy-region/v1/highlighted_journal/

Global: Zendy Plus annual

Presents the access of premium content as premium feature

Premium Content

Presents the keyphrase highlighting as premium feature

Keyphrase Highlighting

Presents the summarisation as premium feature

Summarisation

Insights

Presents the pdf analysis as premium feature

PDF Analysis

Presents the zaia usage as premium feature

ZAIA

Global: Zendy Tools annual

Global: Zendy Free Plan

Global: Zendy Tools monthly

Global: Zendy Plus monthly

We present an adaptation of input/output conformance (ioco) testingprinciples to families of similar implementation variants as appearing inproduct line engineering. Our proposed product line testing theory relies onModal Interface Automata (MIA) as behavioral specification formalism. MIAenrich I/O-labeled transition systems with may/must modalities to distinguishmandatory from optional behavior, thus providing a semantic notion of intrinsicbehavioral variability. In particular, MIA constitute a restricted, yet fullyexpressive subclass of I/O-labeled modal transition systems, guaranteeingdesirable refinement and compositionality properties. The resulting modal-iocorelation defined on MIA is preserved under MIA refinement, which serves asvariant derivation mechanism in our product line testing theory. As a result,modal-ioco is proven correct in the sense that it coincides with traditionalioco to hold for every derivable implementation variant. Based on this result,a family-based product line conformance testing framework can be established.

Towards an I/O Conformance Testing Theory for Software Product Lines based on Modal Interface Automata