An approach to integration testing based on data flow specifications

被引：0
|
作者：
Chen, Y [1 ]
Liu, S [1 ]
Nagoya, F [1 ]
机构：
[1] Hosei Univ, Fac Comp & Informat Sci, Koganei, Tokyo 1848584, Japan
来源：
THEORETICAL ASPECTS OF COMPUTING - ICTAC 2004 | 2005年 / 3407卷
关键词：
data flow diagrams; specification-based testing; SOFL; test cases generation;
D O I：
暂无
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
Integration testing of programs based on formal specifications can benefit considerably from the comprehensibility of specifications. In this paper, we describe an approach to testing programs based on data-flow-oriented specifications by analyzing data flow paths and discussing criteria for test case generation. This approach suggests a specific way to generate test cases directly from formalized data flow diagrams and the associated textual specifications. We apply the approach in a case study of testing part of an ATM system to evaluate its effectiveness in fault detection and to uncover its weakness for further improvement.
引用
下载
收藏
页码：235 / 249
页数：15
相关论文
共 50 条
  • [1] AN APPROACH TO TESTING SPECIFICATIONS
    JARD, C
    VONBOCHMANN, G
    JOURNAL OF SYSTEMS AND SOFTWARE, 1983, 3 (04) : 315 - 323
  • [2] A Mutation-Based Approach for Testing AsmetaL Specifications
    Hassine, Jameleddine
    Alkrarha, Osama
    ARABIAN JOURNAL FOR SCIENCE AND ENGINEERING, 2015, 40 (12) : 3523 - 3544
  • [3] A Mutation-Based Approach for Testing AsmetaL Specifications
    Jameleddine Hassine
    Osama Alkrarha
    Arabian Journal for Science and Engineering, 2015, 40 : 3523 - 3544
  • [4] Toward an integration of data flow and domain testing
    Jeng, B
    JOURNAL OF SYSTEMS AND SOFTWARE, 1999, 45 (01) : 19 - 30
  • [5] Combining Algorithm Based Data Flow Testing Approach for XACML
    Limaye, Sagar
    Zhang, Yunpeng
    PROCEEDINGS OF THE THIRD ACM WORKSHOP ON ATTRIBUTE-BASED ACCESS CONTROL (ABAC'18), 2018, : 25 - 30
  • [6] A PropEr Integration of Types and Function Specifications with Property-Based Testing
    Papadakis, Manolis
    Sagonas, Konstantinos
    ERLANG 11: PROCEEDINGS OF THE 2011 ACM SIGPLAN ERLANG WORKSHOP, 2011, : 39 - 50
  • [7] EVALUATING A DATA ABSTRACTION TESTING SYSTEM BASED ON FORMAL SPECIFICATIONS
    MCMULLIN, PR
    GANNON, JD
    JOURNAL OF SYSTEMS AND SOFTWARE, 1981, 2 (02) : 177 - 186
  • [8] An object-based data flow testing approach for Web applications
    Liu, CH
    Kung, DC
    Hsia, P
    Hsu, CT
    INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, 2001, 11 (02) : 157 - 179
  • [9] Data Flow Based Test Case Generation Algorithm for Object Oriented Integration Testing
    Waheed, Shahzada Zeeshan
    Qamar, Usman
    PROCEEDINGS OF 2015 6TH IEEE INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND SERVICE SCIENCE, 2015, : 423 - 427
  • [10] AN APPROACH TO TESTING SPECIFICATIONS - PRELIMINARY DRAFT
    JARD, C
    VONBOCHMANN, G
    SIGPLAN NOTICES, 1983, 18 (08): : 53 - 59
12345