• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文会议>IEEE International Symposium on Theoretical Aspects of Software Engineering >An Improved Algorithm for Building the Characterizing Set
【24h】

An Improved Algorithm for Building the Characterizing Set

机译：一种改进算法，用于构建特征集

获取原文
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

FSM-based testing can obviously reduce the cost of test generation. So many FSM-based test generation methods have been presented to generate effective test sequences. Most of them need to construct the characterizing set of the FSM. However, there are two disadvantages in the existing algorithm for building the characterizing set. One is that time efficiency of the algorithm is hard access to our satisfaction. Another is that the obtained characterizing set may contain some redundancies. To overcome these two disadvantages, we propose the RTMD algorithm to obtain the characterizing set from the FSM, and give four theorems to ensure the correctness and effectiveness of the RTMD algorithm. Then we perform a case study to compare the existing algorithm with the RTMD algorithm. The results show that the RTMD algorithm has shorter time-consuming than the traditional algorithm as well as obtains more effective characterizing set.
机译：基于FSM的测试显然可以降低测试生成的成本。因此，已经提出了许多基于FSM的测试生成方法以产生有效的测试序列。其中大多数都需要构建FSM的特征集。然而，用于构建特征集的现有算法存在两个缺点。一个是算法的时间效率是对我们满意的努力。另一个是获得的特征集可能包含一些冗余。为了克服这两个缺点，我们提出了RTMD算法来获得FSM的表征集，并提供四个定理以确保RTMD算法的正确性和有效性。然后我们执行案例研究以将现有算法与RTMD算法进行比较。结果表明，RTMD算法的耗时比传统算法更短，以及获得更有效的表征集。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

  • 客服微信

  • 服务号