基于遗传算法协议一致性测试序列生成研究.pdf

基于遗传算法的协议一致性测试序列生成研究 ii ABSTRACT The protocol test which derived from soft ware test, is the cr ucial procedure in protocol development. The protocol co nformance test is the most important protocol test. By the protocol conformance test on system unde r test, we can find the different between protoc ol implementation and pr otocol specification. In protocol conformance test, how to get the high quality test sequ ence from protocol specification is direc tly related to ess of the te st. Based on the application of ic algorithm in engineering fields and current methods of generating the protocol conformance test se quence , this thesis give the design and realization of applying ic algorithm to searching the test sequence. First, this paper introduces the theory of protocol test and conformance test, the protocol conformance test framew ork instructed by ISO/IEC9646, and analyses the methods curren tly used to generate protocol conformance test sequence. In ession, be cause of the natural language specifying protocol inexactly, involves some formal technology specifying the protocol with emphasis on model. At last conclude the ic algorithm composition, related theory, mathematical analysis and some thing to be noticed in engineering application. Based on the analysis of characters and properties of model and application principle of ic algorithm, using the reference of experience of applying ic algorithm on optimizatio n in other engineering fields, give the idea of applying ic algorithm on ge nerating conformance test sequence by using test target transition sequence reflec tion. First, give the detailed introduction of elements of ic algorithm appl ication, and the framework flow of generating conformance test sequence. Then with the algo rithm’s performance briefly analyses the influence to perfor mance by control parameters in ic search of generating test sequence. At last gives some available optim ization idea to th