DATA FLOW TESTING IN STAD

被引：6
|
作者：
LASKI, J [1 ]
机构：
[1] OAKLAND UNIV,DEPT COMP SCI & ENGN,ROCHESTER,MI 48063
来源：
JOURNAL OF SYSTEMS AND SOFTWARE | 1990年 / 12卷 / 01期
基金：
美国国家科学基金会;
关键词：
D O I：
10.1016/0164-1212(90)90062-Q
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
The System for Testing And Debugging (STAD) is an experimental installation for the investigation of the use of data flow patterns in the program for testing and debugging. Its main parts are a static analyzer, a test monitor and a knowledge-based debugger. The testing component, described in this article, supports the strategies of chain, U- and L-context testing. The first one exercises exchange patterns between single variables in the program, while the others involve tuples of variables. The advantages and drawbacks of the method and its relation to black-box testing are discussed. © 1990.
引用
收藏
页码：3 / 14
页数：12
相关论文
共 50 条
  • [11] Data Flow Testing for Virtual Prototypes
    Hassan, Muhammad
    Herdt, Vladimir
    Le, Hoang M.
    Chen, Mingsong
    Grosse, Daniel
    Drechsler, Rolf
    PROCEEDINGS OF THE 2017 DESIGN, AUTOMATION & TEST IN EUROPE CONFERENCE & EXHIBITION (DATE), 2017, : 380 - 385
  • [12] Data Flow Testing for SystemC-AMS Timed Data Flow Models
    Hassan, Muhammad
    Grosse, Daniel
    Le, Hoang M.
    Drechsler, Rolf
    2019 DESIGN, AUTOMATION & TEST IN EUROPE CONFERENCE & EXHIBITION (DATE), 2019, : 366 - 371
  • [13] Dependence testing: Extending data flow testing with control dependence
    Hong, HS
    Ural, H
    TESTING OF COMMUNICATING SYSTEMS, PROCEEDINGS, 2005, 3502 : 23 - 39
  • [14] DE 'STAD'
    VANVLIET, E
    MAATSTAF, 1993, 41 (10-12): : 133 - 133
  • [15] Recent trends on data flow testing : A review
    Ankita
    Rathee, Preeti
    Rathee, Nisha
    Gera, Pooja
    Verma, Abhigya
    Goyal, Nishtha
    JOURNAL OF INFORMATION & OPTIMIZATION SCIENCES, 2024, 45 (04): : 1189 - 1197
  • [16] AN APPLICABLE FAMILY OF DATA FLOW TESTING CRITERIA
    FRANKL, PG
    WEYUKER, EJ
    IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1988, 14 (10) : 1483 - 1498
  • [17] Data-Flow Testing of Declarative Programs
    Fischer, Sebastian
    Kuchen, Herbert
    ICFP'08: PROCEEDINGS OF THE 2008 SIGPLAN INTERNATIONAL CONFERENCE ON FUNCTIONAL PROGRAMMING, 2008, : 201 - 212
  • [18] Toward an integration of data flow and domain testing
    Jeng, B
    JOURNAL OF SYSTEMS AND SOFTWARE, 1999, 45 (01) : 19 - 30
  • [19] Data-flow testing of declarative programs
    Fischer, Sebastian
    Kuchen, Herbert
    ACM SIGPLAN NOTICES, 2008, 43 (09) : 201 - 212
  • [20] An experimental evaluation of data flow and mutation testing
    Offutt, AJ
    Pan, J
    Tewary, K
    Zhang, T
    SOFTWARE-PRACTICE & EXPERIENCE, 1996, 26 (02): : 165 - 176
12345