An efficient algorithm of simplest lts using strong equivalence for white box approach
DC Field | Value | Language |
---|---|---|
dc.contributor.author | Park, B. | - |
dc.contributor.author | Park, Y.B. | - |
dc.contributor.author | Kim, R.Y. | - |
dc.date.accessioned | 2021-10-12T08:43:54Z | - |
dc.date.available | 2021-10-12T08:43:54Z | - |
dc.date.created | 2021-10-12 | - |
dc.date.issued | 2014 | - |
dc.identifier.issn | 1738-9984 | - |
dc.identifier.uri | https://scholarworks.bwise.kr/hongik/handle/2020.sw.hongik/16398 | - |
dc.description.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. | - |
dc.language | 영어 | - |
dc.language.iso | en | - |
dc.title | An efficient algorithm of simplest lts using strong equivalence for white box approach | - |
dc.type | Article | - |
dc.contributor.affiliatedAuthor | Kim, R.Y. | - |
dc.identifier.doi | 10.14257/ijseia.2014.8.2.37 | - |
dc.identifier.scopusid | 2-s2.0-84896855201 | - |
dc.identifier.bibliographicCitation | International Journal of Software Engineering and its Applications, v.8, no.2, pp.385 - 390 | - |
dc.relation.isPartOf | International Journal of Software Engineering and its Applications | - |
dc.citation.title | International Journal of Software Engineering and its Applications | - |
dc.citation.volume | 8 | - |
dc.citation.number | 2 | - |
dc.citation.startPage | 385 | - |
dc.citation.endPage | 390 | - |
dc.type.rims | ART | - |
dc.type.docType | Article | - |
dc.description.journalClass | 1 | - |
dc.description.journalRegisteredClass | scopus | - |
dc.subject.keywordAuthor | Optimization | - |
dc.subject.keywordAuthor | Simplest LTS | - |
dc.subject.keywordAuthor | Strong equivalence | - |
dc.subject.keywordAuthor | Test case | - |
Items in ScholarWorks are protected by copyright, with all rights reserved, unless otherwise indicated.
94, Wausan-ro, Mapo-gu, Seoul, 04066, Korea02-320-1314
COPYRIGHT 2020 HONGIK UNIVERSITY. ALL RIGHTS RESERVED.
Certain data included herein are derived from the © Web of Science of Clarivate Analytics. All rights reserved.
You may not copy or re-distribute this material in whole or in part without the prior written consent of Clarivate Analytics.