Formalization of test experiments

DOI10.1134/S0361768807050015MaRDI QIDQ927449zbMATH OpenFDO

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

Publication date 9 June 2008

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

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

zbMATH Keywords

Formal methods for testing

Mathematics Subject Classification ID

Reliability, testing and fault tolerance of networks and computer systems (68M15)

Recommendations

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

Cites work

• A calculus of communicating systems
• An axiomatic basis for computer programming
• Formal Approaches to Software Testing
• scientific article; zbMATH DE number 2013781 (Why is no real title available?)
• scientific article; zbMATH DE number 938070 (Why is no real title available?)
• scientific article; zbMATH DE number 1418452 (Why is no real title available?)
• Play to Test
• Testing equivalences for processes

Cited in

(11)

• Systems with priorities: conformance, testing, and composition
• Interaction semantics with refusals, divergence, and destruction
• Formalization of a test experiment. II
• Agreement between conformance and composition
• Automatic construction of systems of distributed components from nested Petri nets models
• \(\mathcal {HOTL}\): Hypotheses and observations testing logic
• Complete open-state testing of limitedly nondeterministic systems
• Testing Semantics: Connecting Processes and Process Logics
• Notions of conformance testing for cyber-physical systems: overview and roadmap (invited paper)
• scientific article; zbMATH DE number 6026856 (Why is no real title available?)
• Divergence in testing and readiness semantics

Describes a project that uses

Uses Software

• UniTESK

This page was built for publication: Formalization of test experiments

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