{"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}
引用次数: 4
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.