{"title":"测试后web应用程序的行为检查","authors":"Mingyue Jiang, Zuohua Ding, Q. Ge","doi":"10.1109/ICEIE.2010.5559739","DOIUrl":null,"url":null,"abstract":"Testing is the last step to check the correctness of a software system. However, due to its incompleteness, we still do not know if the implementation behavior matches the design behavior. In this paper, we provide a new solution for web applications. Since web application has special navigation character, we can get rich information in the log file after testing. From such log file, we extract the Petri net based behavior of the web application. The behavior is then checked by SPIN. Market Information System has been adopted as the case study.","PeriodicalId":211301,"journal":{"name":"2010 International Conference on Electronics and Information Engineering","volume":null,"pages":null},"PeriodicalIF":0.0000,"publicationDate":"2010-09-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"Behavior checking of web applications after testing\",\"authors\":\"Mingyue Jiang, Zuohua Ding, Q. Ge\",\"doi\":\"10.1109/ICEIE.2010.5559739\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"Testing is the last step to check the correctness of a software system. However, due to its incompleteness, we still do not know if the implementation behavior matches the design behavior. In this paper, we provide a new solution for web applications. Since web application has special navigation character, we can get rich information in the log file after testing. From such log file, we extract the Petri net based behavior of the web application. The behavior is then checked by SPIN. Market Information System has been adopted as the case study.\",\"PeriodicalId\":211301,\"journal\":{\"name\":\"2010 International Conference on Electronics and Information Engineering\",\"volume\":null,\"pages\":null},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2010-09-02\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"2010 International Conference on Electronics and Information Engineering\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/ICEIE.2010.5559739\",\"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 International Conference on Electronics and Information Engineering","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/ICEIE.2010.5559739","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
Behavior checking of web applications after testing
Testing is the last step to check the correctness of a software system. However, due to its incompleteness, we still do not know if the implementation behavior matches the design behavior. In this paper, we provide a new solution for web applications. Since web application has special navigation character, we can get rich information in the log file after testing. From such log file, we extract the Petri net based behavior of the web application. The behavior is then checked by SPIN. Market Information System has been adopted as the case study.