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 条
  • [31] Method integration with formal description techniques
    Saeeiab, S
    Saeki, M
    IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, 2000, E83D (04): : 616 - 626
  • [32] AN OPTIMIZATION TECHNIQUE FOR PROTOCOL CONFORMANCE TEST-GENERATION BASED ON UIO SEQUENCES AND RURAL CHINESE POSTMAN TOURS
    AHO, AV
    DAHBURA, AT
    LEE, D
    UYAR, MU
    IEEE TRANSACTIONS ON COMMUNICATIONS, 1991, 39 (11) : 1604 - 1615
  • [33] FORMAL METHODS FOR TEST SEQUENCE GENERATION
    URAL, H
    COMPUTER COMMUNICATIONS, 1992, 15 (05) : 311 - 325
  • [34] A Formal Description Method for Aspect-oriented Statechart based on CSP
    Wang, Bin
    Zhu, Chunhua
    Sheng, Jinfang
    ISCSCT 2008: INTERNATIONAL SYMPOSIUM ON COMPUTER SCIENCE AND COMPUTATIONAL TECHNOLOGY, VOL 2, PROCEEDINGS, 2008, : 750 - 753
  • [35] Formal description method for ontology based on attribute grammar and its application
    Wang, ML
    Liu, L
    ICCC2004: Proceedings of the 16th International Conference on Computer Communication Vol 1and 2, 2004, : 1161 - 1166
  • [36] Reasoning about continuous change: A formal method based on process description
    Li, CP
    PROCEEDINGS OF THE 2005 INTERNATIONAL CONFERENCE ON ACTIVE MEDIA TECHNOLOGY (AMT 2005), 2005, : 551 - 555
  • [37] Efficient Synthesis of Method Call Sequences for Test Generation and Bounded Verification
    Zhang, Yunfan
    Zhu, Ruidong
    Xiong, Yingfei
    Xie, Tao
    PROCEEDINGS OF THE 37TH IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING, ASE 2022, 2022,
  • [38] Formal Specification Based Automatic Test Generation for Embedded Network Systems
    Choi, Eun Hye
    Nishihara, Hideaki
    Ando, Takahiro
    Nguyen Van Tang
    Aoki, Masahiro
    Yoshisaka, Keiichi
    Mizuno, Osamu
    Ohsaki, Hitoshi
    JOURNAL OF APPLIED MATHEMATICS, 2014,
  • [39] An Improved SLM Method Based on Chaotic Phase Sequences
    Tang Liang-rui
    Li Lin-yang
    Zhang Qin
    2009 5TH INTERNATIONAL CONFERENCE ON WIRELESS COMMUNICATIONS, NETWORKING AND MOBILE COMPUTING, VOLS 1-8, 2009, : 921 - 924
  • [40] Test Data Generation Based on a Formal Analysis of the Project Configuration Data
    Bataev, A. V.
    Davydov, A. A.
    Nalutin, N. Yu.
    Sinitsyn, S. V.
    AUTOMATIC CONTROL AND COMPUTER SCIENCES, 2011, 45 (07) : 373 - 379
12345