{"title":"The Design and Implementation of Automatically Generating XML Abstract Test Cases System from E-LOTOS","authors":"Chunmei Hai, Yulan Zhao, Rengaowa Sa","doi":"10.1109/ITAPP.2010.5566325","DOIUrl":null,"url":null,"abstract":"This paper has designed and implemented a method that automatically generates XML abstract test cases from E-LOTOS language. Through analyzing the E-LOTOS text which describes the protocols, this paper has obtained adjacency finite state machine and drew the graph with the JAVA language to show the protocol running mechanism. By using the Dijkstra algorithm and a heuristic algorithm for UIO sequence generation on the finite state machine architecture this paper has generated the XML format abstract test cases. Finally E-LOTOS description of IS-IS routing protocol is used to generate the XML format abstract test cases.","PeriodicalId":116013,"journal":{"name":"2010 International Conference on Internet Technology and Applications","volume":"43 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2010-09-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"2010 International Conference on Internet Technology and Applications","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/ITAPP.2010.5566325","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 0
Abstract
This paper has designed and implemented a method that automatically generates XML abstract test cases from E-LOTOS language. Through analyzing the E-LOTOS text which describes the protocols, this paper has obtained adjacency finite state machine and drew the graph with the JAVA language to show the protocol running mechanism. By using the Dijkstra algorithm and a heuristic algorithm for UIO sequence generation on the finite state machine architecture this paper has generated the XML format abstract test cases. Finally E-LOTOS description of IS-IS routing protocol is used to generate the XML format abstract test cases.