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 条
  • [41] Generation of functional test sequences from B formal specifications - Presentation and industrial case-study
    Legeard, B
    Peureux, F
    16TH ANNUAL INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING (ASE 2001), PROCEEDINGS, 2001, : 377 - 381
  • [42] Generation of test sequences from formal specifications: GSM 11-11 standard case study
    Bernard, E
    Legeard, B
    Luck, X
    Peureux, F
    SOFTWARE-PRACTICE & EXPERIENCE, 2004, 34 (10): : 915 - 948
  • [43] Test Case Prioritization Based on Method Call Sequences
    Chi, Jianlei
    Qu, Yu
    Zheng, Qinghua
    Yang, Zijiang
    Jin, Wuxia
    Cui, Di
    Liu, Ting
    2018 IEEE 42ND ANNUAL COMPUTER SOFTWARE AND APPLICATIONS CONFERENCE (COMPSAC), VOL 1, 2018, : 251 - 256
  • [44] Formal generation method for embedded software based on assembly language
    Deng, Yong
    Nan, Sang
    Xiong, Gang-Ze
    Luo, Ke-Lu
    Journal of Information and Computational Science, 2007, 4 (01): : 27 - 33
  • [45] Design of Intelligent Political Test Paper Generation Method Based on Improved Intelligent Optimization Algorithm
    Wan, Qing
    EAI ENDORSED TRANSACTIONS ON SCALABLE INFORMATION SYSTEMS, 2024, 11 (05): : 12 - 13
  • [46] Study of Simulation Test Generation Method Based on Improved Binary Particle Swarm Optimization Algorithm
    Lian Guangyao
    Yan Pengcheng
    Sun Jiangsheng
    Huang Kaoli
    COMPUTING, CONTROL AND INDUSTRIAL ENGINEERING IV, 2013, 823 : 661 - 664
  • [47] A Mechanized Method for Risk-Based Test Case Generation and Prioritization by an Improved Correlation System
    Durga Praveen Deevi
    Naga Sushma Allur
    Koteswararao Dondapati
    Himabindu Chetlapalli
    Sharadha Kodadi
    Thinagaran Perumal
    SN Computer Science, 6 (4)
  • [48] FORMAL METHODS FOR GENERATING PROTOCOL CONFORMANCE TEST SEQUENCES
    DAHBURA, AT
    SABNANI, KK
    UYAR, MU
    PROCEEDINGS OF THE IEEE, 1990, 78 (08) : 1317 - 1326
  • [49] USE OF A FORMAL DESCRIPTION TECHNIQUE IN THE SPECIFICATION OF AUTHENTICATION PROTOCOLS
    VARADHARAJAN, V
    COMPUTER STANDARDS & INTERFACES, 1990, 9 (03) : 203 - 215
  • [50] Formal description of web user interfaces for automatic generation
    Cannella, Vincenzo
    Peri, Daniele
    Pirrone, Roberto
    Ardizzone, Edoardo
    WEBIST 2007: PROCEEDINGS OF THE THIRD INTERNATIONAL CONFERENCE ON WEB INFORMATION SYSTEMS AND TECHNOLOGIES, VOL WIA: WEB INTERFACES AND APPLICATIONS, 2007, : 425 - +
12345