Formalization of a test experiment. II

DOI10.1134/S0361768813040026zbMATH Open1323.68042OpenAlexW2041275560MaRDI QIDQ2017757FDOQ2017757

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

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

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)

Cites Work

• Title not available (Why is that?)
• Specification completion for IOCO
• Systems with priorities: conformance, testing, and composition

Cited In (10)

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

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)