{"title":"使用模型检查的Web应用程序测试生成","authors":"Liping Li, Huai-kou Miao, Shengbo Chen","doi":"10.1109/SNPD.2010.43","DOIUrl":null,"url":null,"abstract":"This paper proposes a new model checking-based test generation approach for Web applications. The Kripke structure is reconstructed to model the Web application from the end users’ perspective. Test coverage criterion is expressed as trap properties in CTL so that counterexamples can be instantiated to construct test cases. But a counterexample for each trap property is generated will result in too many redundant test cases. So, a test deduction rule and an algorithm based on the greedy heuristic are given to resolve this problem. The test sequences finally generated are those satisfy the coverage criterion and have no redundancy. Throughout the paper, a typical small case study of the WGVS (Web Grade View System) is used to illustrate our approach. This approach presented can help to generate test sequences automatically for Web application and it is a significance complement to the model checking test generation.","PeriodicalId":266363,"journal":{"name":"2010 11th ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing","volume":null,"pages":null},"PeriodicalIF":0.0000,"publicationDate":"2010-06-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"6","resultStr":"{\"title\":\"Test Generation for Web Applications Using Model-Checking\",\"authors\":\"Liping Li, Huai-kou Miao, Shengbo Chen\",\"doi\":\"10.1109/SNPD.2010.43\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"This paper proposes a new model checking-based test generation approach for Web applications. The Kripke structure is reconstructed to model the Web application from the end users’ perspective. Test coverage criterion is expressed as trap properties in CTL so that counterexamples can be instantiated to construct test cases. But a counterexample for each trap property is generated will result in too many redundant test cases. So, a test deduction rule and an algorithm based on the greedy heuristic are given to resolve this problem. The test sequences finally generated are those satisfy the coverage criterion and have no redundancy. Throughout the paper, a typical small case study of the WGVS (Web Grade View System) is used to illustrate our approach. This approach presented can help to generate test sequences automatically for Web application and it is a significance complement to the model checking test generation.\",\"PeriodicalId\":266363,\"journal\":{\"name\":\"2010 11th ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing\",\"volume\":null,\"pages\":null},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2010-06-09\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"6\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"2010 11th ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/SNPD.2010.43\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"2010 11th ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/SNPD.2010.43","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
Test Generation for Web Applications Using Model-Checking
This paper proposes a new model checking-based test generation approach for Web applications. The Kripke structure is reconstructed to model the Web application from the end users’ perspective. Test coverage criterion is expressed as trap properties in CTL so that counterexamples can be instantiated to construct test cases. But a counterexample for each trap property is generated will result in too many redundant test cases. So, a test deduction rule and an algorithm based on the greedy heuristic are given to resolve this problem. The test sequences finally generated are those satisfy the coverage criterion and have no redundancy. Throughout the paper, a typical small case study of the WGVS (Web Grade View System) is used to illustrate our approach. This approach presented can help to generate test sequences automatically for Web application and it is a significance complement to the model checking test generation.