计算机工程与应用 ›› 2008, Vol. 44 ›› Issue (20): 96-98.DOI: 10.3778/j.issn.1002-8331.2008.20.030

• 研发、设计、测试 • 上一篇    下一篇

一种启发式UIO序列生成算法

郑 剑1,2,江建慧1   

  1. 1.江西理工大学 信息工程学院,江西 赣州 341000
    2.同济大学 嵌入式系统与服务计算教育部重点实验室,上海 201804
  • 收稿日期:2007-10-08 修回日期:2008-01-15 出版日期:2008-07-11 发布日期:2008-07-11
  • 通讯作者: 郑 剑

Heuristic algorithm for Unique Input/Output sequence generation

ZHENG Jian1,2,JIANG Jian-hui1   

  1. 1.Faculty of Information Engineering,Jiangxi University of Science and Technology,Ganzhou,Jiangxi 341000,China
    2.Key Laboratory of Embed System and Service-oriented Computing of Ministry of Education,Tongji University,Shanghai 201804,China
  • Received:2007-10-08 Revised:2008-01-15 Online:2008-07-11 Published:2008-07-11
  • Contact: ZHENG Jian

摘要: 基于UIO序列的测试方法已经广泛地应用在协议一致性测试和软件一致性测试方面,如何有效地生成更短的UIO序列一直为人们所关注。提出了一种基于估价函数的启发式生成UIO序列的算法,通过分析比较该算法能更有效地产生UIO序列。

关键词: 有限自动机, UIO序列, 启发式搜索, 估价函数

Abstract: A testing method based on UIO sequence was widely used in protocol conformance testing and software conformance testing,how to efficiently generate shorter UIO sequence is always focused.A heuristic algorithm based on evaluation function for UIO sequence generation is proposed,this algorithm can efficiently generate UIO sequence.

Key words: finite state machine, UIO sequence, heuristic search, evaluation function