首页    期刊浏览 2024年11月05日 星期二
登录注册

文章基本信息

  • 标题:An Efficient Algorithm of Simplest LTS using Strong Equivalence for White Box Approach
  • 本地全文:下载
  • 作者:Byungho Park ; Yong B. Park ; Robert Youngchul Kim
  • 期刊名称:International Journal of Software Engineering and Its Applications
  • 印刷版ISSN:1738-9984
  • 出版年度:2014
  • 卷号:8
  • 期号:2
  • 页码:385-390
  • DOI:10.14257/ijseia.2014.8.2.37
  • 出版社:SERSC
  • 摘要: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.
  • 关键词:Test Case; Strong Equivalence; Simplest LTS; Optimization
国家哲学社会科学文献中心版权所有