Pan Liu, Yihao Li, Hao Chen, Xuankui Zheng, Si Huang
{"title":"一种改进的图形模型测试树生成算法","authors":"Pan Liu, Yihao Li, Hao Chen, Xuankui Zheng, Si Huang","doi":"10.1109/ISSSR53171.2021.00017","DOIUrl":null,"url":null,"abstract":"It is a widely recognized practice for test generation from the graphical model of the system using traversal algorithms in industry and academia. However, because traversal algorithms of the graph are not designed for test generation, some inexecutable test paths are usually generated from the graphical model of the system when the system has complex software behaviors. This problem will not only lead to the failure of software testing, but also greatly increase test cost of software. The paper discusses the problem of inexecutable test paths in model-based testing. Then, an improved algorithm is intended to generate a test tree from the graphical model so that test paths generated from the test tree satisfy transition constraints in the model. Next, we conduct an experiment on four systems to analyze the problem of inexecutable test paths. Experimental result shows that 1) our algorithm is more efficient than two traditional algorithms for constructing the test tree of the system, and 2) there are still some challenges that need to be overcome in order to obtain more reliable test cases in test generation from graphs.","PeriodicalId":211012,"journal":{"name":"2021 7th International Symposium on System and Software Reliability (ISSSR)","volume":null,"pages":null},"PeriodicalIF":0.0000,"publicationDate":"2021-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"1","resultStr":"{\"title\":\"An Improved Test Tree Generation Algorithm from a Graphical Model\",\"authors\":\"Pan Liu, Yihao Li, Hao Chen, Xuankui Zheng, Si Huang\",\"doi\":\"10.1109/ISSSR53171.2021.00017\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"It is a widely recognized practice for test generation from the graphical model of the system using traversal algorithms in industry and academia. However, because traversal algorithms of the graph are not designed for test generation, some inexecutable test paths are usually generated from the graphical model of the system when the system has complex software behaviors. This problem will not only lead to the failure of software testing, but also greatly increase test cost of software. The paper discusses the problem of inexecutable test paths in model-based testing. Then, an improved algorithm is intended to generate a test tree from the graphical model so that test paths generated from the test tree satisfy transition constraints in the model. Next, we conduct an experiment on four systems to analyze the problem of inexecutable test paths. Experimental result shows that 1) our algorithm is more efficient than two traditional algorithms for constructing the test tree of the system, and 2) there are still some challenges that need to be overcome in order to obtain more reliable test cases in test generation from graphs.\",\"PeriodicalId\":211012,\"journal\":{\"name\":\"2021 7th International Symposium on System and Software Reliability (ISSSR)\",\"volume\":null,\"pages\":null},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2021-09-01\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"1\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"2021 7th International Symposium on System and Software Reliability (ISSSR)\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/ISSSR53171.2021.00017\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"2021 7th International Symposium on System and Software Reliability (ISSSR)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/ISSSR53171.2021.00017","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
An Improved Test Tree Generation Algorithm from a Graphical Model
It is a widely recognized practice for test generation from the graphical model of the system using traversal algorithms in industry and academia. However, because traversal algorithms of the graph are not designed for test generation, some inexecutable test paths are usually generated from the graphical model of the system when the system has complex software behaviors. This problem will not only lead to the failure of software testing, but also greatly increase test cost of software. The paper discusses the problem of inexecutable test paths in model-based testing. Then, an improved algorithm is intended to generate a test tree from the graphical model so that test paths generated from the test tree satisfy transition constraints in the model. Next, we conduct an experiment on four systems to analyze the problem of inexecutable test paths. Experimental result shows that 1) our algorithm is more efficient than two traditional algorithms for constructing the test tree of the system, and 2) there are still some challenges that need to be overcome in order to obtain more reliable test cases in test generation from graphs.