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 条
  • [1] INTERPROCEDURAL DATA FLOW TESTING
    HARROLD, MJ
    SOFFA, ML
    PROCEEDINGS OF THE ACM SIGSOFT 89: THIRD SYMPOSIUM ON SOFTWARE TESTING, ANALYSIS, AND VERIFICATION ( TAV 3 ), 1989, 14 : 158 - 167
  • [2] Testing criteria for data flow software
    Nguyen, TB
    Delaunay, M
    Robach, C
    ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE, PROCEEDINGS, 2003, : 332 - 339
  • [3] Data Flow Testing of Serverless Functions
    Winzinger, Stefan
    Wirtz, Guido
    CLOSER: PROCEEDINGS OF THE 11TH INTERNATIONAL CONFERENCE ON CLOUD COMPUTING AND SERVICES SCIENCE, 2021, : 56 - 64
  • [4] Data flow testing as model checking
    Hong, HS
    Cha, SD
    Lee, I
    Sokolsky, O
    Ural, H
    25TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, PROCEEDINGS, 2003, : 232 - 242
  • [5] A Survey on Data-Flow Testing
    Su, Ting
    Wu, Ke
    Miao, Weikai
    Pu, Geguang
    He, Jifeng
    Chen, Yuting
    Su, Zhendong
    ACM COMPUTING SURVEYS, 2017, 50 (01)
  • [6] Data-flow Testing in the Large
    Andrioli de Araujo, Roberto Paulo
    Chaim, Marcos Lordello
    2014 IEEE SEVENTH INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION (ICST), 2014, : 81 - 90
  • [7] On subsumption relationships in data flow testing
    Chaim, Marcos Lordello
    Baral, Kesina
    Offutt, Jeff
    Neto, Mario Concilio
    de Araujo, Roberto Paulo Andrioli
    SOFTWARE TESTING VERIFICATION & RELIABILITY, 2023, 33 (06):
  • [8] On the Right Objectives of Data Flow Testing
    Denaro, Giovanni
    Pezze, Mauro
    Vivanti, Mattia
    2014 IEEE SEVENTH INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION (ICST), 2014, : 71 - 80
  • [9] Data Flow Testing of Service Choreography
    Mei, Lijun
    Chan, W. K.
    Tse, T. H.
    7TH JOINT MEETING OF THE EUROPEAN SOFTWARE ENGINEERING CONFERENCE AND THE ACM SIGSOFT SYMPOSIUM ON THE FOUNDATIONS OF SOFTWARE ENGINEERING, 2009, : 151 - 160
  • [10] Dynamic Data-Flow Testing
    Vivanti, Mattia
    36TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING (ICSE COMPANION 2014), 2014, : 682 - 685
12345