微信服务号

微信订阅号

2025-5-17- 19
Home > Archive>Volume 6, Issue 3, 1995 >142-147
PDF HTML XML Export Cite reminder
AN IMPROVED TEST SEQUENCES GENERATION METHOD BASED ON FORMAL DESCRIPTION TECHNIQUE
Author:
Affiliation:

  • Article
    • | |
  • Metrics
    • |
  • Reference [1]
    • |
  • Related [20]
    • |
  • Cited by [3]
    • | |
  • Comments
    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.

    Reference
    1 Aho A V et al．An optimization technique for protocol conformance test generation based on UIO sequences and Chinese postman tours．Protocol Specificaition，Testing and Verification，VII(North Holland)，75—86． 2 Bochmann G V．Sunshine C A．A survey of fclrmal methods．IEEE Trans．on Software Eng．，1989，15(4)：413— 426． 3 Sabnani K K．Dahbura A T．A protocol testing procedure．Comput．Net Works ISDN Systems，1988，15(4)：285 —297． 4 Shen Y N，Lombarde F，Dahbbura A T．Protocol conformance testing using multiple UIO sequences．Protocol Specification．Testing and Verification，XI(Holland)，June 1989． 5 Sidhu D P，Leung T K．Formal methods for protocol testing：a detailed study．IEEE Trans．on Software Eng．， 1989，15(4)：413—426． 6 Yang B，Ural H．Protocol conformance test generation using multiple UIO sequences with overlapping．Computer Communication Review，1990，(4)：118—125． 7 张立东，刘积仁，李华天．一种新的网络协议测试序列生成算法．计算机工程与应用，1990，(10，11)：149—153． 8 张立东，刘积仁，李华天．协议一致性测试序列生成方法．小型微型计算机系统，1991，12(9)：19—23．
    Comments
    Comments
    分享到微博
    Submit
Get Citation

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

Copy
Share
Article Metrics
  • Abstract:3541
  • PDF: 4502
  • HTML: 0
  • Cited by: 0
History
  • Received:April 06,1992
  • Revised:August 07,1992
Links:Institute of Software, CASChina Computer FederationCASNSFC
You are the first2045248Visitors
Copyright: Institute of Software, Chinese Academy of Sciences Beijing ICP No. 05046678-4
Address：4# South Fourth Street, Zhong Guan Cun, Beijing 100190,Postal Code：100190
Phone：010-62562563 Fax：010-62562533 Email：jos@iscas.ac.cn
Technical Support：Beijing Qinyun Technology Development Co., Ltd.

Beijing Public Network Security No. 11040202500063