From Temporal Models to Property-based Testing
Nasser Alzahrani, Maria Spichkova, Jan Olaf Blech
2017
Abstract
This paper presents a framework to apply property-based testing (PBT) on top of temporal formal models. The aim of this work is to help software engineers to understand temporal models that are presented formally and to make use of the advantages of formal methods: the core time-based constructs of a formal method are schematically translated to the BeSpaceD extension of the Scala programming language. This allows us to have an executable Scala code that corresponds to the formal model, as well as to perform PBT of the models functionality. To model temporal properties of the systems, in the current work we focus on two formal languages, TLA+ and FocusST .
DownloadPaper Citation
in Harvard Style
Alzahrani N., Spichkova M. and Blech J. (2017). From Temporal Models to Property-based Testing . In Proceedings of the 12th International Conference on Evaluation of Novel Approaches to Software Engineering - Volume 1: ENASE, ISBN 978-989-758-250-9, pages 241-246. DOI: 10.5220/0006340302410246
in Bibtex Style
@conference{enase17,
author={Nasser Alzahrani and Maria Spichkova and Jan Olaf Blech},
title={From Temporal Models to Property-based Testing},
booktitle={Proceedings of the 12th International Conference on Evaluation of Novel Approaches to Software Engineering - Volume 1: ENASE,},
year={2017},
pages={241-246},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0006340302410246},
isbn={978-989-758-250-9},
}
in EndNote Style
TY - CONF
JO - Proceedings of the 12th International Conference on Evaluation of Novel Approaches to Software Engineering - Volume 1: ENASE,
TI - From Temporal Models to Property-based Testing
SN - 978-989-758-250-9
AU - Alzahrani N.
AU - Spichkova M.
AU - Blech J.
PY - 2017
SP - 241
EP - 246
DO - 10.5220/0006340302410246