A FORMAL APPROACH TO TTCN BASED TEST EXECUTION
DOI:
Author:
Affiliation:

Clc Number:

Fund Project:

  • Article
  • |
  • Figures
  • |
  • Metrics
  • |
  • Reference
  • |
  • Related
  • |
  • Cited by
  • |
  • Materials
  • |
  • Comments
    Abstract:

    Research on formal test execution methods is an important phase in the activity of formal protocol conformance testing. This paper proposes a formal test execution approach based on test notation language TTCN s operational semantics and described it by using labeled transition system, and also discusses an implementation of this method. This formal approach is very suitable for the construction of general protocol testing system, and can be an effective way for automatic test suite verification.

    Reference
    Related
    Cited by
Get Citation

郝瑞兵,吴建平,史美林.一种形式化的基于TTCN的测试执行方法.软件学报,1997,8(5):367-375

Copy
Share
Article Metrics
  • Abstract:
  • PDF:
  • HTML:
  • Cited by:
History
  • Received:
  • Revised:May 27,1996
  • Adopted:
  • Online:
  • Published:
You are the firstVisitors
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