From Temporal Models to Property-based Testing

Nasser Alzahrani; Maria Spichkova; Jan Olaf Blech

Research.Publish.Connect.

*Please fill out at least one Field. *Value must be an number!

Title:
ISBN:
Year:
Acronym:
Subject:

Advanced Search Proceedings Search

If you're looking for an exact phrase use quotation marks on text fields.

*Please fill out at least one Field.

Title:
Author:
Affiliation:
Subject:

Advanced Search Papers Search

If you're looking for an exact phrase use quotation marks on text fields.

*Please fill out at least one Field.

Name:
Affiliation:
Country:
Conference:
Subject:

Advanced Search Authors Search

If you're looking for an exact phrase use quotation marks on text fields.

*Please fill out at least one Field.

Name:
Country:
Subject:

Advanced Search Affiliations Search

If you're looking for an exact phrase use quotation marks on text fields.

Proceedings

Proceedings Search *Please fill out at least one Field. *Value must be an number!

Title:
ISBN:
Year:
Acronym:
Subject:

Advanced Search Proceedings Search

If you're looking for an exact phrase use quotation marks on text fields.

Papers

Papers Search *Please fill out at least one Field.

Title:
Author:
Affiliation:
Subject:

Advanced Search Papers Search

If you're looking for an exact phrase use quotation marks on text fields.

Authors

Authors Search *Please fill out at least one Field.

Name:
Affiliation:
Country:
Conference:
Subject:

Advanced Search Authors Search

If you're looking for an exact phrase use quotation marks on text fields.

Advanced Search

Paper

From Temporal Models to Property-based Testing

Topics: Design Thinking; Formal Methods

In Proceedings of the 12th International Conference on Evaluation of Novel Approaches to Software Engineering ENASE - Volume 1, 241-246, 2017 , Porto, Portugal

Authors: Nasser Alzahrani ; Maria Spichkova and Jan Olaf Blech

Affiliation: RMIT University, Australia

Keyword(s): Formal Methods, Property based Testing.

Related Ontology Subjects/Areas/Topics: Formal Methods ; Simulation and Modeling ; Software Engineering ; Software Engineering Methods and Techniques

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 .

CC BY-NC-ND 4.0

Guest: Register as new SciTePress user now for free.

SciTePress user: please login.

My Papers

You are not signed in, therefore limits apply to your IP address 18.116.42.208

In the current month:

Recent papers: 100 available of 100 total

2⁺ years older papers: 200 available of 200 total

Paper citation in several formats:

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 - ENASE; ISBN 978-989-758-250-9; ISSN 2184-4895, SciTePress, pages 241-246. DOI: 10.5220/0006340302410246

@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 - ENASE},
year={2017},
pages={241-246},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0006340302410246},
isbn={978-989-758-250-9},
issn={2184-4895},
}

TY - CONF

JO - Proceedings of the 12th International Conference on Evaluation of Novel Approaches to Software Engineering - ENASE
TI - From Temporal Models to Property-based Testing
SN - 978-989-758-250-9
IS - 2184-4895
AU - Alzahrani, N.
AU - Spichkova, M.
AU - Blech, J.
PY - 2017
SP - 241
EP - 246
DO - 10.5220/0006340302410246
PB - SciTePress