{"title":"基于扩展可覆盖性树的测试用例生成技术","authors":"Tomohiko Takagi, Z. Furukawa","doi":"10.1109/SNPD.2012.58","DOIUrl":null,"url":null,"abstract":"This paper shows a model-based testing technique using a PN (place/transition net) that is a kind of Petri net in order to improve the reliability of concurrent software. In this technique, a PN representing the expected behavior of software under test is used for generating a special tree called an ECT (extended coverability tree), which gives test cases that satisfy a criterion called ECT-N transition coverage. This technique focuses on the number of resources that behave concurrently in order to concentrate test engineers' effort on an important aspect of concurrent behavior by using a realistic number of test cases. This paper includes basic notions, a test case generation algorithm, and an example for considering the effectiveness of this technique.","PeriodicalId":387936,"journal":{"name":"2012 13th ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing","volume":null,"pages":null},"PeriodicalIF":0.0000,"publicationDate":"2012-08-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"4","resultStr":"{\"title\":\"Test Case Generation Technique Based on Extended Coverability Trees\",\"authors\":\"Tomohiko Takagi, Z. Furukawa\",\"doi\":\"10.1109/SNPD.2012.58\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"This paper shows a model-based testing technique using a PN (place/transition net) that is a kind of Petri net in order to improve the reliability of concurrent software. In this technique, a PN representing the expected behavior of software under test is used for generating a special tree called an ECT (extended coverability tree), which gives test cases that satisfy a criterion called ECT-N transition coverage. This technique focuses on the number of resources that behave concurrently in order to concentrate test engineers' effort on an important aspect of concurrent behavior by using a realistic number of test cases. This paper includes basic notions, a test case generation algorithm, and an example for considering the effectiveness of this technique.\",\"PeriodicalId\":387936,\"journal\":{\"name\":\"2012 13th ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing\",\"volume\":null,\"pages\":null},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2012-08-08\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"4\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"2012 13th ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/SNPD.2012.58\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"2012 13th ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/SNPD.2012.58","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
Test Case Generation Technique Based on Extended Coverability Trees
This paper shows a model-based testing technique using a PN (place/transition net) that is a kind of Petri net in order to improve the reliability of concurrent software. In this technique, a PN representing the expected behavior of software under test is used for generating a special tree called an ECT (extended coverability tree), which gives test cases that satisfy a criterion called ECT-N transition coverage. This technique focuses on the number of resources that behave concurrently in order to concentrate test engineers' effort on an important aspect of concurrent behavior by using a realistic number of test cases. This paper includes basic notions, a test case generation algorithm, and an example for considering the effectiveness of this technique.