@inbook{839ad53f852e4391ab94db291be80b12,
title = "Testing the Control-Flow, Data-Flow, and Time Aspects of Communication Systems: A Survey",
abstract = "Communication software systems are considered as critical national infrastructures that support users, corporations, and governments. Their description, implementation, and testing are subject to verification by standardization bodies. Formal models have been investigated to establish the conformity of communication protocols to these systems{\textquoteright} standards over the past four decades, including Finite State Machine (FSM) models for control aspects, Extended Finite State Machine (EFSM) models for both the control-flow and the data-flow aspects, and Timed Automata (TA) for modeling the time aspect. Testing is a labor-intensive activity within a system's life cycle. It is a part of software quality assurance and claims a large portion of the total development cycle. Testing automation will enhance both product quality and budget optimization. This chapter provides a survey of control-flow, data-flow, and time aspects of test sequence generation approaches for communication software systems.",
keywords = "Communicating Extended Finite State Machine, Communicating Finite State Machine, Coverage criteria, Extended Finite State Machine, Finite State Machine, Test sequence generation approaches, Timed Automata",
author = "Rachida Dssouli and Ahmed Khoumsi and Mounia Elqortobi and Jamal Bentahar",
note = "Funding Information: This work has been partly funded by NSERC CRD CRIAQ-CMC-CS Canada CRIAQ/AVIO-604. Publisher Copyright: {\textcopyright} 2017 Elsevier Inc.",
year = "2017",
doi = "10.1016/bs.adcom.2017.06.002",
language = "British English",
series = "Advances in Computers",
publisher = "Academic Press Inc.",
pages = "95--155",
booktitle = "Advances in Computers",
address = "United States",
}