loading
Papers Papers/2022 Papers Papers/2022

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 3.145.37.219

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 (ICEIS 2006) - MSVVEIS; ISBN 978-972-8865-49-8, SciTePress, 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 (ICEIS 2006) - MSVVEIS},
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 (ICEIS 2006) - MSVVEIS
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
PB - SciTePress

- Science and Technology Publications, Lda.
RESOURCES

Proceedings

Papers

Authors

Ontology

CONTACTS

Science and Technology Publications, Lda
Avenida de S. Francisco Xavier, Lote 7 Cv. C,
2900-616 Setúbal, Portugal.

Phone: +351 265 520 185 (National fixed network call)
Fax: +351 265 520 186
Email: info@scitepress.org

EXTERNAL LINKS

PRIMORIS

INSTICC

SCITEVENTS

CROSSREF

PROCEEDINGS SUBMITTED FOR INDEXATION BY:

dblp

Ei Compendex

SCOPUS

Semantic Scholar

Google Scholar

Microsoft Academic