Paper published in a book (Scientific congresses, symposiums and conference proceedings)
System Testing of Timing Requirements based on Use Cases and Timed Automata
Wang, Chunhui; Pastore, Fabrizio; Briand, Lionel
2017In 10th IEEE International Conference on Software Testing, Verification and Validation (ICST 2017), Tokyo 13-18 March 2017
Peer reviewed
 

Files


Full Text
Chunhui-ICST-2017.pdf
Author postprint (594.32 kB)
Download

All documents in ORBilu are protected by a user license.

Send to



Details



Abstract :
[en] In the context of use-case centric development and requirements-driven testing, this paper addresses the problem of automatically deriving system test cases to verify timing requirements. Inspired by engineering practice in an automotive software development context, we rely on an analyzable form of use case specifications and augment such functional descriptions with timed automata, capturing timing requirements, following a methodology aiming at minimizing modeling overhead. We automate the generation of executable test cases using a test strategy based on maximizing test suite diversity and building over the UPPAAL model checker. Initial empirical results based on an industrial case study provide evidence of the effectiveness of the approach.
Research center :
Interdisciplinary Centre for Security, Reliability and Trust (SnT) > Software Verification and Validation Lab (SVV Lab)
Disciplines :
Computer science
Author, co-author :
Wang, Chunhui ;  University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT)
Pastore, Fabrizio  ;  University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT)
Briand, Lionel ;  University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT)
External co-authors :
no
Language :
English
Title :
System Testing of Timing Requirements based on Use Cases and Timed Automata
Publication date :
13 March 2017
Event name :
10th IEEE International Conference on Software Testing, Verification and Validation (ICST 2017)
Event date :
from 13-03-2017 to 18-03-2017
Audience :
International
Main work title :
10th IEEE International Conference on Software Testing, Verification and Validation (ICST 2017), Tokyo 13-18 March 2017
Peer reviewed :
Peer reviewed
Focus Area :
Computational Sciences
European Projects :
H2020 - 694277 - TUNE - Testing the Untestable: Model Testing of Complex Software-Intensive Systems
Funders :
CE - Commission Européenne [BE]
Available on ORBilu :
since 09 December 2016

Statistics


Number of views
426 (58 by Unilu)
Number of downloads
270 (16 by Unilu)

Scopus citations®
 
8
Scopus citations®
without self-citations
7
WoS citations
 
10

Bibliography


Similar publications



Contact ORBilu