ISO/IEC9646-1—1994, Information technology-open system interconnection-conformance testing methodology and framework-part 1: general concepts [S]. 1994.
[2]
Hao Ruibing. Integrated system interoperability testing with applications to VoIP// Proceeding of the IFIP TC6 WG6. 1 Joint Inter Conf Forte XIII/PSTV XX. Pisa:, 2000: 69-84.
[3]
郭雄辉. 基于构造类别代数的数据流和控制流相结合的协议测试[J]. 北京邮电大学学报, 2003, 26(Sup): 7-11. Guo Xionghui. A combined control and data flow method for protocol testing based on construct type algebra[J]. Journal of Beijing University of Posts and Telecommunications, 2003, 26(Sup): 7-11.
[4]
Samuel T, Chanson, Qin Li. On static and dynamic test case selections in protocol conformance testing// The 5th Intl Workshop on Protocol Test Systems. Montreal:, 1992: 255-267.
[5]
Sangjo Yoo, Myungchul Kim, Deukyoon Kang. An approach to dynamic protocol testing// IFIP 10th International Workshop on Testing of Communicating Systems. Korea:, 1997: 183-199.
[6]
Ghedamsi A, Bochmann G Von. Test result analysis and diagnostics for finite state machines// Proceedings of the 12th International Conference on Distributed Computing Systems. Florida: , 1992: 244 -251.
[7]
柯尧, 赵保华, 屈玉贵. 基于组件系统的可靠性分析[J]. 北京邮电大学学报, 2005, 28(6): 115-119. Ke Yao, Zhao Baohua, Qu Yugui. Software reliability analysis of component based system[J]. Journal of Beijing University of Posts and Telecommunications, 2005, 28(6): 115-119.
[8]
Ghedamsi A, Bochmann G Von, Dssouli R. Diagnosis of single transition faults in communicating finite state machines// Proceedings of the 13th International Conference on Distributed Computing Systems. Pennsylvania:, 1993: 157-166.
