Formalization of a test experiment. II

DOI10.1134/S0361768813040026MaRDI QIDQ2017757zbMATHOpenAlexFDO

Authors I. B. Bourdonov, A. S. Kossatchev

Publication date 23 March 2015

Published in Programming and Computer Software (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1134/s0361768813040026

Mathematics Subject Classification ID

Reliability, testing and fault tolerance of networks and computer systems (68M15) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Formalization of test experiments
• Interaction semantics with refusals, divergence, and destruction
• Testing can be formal, too
• \(\mathcal {HOTL}\): Hypotheses and observations testing logic
• A Logic for Assessing Sets of Heterogeneous Testing Hypotheses

Cites work

• scientific article; zbMATH DE number 938070 (Why is no real title available?)
• Specification completion for IOCO
• Systems with priorities: conformance, testing, and composition

Cited in

(10)

• Test suite reduction in conformance testing
• Contract-based testing.
• \(\mathcal {HOTL}\): Hypotheses and observations testing logic
• scientific article; zbMATH DE number 2202021 (Why is no real title available?)
• scientific article; zbMATH DE number 1973979 (Why is no real title available?)
• Interaction semantics with refusals, divergence, and destruction
• Agreement between conformance and composition
• Automatic construction of systems of distributed components from nested Petri nets models
• Normalised squeeziness and failed error propagation
• Formalization of test experiments

This page was built for publication: Formalization of a test experiment. II

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2017757)