Complete model-based equivalence class testing for nondeterministic systems

DOI10.1007/S00165-016-0402-2zbMATH Open1358.68043OpenAlexW2549482734MaRDI QIDQ520246FDOQ520246

Wen-ling Huang, Jan Peleska

Publication date: 3 April 2017

Published in: Formal Aspects of Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00165-016-0402-2

Recommendations

• Complete open-state testing of limitedly nondeterministic systems
• A Stochastic Theory of Black-Box Software Testing
• Testing nonlinear operators
• On conformance testing of non-deterministic systems
• scientific article; zbMATH DE number 1418458

zbMATH Keywords

nondeterminismmodel-based testingcomplete testing theoriesequivalence class partition testingKripke structuresrandom testing

Mathematics Subject Classification ID

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

Cites Work

• Institution-independent model theory
• Institutions: abstract model theory for specification and programming
• Testing Software Design Modeled by Finite-State Machines
• Testing can be formal, too
• Unifying theories for logic programming
• Title not available (Why is that?)
• Understanding concurrent systems
• Institution morphisms
• Title not available (Why is that?)
• Testing timed automata
• Formal Approaches to Software Testing
• Testing for refinement in \textsf{Circus}
• CSP and Kripke Structures
• Structured CSP – A Process Algebra as an Institution
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (4)

• Using Model Counting to Find Optimal Distinguishing Tests
• Exhaustive property oriented model-based testing with symbolic finite state machines
• Coverage-based testing with symbolic transition systems
• An optimised complete strategy for testing symbolic finite state machines

Uses Software

• SONOLAR

This page was built for publication: Complete model-based equivalence class testing for nondeterministic systems

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