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 条
  • [1] Automated test generation from specifications based on formal description techniques
    Chin, BM
    Choe, YH
    Kim, SU
    Jung, JI
    ETRI JOURNAL, 1997, 19 (04) : 363 - 388
  • [2] AN IMPROVED GENERATION TECHNIQUE FOR RANDOM NUMBER SEQUENCES
    DEANS, ND
    MANN, DP
    MATHEMATICS AND COMPUTERS IN SIMULATION, 1982, 24 (04) : 314 - 325
  • [3] Improved robustness test sequences generation algorithm
    Gao Xiang
    Yan Xue-xiong
    Kang Fei
    You Ye-bin
    2010 2ND INTERNATIONAL CONFERENCE ON E-BUSINESS AND INFORMATION SYSTEM SECURITY (EBISS 2010), 2010, : 462 - 465
  • [4] Structured Query Language Injection Penetration Test Case Generation Based on Formal Description
    韩明
    苗长云
    Journal of Donghua University(English Edition), 2015, 32 (03) : 446 - 452
  • [5] Structured query language injection penetration test case generation based on formal description
    Han, Ming
    Miao, Chang-Yun
    Journal of Donghua University (English Edition), 2015, 32 (03) : 446 - 452
  • [6] An Improved Method Based on UIOv for Test Sequence Generation
    Gu Juan
    Yuan Dong-ming
    Hu He-fei
    Gao Jin-chun
    PROCEEDINGS OF 2012 IEEE 14TH INTERNATIONAL CONFERENCE ON COMMUNICATION TECHNOLOGY, 2012, : 573 - 577
  • [7] MODELING AND EVALUATING THEORIES INVOLVING SEQUENCES - DESCRIPTION OF A FORMAL METHOD
    TURNER, S
    QUALITY & QUANTITY, 1980, 14 (04) : 511 - 518
  • [8] A RISC-V Test Sequences Generation Method Based on Instruction Generation Constraints
    Liu P.
    Hu W.
    Liu D.
    Han X.
    Liu Y.
    Dianzi Yu Xinxi Xuebao/Journal of Electronics and Information Technology, 2023, 45 (09): : 3141 - 3149
  • [9] Test cases generation based on formal specification
    State Key Laboratory for Novel Software Technology, Nanjing University, Nanjing 210093, China
    不详
    Jiefangjun Ligong Daxue Xuebao, 2009, 4 (318-323):
  • [10] An Improved Test Case Generation Method based on Test Requirements for Testing Software Component
    Chen, Jinfu
    Yin, Yemin
    Cai, Saihua
    Geng, Ye
    Huang, Longxia
    2022 IEEE 22ND INTERNATIONAL CONFERENCE ON SOFTWARE QUALITY, RELIABILITY, AND SECURITY COMPANION, QRS-C, 2022, : 209 - 218
12345