Projekte pro Jahr
Abstract
In recent years, statistical model checking (SMC) has become increasingly
popular, because it scales well to larger stochastic models and is
relatively simple to implement. SMC solves the model checking problem by
simulating the model for finitely many executions and uses hypothesis
testing to infer if the samples provide statistical evidence for or
against a property. Being based on simulation and statistics, SMC avoids the
state-space explosion problem well-known from other model checking
algorithms. In this paper we show how SMC can be easily integrated into a
property-based testing framework, like FsCheck for C#. As a
result we obtain a very flexible testing and simulation environment,
where a programmer can define models and properties in a familiar
programming language. The advantages: no external modelling language
is needed and both stochastic models and implementations can be checked.
In addition, we have access to the powerful test-data generators of a
property-based testing tool. We demonstrate the feasibility of our approach
by repeating three experiments from the SMC literature.
popular, because it scales well to larger stochastic models and is
relatively simple to implement. SMC solves the model checking problem by
simulating the model for finitely many executions and uses hypothesis
testing to infer if the samples provide statistical evidence for or
against a property. Being based on simulation and statistics, SMC avoids the
state-space explosion problem well-known from other model checking
algorithms. In this paper we show how SMC can be easily integrated into a
property-based testing framework, like FsCheck for C#. As a
result we obtain a very flexible testing and simulation environment,
where a programmer can define models and properties in a familiar
programming language. The advantages: no external modelling language
is needed and both stochastic models and implementations can be checked.
In addition, we have access to the powerful test-data generators of a
property-based testing tool. We demonstrate the feasibility of our approach
by repeating three experiments from the SMC literature.
Originalsprache | englisch |
---|---|
Titel | 10th IEEE International Conference on Software Testing, Verification and Validation (ICST 2017) |
Herausgeber (Verlag) | IEEE Computer Society |
Seiten | 390-400 |
DOIs | |
Publikationsstatus | Veröffentlicht - 2017 |
Veranstaltung | 10th IEEE International Conference on Software Testing, Verification and Validation: ICST 2017 - Tokyo, Japan Dauer: 13 März 2017 → 17 März 2017 http://aster.or.jp/conference/icst2017/ |
Konferenz
Konferenz | 10th IEEE International Conference on Software Testing, Verification and Validation |
---|---|
Kurztitel | ICST 2017 |
Land/Gebiet | Japan |
Ort | Tokyo |
Zeitraum | 13/03/17 → 17/03/17 |
Internetadresse |
Fields of Expertise
- Information, Communication & Computing
Fingerprint
Untersuchen Sie die Forschungsthemen von „Statistical Model Checking Meets Property-Based Testing“. Zusammen bilden sie einen einzigartigen Fingerprint.Projekte
- 1 Abgeschlossen
Aktivitäten
- 1 Vortrag bei Konferenz oder Fachtagung
-
Statistical Model Checking Meets Property-Based Testing, ICST 2017
Richard Alexander Schumi (Redner/in)
16 März 2017Aktivität: Vortrag oder Präsentation › Vortrag bei Konferenz oder Fachtagung › Science to science