查看文章

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’ 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 …