loading
Papers Papers/2020

Research.Publish.Connect.

Paper

Paper Unlock

Authors: Lotfi Majdoub and Riadh Robbana

Affiliation: Tunisia Polytechnic School, Tunisia

Related Ontology Subjects/Areas/Topics: Enterprise Information Systems ; Information Systems Analysis and Specification ; Modeling Formalisms, Languages and Notations ; Modeling of Distributed Systems

Abstract: The aim of conformance testing is to check whether an implementation conforms to its specification. We are interested to duration systems, we consider a specification of duration system that is described by a duration graph. Duration graphs are an extension of timed systems and are suitable for modeling the accumulated times spent by computations in the duration systems. In this paper, we propose a framework to generate automatically test cases according to a test purpose for duration graphs. In the first, we define the synchronous product of the specification and the test purpose of an implementation under test. In the second, we demonstrate that timed words recognized by the synchronous product is also recognized by both specification and test purpose. This result allows us to generate tests according to test purpose from the synchronous product.

CC BY-NC-ND 4.0

Sign In Guest: Register as new SciTePress user now for free.

Sign In SciTePress user: please login.

PDF ImageMy Papers

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

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:
Majdoub, L. and Robbana, R. (2006). Test Purpose of Duration Systems. In Proceedings of the 4th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems - MSVVEIS, (ICEIS 2006) ISBN 978-972-8865-49-8, pages 67-75. DOI: 10.5220/0002502900670075

@conference{msvveis06,
author={Lotfi Majdoub. and Riadh Robbana.},
title={Test Purpose of Duration Systems},
booktitle={Proceedings of the 4th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems - MSVVEIS, (ICEIS 2006)},
year={2006},
pages={67-75},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0002502900670075},
isbn={978-972-8865-49-8},
}

TY - CONF

JO - Proceedings of the 4th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems - MSVVEIS, (ICEIS 2006)
TI - Test Purpose of Duration Systems
SN - 978-972-8865-49-8
AU - Majdoub, L.
AU - Robbana, R.
PY - 2006
SP - 67
EP - 75
DO - 10.5220/0002502900670075

0123movie