PROGRAM TESTING - SPECIFICATION LANGUAGES AND AUTOMATIC TEST-GENERATION

被引：0
|
作者：
KALNINSH, AA
BORZOV, YV
机构：
来源：
CYBERNETICS | 1985年 / 21卷 / 06期
关键词：
D O I：
暂无
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
引用
收藏
页码：753 / 762
页数：10
相关论文
共 50 条
  • [1] AN AUTOMATIC TEST-GENERATION ALGORITHM FOR HARDWARE DESCRIPTION LANGUAGES
    NORROD, FE
    26TH ACM/IEEE DESIGN AUTOMATION CONFERENCE, 1989, : 429 - 434
  • [2] A WELL-DEFINED ESTELLE SPECIFICATION FOR THE AUTOMATIC TEST-GENERATION
    LEE, DY
    LEE, JY
    IEEE TRANSACTIONS ON COMPUTERS, 1991, 40 (04) : 526 - 542
  • [3] Automatic test-generation for predicates
    Paradkar, A
    Tai, KC
    Vouk, MA
    IEEE TRANSACTIONS ON RELIABILITY, 1996, 45 (04) : 515 - 530
  • [4] AUTOMATIC SOFTWARE TEST-GENERATION
    CAMUFFO, M
    MAIOCCHI, M
    MORSELLI, M
    INFORMATION AND SOFTWARE TECHNOLOGY, 1990, 32 (05) : 337 - 346
  • [5] TEST-GENERATION FOR CURRENT TESTING
    NIGH, P
    MALY, W
    IEEE DESIGN & TEST OF COMPUTERS, 1990, 7 (01): : 26 - 38
  • [6] APPLICATION PACKAGE FOR THE AUTOMATIC TEST-GENERATION
    ARAKELJAN, AA
    SAJADJAN, GA
    OGANDZHANJAN, SR
    SARUKHANJAN, GV
    AVTOMATIKA I VYCHISLITELNAYA TEKHNIKA, 1984, (01): : 67 - 71
  • [7] TEST-GENERATION ALGORITHMS FOR COMPUTER HARDWARE DESCRIPTION LANGUAGES
    LEVENDEL, YH
    MENON, PR
    IEEE TRANSACTIONS ON COMPUTERS, 1982, 31 (07) : 577 - 588
  • [8] DYNAMIC REDUNDANCY IDENTIFICATION IN AUTOMATIC TEST-GENERATION
    ABRAMOVICI, M
    MILLER, DT
    ROY, RK
    IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, 1992, 11 (03) : 404 - 407
  • [9] AUTOMATIC TEST-GENERATION TACKLES SEQUENTIAL LOGIC
    GOERING, R
    COMPUTER DESIGN, 1986, 25 (03): : 24 - 26
  • [10] Testing Semantics and Automatic Test Cases Generation for Statechart Specification
    Yang Xinmin
    Wang Weiwei
    Mo Yuchang
    PROCEEDINGS OF 2009 CONFERENCE ON COMMUNICATION FACULTY, 2009, : 242 - +
12345