Projects per year
random testing technique that facilitates the generation of complex form data.
For example, it has been shown that PBT can be applied to web-service
applications that require various inputs for web-forms. We want to exploit this
data generation feature of PBT and combine it with an external test-case
generator that can generate test cases via model-based mutation testing.
PBT already supports the generation of test cases from stateful models, but it
is limited, because it normally only considers the current state during
exploration of the model. We want to give the tester more control on how to
produce meaningful operation sequences for test cases. By integrating an
external test-case generator into a PBT tool, we can create test cases that
follow certain coverage criteria. This allows us to reduce the test execution
time, because we do not need a large number of random tests to cover certain
model aspects. We demonstrate our approach with a simple example of an external
generator for regular expressions and perform an industrial case study, where
we integrate an existing model-based mutation testing generator.
|Title of host publication||10th IEEE International Conference on Software Testing, Verification and Validation Workshops, ICST Workshops 2017, Tokyo, Japan, March 13-17, 2017|
|Publisher||IEEE Computer Society|
|Publication status||Published - 2017|
|Event||10th IEEE International Conference on Software Testing, Verification and Validation (ICST 2017): ICST 2017 - Tokyo, Japan|
Duration: 13 Mar 2017 → 17 Mar 2017
|Conference||10th IEEE International Conference on Software Testing, Verification and Validation (ICST 2017)|
|Abbreviated title||ICST 2017|
|Period||13/03/17 → 17/03/17|
Fields of Expertise
- Information, Communication & Computing
FingerprintDive into the research topics of 'Property-Based Testing with External Test-Case Generators'. Together they form a unique fingerprint.
- 1 Finished
- 1 Talk at conference or symposium
Richard Alexander Schumi (Speaker)17 Mar 2017
Activity: Talk or presentation › Talk at conference or symposium › Science to science