@inproceedings{7f71cb0358d64c41be891a3e1637d294,
title = "System Testing of Timing Requirements Based on Use Cases and Timed Automata",
abstract = "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.",
keywords = "System Testing, Timed Automata, Timing Requirements, Use cases",
author = "Chunhui Wang and Fabrizio Pastore and Lionel Briand",
note = "Publisher Copyright: {\textcopyright} 2017 IEEE.; 10th IEEE International Conference on Software Testing, Verification and Validation, ICST 2017 ; Conference date: 13-03-2017 Through 17-03-2017",
year = "2017",
month = may,
day = "15",
doi = "10.1109/ICST.2017.34",
language = "English",
series = "Proceedings - 10th IEEE International Conference on Software Testing, Verification and Validation, ICST 2017",
publisher = "Institute of Electrical and Electronics Engineers Inc.",
pages = "299--309",
booktitle = "Proceedings - 10th IEEE International Conference on Software Testing, Verification and Validation, ICST 2017",
}