一种基于形式化描述的测试序列生成改进方法
DOI:
作者:
作者单位:

作者简介:

通讯作者:

中图分类号:

基金项目:

本课题研究得到国家教委博士点基金的资助.


AN IMPROVED TEST SEQUENCES GENERATION METHOD BASED ON FORMAL DESCRIPTION TECHNIQUE
Author:
Affiliation:

Fund Project:

  • 摘要
  • |
  • 图/表
  • |
  • 访问统计
  • |
  • 参考文献
  • |
  • 相似文献
  • |
  • 引证文献
  • |
  • 资源附件
  • |
  • 文章评论
    摘要:

    动生成测试序列始终是软件工程中一项极为困难的工作.国际标准化组织(ISO)一直致力于协议一致性测试方法与形式化描述技术的研究.本文讨论了基于形式化描述的协议测试序列生成方法中的问题,特别是提出了“部分T序列叠加算法”对使用UIO序列生成测试序列的方法做了进一步改进,大大减少了测试开销.

    Abstract:

    The selection of appropriate test cases is an important issue for conformance testing of protocol implementations as well as in software engineering. This paper describes an optimization method for reducing the length of protocol conformance test sequences by"Partial T sequences overlapping method", which are obtained using UIO sequences.This method provides a logical link between T method and UIO method.It is shown that test sequences generated by this method can shorter 10%-60% than those generated by other methods employing UIO sequences in an example.

    参考文献
    相似文献
    引证文献
引用本文

张立东,刘积仁,李华天.一种基于形式化描述的测试序列生成改进方法.软件学报,1995,6(3):142-147

复制
分享
文章指标
  • 点击次数:
  • 下载次数:
  • HTML阅读次数:
  • 引用次数:
历史
  • 收稿日期:1992-04-06
  • 最后修改日期:1992-08-07
  • 录用日期:
  • 在线发布日期:
  • 出版日期:
您是第位访问者
版权所有:中国科学院软件研究所 京ICP备05046678号-3
地址:北京市海淀区中关村南四街4号,邮政编码:100190
电话:010-62562563 传真:010-62562533 Email:jos@iscas.ac.cn
技术支持:北京勤云科技发展有限公司

京公网安备 11040202500063号