Model-based testing of probabilistic systems

DOI10.1007/S00165-017-0440-4MaRDI QIDQ682363zbMATH OpenOpenAlexFDO

Authors Marcus Gerhold, Mariëlle I. A. Stoelinga

Publication date 2 February 2018

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

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.1007/s00165-017-0440-4

zbMATH Keywords

hypothesis testingprobabilistic automatonmodel-based testingtrace distribution

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87) Reliability, testing and fault tolerance of networks and computer systems (68M15) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Model-based testing of probabilistic systems
• Model-based testing of probabilistic systems with stochastic time
• Formal Approaches to Software Testing
• Specification, testing and implementation relations for symbolic-probabilistic systems
• Characterization of simulation by probabilistic testing

Cites work

• scientific article; zbMATH DE number 3680123 (Why is no real title available?)
• scientific article; zbMATH DE number 3614066 (Why is no real title available?)
• scientific article; zbMATH DE number 2087806 (Why is no real title available?)
• scientific article; zbMATH DE number 763717 (Why is no real title available?)
• scientific article; zbMATH DE number 938070 (Why is no real title available?)
• scientific article; zbMATH DE number 5685899 (Why is no real title available?)
• scientific article; zbMATH DE number 5585443 (Why is no real title available?)
• scientific article; zbMATH DE number 2238781 (Why is no real title available?)
• A calculus of communicating systems
• A platform for high performance statistical model checking -- PLASMA
• A survey of modal logics characterising behavioural equivalences for non-deterministic and stochastic systems
• A testing scenario for probabilistic processes
• A uniform framework for modeling nondeterministic, probabilistic, stochastic, or mixed processes and their behavioral equivalences
• Bisimulation through probabilistic testing
• Characterising Testing Preorders for Finite Probabilistic Processes
• Computer Aided Verification
• Computer Aided Verification
• FM 2005: Formal Methods
• Formal Approaches to Software Testing
• Global minimization of rational functions and the nearest GCDs
• Improved non-committing encryption with applications to adaptively secure protocols
• Interactive Markov chains. And the quest for quantified quality
• Model-based testing of probabilistic systems
• Testing a probabilistic FSM using interval estimation
• Testing equivalences for processes
• Testing preorders for probabilistic processes.
• Testing probabilistic automata
• Using schedulers to test probabilistic distributed systems

Cited in

(7)

• Model-based testing of probabilistic systems
• Runtime monitors for Markov decision processes
• Model-based testing of probabilistic systems with stochastic time
• scientific article; zbMATH DE number 7311343 (Why is no real title available?)
• Testing divergent transition systems
• Model-Based Test Selection for Infinite-State Reactive Systems
• Mixed nondeterministic-probabilistic automata: blending graphical probabilistic models with nondeterminism

Describes a project that uses

Uses Software

• PLASMA
• Rapture
• TorX
• JTorX
• PRISM
• Matlab

This page was built for publication: Model-based testing of probabilistic systems

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