loading
Papers Papers/2022 Papers Papers/2022

Research.Publish.Connect.

Paper

Paper Unlock

Authors: Wafa Hasanain 1 ; Yvan Labiche 1 and Serban Gheorghe 2

Affiliations: 1 Carleton University, Canada ; 2 Edgewater Computer Systems and Inc., Canada

Keyword(s): State-based Testing, Online Testing, Real-time, Embedded, RTEdge.

Related Ontology Subjects/Areas/Topics: Applications and Software Development ; Languages, Tools and Architectures ; Model-Based Testing and Validation ; Model-Driven Architecture ; Model-Driven Software Development ; Software Engineering

Abstract: Verifying a real time embedded application is challenging since one has to consider timing requirements in addition to functional ones. During online state-based testing the generation and execution of test cases happen concurrently: test case generation uses information from a state-based test model in combination with observed execution behaviour. This paper describes a practical online testing algorithm that is implemented in the state-based modeling tool RTEdge. Two case studies show that our online testing algorithm produces a test suite that achieves high model coverage, thus facilitating the automated verification of real-time embedded software.

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.59.89

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:
Hasanain, W.; Labiche, Y. and Gheorghe, S. (2015). Automated State-based Online Testing Real-time Embedded Software with RTEdge. In Proceedings of the 3rd International Conference on Model-Driven Engineering and Software Development - MODELSWARD; ISBN 978-989-758-083-3; ISSN 2184-4348, SciTePress, pages 294-302. DOI: 10.5220/0005243402940302

@conference{modelsward15,
author={Wafa Hasanain. and Yvan Labiche. and Serban Gheorghe.},
title={Automated State-based Online Testing Real-time Embedded Software with RTEdge},
booktitle={Proceedings of the 3rd International Conference on Model-Driven Engineering and Software Development - MODELSWARD},
year={2015},
pages={294-302},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0005243402940302},
isbn={978-989-758-083-3},
issn={2184-4348},
}

TY - CONF

JO - Proceedings of the 3rd International Conference on Model-Driven Engineering and Software Development - MODELSWARD
TI - Automated State-based Online Testing Real-time Embedded Software with RTEdge
SN - 978-989-758-083-3
IS - 2184-4348
AU - Hasanain, W.
AU - Labiche, Y.
AU - Gheorghe, S.
PY - 2015
SP - 294
EP - 302
DO - 10.5220/0005243402940302
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