Automatic test sequences generation can improve the test efficiency. This paper focuses on how to design and implement a conformance test sequences automatic generation tool for EFSM-based protocols. Specifically, two...
详细信息
ISBN:
(纸本)9783037853696
Automatic test sequences generation can improve the test efficiency. This paper focuses on how to design and implement a conformance test sequences automatic generation tool for EFSM-based protocols. Specifically, two key technical problems are discussed in detail, which are the EFSM model construction and behaviors dynamic interpretation. For the former, the three-tier system architecture is introduced to develop a graphical EFSM editor. For the latter, a dynamic script method to efficiently interpret the dynamic behaviors of the EFSM model is presented. Based on the proposed methods, a simple prototype system for conformance test generation is developed. Experimental results show that the proposed approach is feasible.
In view of the issues of computational method combined execution that need parameters transfer in the process of complex product engineering analysis, the execution principle and parameter file formats of computationa...
详细信息
ISBN:
(纸本)9783037852132
In view of the issues of computational method combined execution that need parameters transfer in the process of complex product engineering analysis, the execution principle and parameter file formats of computational method are discussed. Through parsed the computational parameters, the mapping relationship among multi-computational methods are established and parameters passing between computational methods is realized. A product design analysis environment system, called PDAE, is developed. With the application of PDAE in the analysis process for CFB boiler and turbo-generator, the feasibility and validity of the approach proposed is demonstrated.
暂无评论