带有外部变量依赖的并行参数化扩展有限状态机测试

he status of research on model-based testing mainly focus on the model with single component, such as FSM and EFSM. But in some protocols, parallel components with external dependence on variables of other components maybe exist. It is infeasible to precisely specify such protocol by single model. In this paper we extend the Extended Finite State Machine with external variables to form our new model, Parallel Parameterized Extended Finite State Machine (PaP-EFSM), and describe a protocol by a set of PaP-EFSMs. Then we present an approach for tests generation from the new models. Our methodology first use EFSM testing method with minor modifications to generate test sequences for each machine, then we take into account transitions which use external variables or define variables which are used in other machines, and generating final test cases. We apply this method to the conformance testing of Source Address Validation Improvements (SAVI) protocols. A set of PaP-EFSMs are built, there group of test sequences are derived and applied on the 10 devices from 4 manufacturers. Many implement faults are exposed.