An efficient algorithm of simplest lts using strong equivalence for white box approach
- Authors
- Park, B.; Park, Y.B.; Kim, R.Y.
- Issue Date
- 2014
- Keywords
- Optimization; Simplest LTS; Strong equivalence; Test case
- Citation
- International Journal of Software Engineering and its Applications, v.8, no.2, pp.385 - 390
- Journal Title
- International Journal of Software Engineering and its Applications
- Volume
- 8
- Number
- 2
- Start Page
- 385
- End Page
- 390
- URI
- https://scholarworks.bwise.kr/hongik/handle/2020.sw.hongik/16398
- DOI
- 10.14257/ijseia.2014.8.2.37
- ISSN
- 1738-9984
- Abstract
- In a large system, it is the most important work to consider the verification of the overall source codes and also to test minimal test cases for the maximal test coverage. In the current testing situations, if a complicated and huge system is developed, it may be difficult to test all the source codes. How could it extract small-sized test cases and satisfy high coverage if possible? For this, our previous research worked a simplest LTS using two steps of the transformation algorithm. Bur this paper suggests an efficient algorithm to transform original LTS into Simplest LTS at one time to extract minimal test cases for the maximal test coverage. It can expect an advantage to decrease computer sources and testing time epochally because it tests errors after excluding the recursion of software source codes with Strong Equivalence and optimizing them. © 2014 SERSC.
- Files in This Item
- There are no files associated with this item.
- Appears in
Collections - Graduate School > Software and Communications Engineering > 1. Journal Articles
![qrcode](https://api.qrserver.com/v1/create-qr-code/?size=55x55&data=https://scholarworks.bwise.kr/hongik/handle/2020.sw.hongik/16398)
Items in ScholarWorks are protected by copyright, with all rights reserved, unless otherwise indicated.