Improved test sequences generation method based on formal description technique

被引：0
|
作者：
Zhang, Lidong
Liu, Jiren
Li, Hualian
机构：
来源：
Ruan Jian Xue Bao/Journal of Software | 1995年 / 6卷 / 03期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [21] StimSeqOnt: An ontology for formal description of multimedia stimuli sequences
    Horvat, Marko
    2020 43RD INTERNATIONAL CONVENTION ON INFORMATION, COMMUNICATION AND ELECTRONIC TECHNOLOGY (MIPRO 2020), 2020, : 1134 - 1139
  • [22] Automatic interoperability test case generation based on formal definitions
    Desmoulin, Alexandra
    Viho, Cesar
    FORMAL METHODS FOR INDUSTRIAL CRITICAL SYSTEMS, 2008, 4916 : 234 - 250
  • [23] Enhancements in formal process description by using a formal method
    Xin, Cheng
    Grunau, Lukas
    Thron, Mario
    Riedl, Matthias
    AT-AUTOMATISIERUNGSTECHNIK, 2023, 71 (03) : 198 - 208
  • [24] Method and technique of test suite generation for embedded API
    Zhao, H.-Q. (zhaohq6625@sina.com), 1600, Chinese Academy of Sciences (25):
  • [25] FORMAL DESCRIPTION TECHNIQUE (FDT) LANGUAGES FOR PROTOCOLS
    VUONG, ST
    COMPUTER NETWORKS AND ISDN SYSTEMS, 1992, 23 (05): : 323 - 324
  • [26] VHDL GENERATION FROM A TIMED EXTENSION OF THE FORMAL DESCRIPTION TECHNIQUE LOTOS WITHIN THE FORMAT PROJECT
    KLOOS, CD
    MORO, TD
    VALLADARES, TR
    RABAY, G
    LOPEZ, AM
    MICROPROCESSING AND MICROPROGRAMMING, 1993, 38 (1-5): : 589 - 596
  • [27] FORMAL DESCRIPTION TECHNIQUE (FDT) CONCEPTS AND TOOLS
    CHANSON, S
    RUDIN, H
    TURNER, K
    VUONG, S
    COMPUTER NETWORKS AND ISDN SYSTEMS, 1992, 25 (01): : 1 - 2
  • [28] A formal description technique and an environment for protocol engineering
    Chung, A
    Sidhu, D
    INTERNATIONAL SOCIETY FOR COMPUTERS AND THEIR APPLICATIONS 13TH INTERNATIONAL CONFERENCE ON COMPUTERS AND THEIR APPLICATIONS, 1998, : 131 - 135
  • [29] A Method for Test Case Generation by Improved Genetic Algorithm Based on Static Structure of Procedure
    Wen Jing
    Zhang Yikun
    Zhao Ming
    Chen Hao
    Hei Xinhong
    Shen Jianxiong
    PROCEEDINGS OF THE 2017 12TH IEEE CONFERENCE ON INDUSTRIAL ELECTRONICS AND APPLICATIONS (ICIEA), 2017, : 1499 - 1504
  • [30] Method integration with formal description techniques
    Saeeiab, Sureerat
    Saeki, Motoshi
    IEICE Transactions on Information and Systems, 2000, E83-D (04) : 616 - 626
12345