Coverage testing of Java']Java programs and components

被引：20

作者：

Vincenzi, AMR

Maldonado, JC

Wong, WE

Delamaro, ME

机构：

[1] Univ Sao Paulo, Inst Ciencias Matemat & Computacao, BR-13560 Sao Carlos, SP, Brazil

[2] Univ Texas, Dept Comp Sci, Richardson, TX 75080 USA

[3] Ctr Univ Euripides Marilia, BR-17525901 Marilia, SP, Brazil

来源：

SCIENCE OF COMPUTER PROGRAMMING | 2005年 / 56卷 / 1-2期

基金：

巴西圣保罗研究基金会;

关键词：

!text type='Java']Java[!/text] program testing; !text type='Java']Java[!/text] component testing; !text type='Java']Java[!/text] bytecode; structural testing; control-flow testing; data-flow testing;

D O I：

10.1016/j.scico.2004.11.013

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

Although software testing is a crucial activity in the software development process, only recently have more sound and consistent testing tools become available for testing Java programs and their components. These tools support mostly functional and control-flow based structural criteria. In this paper we explore control-flow and data-flow based coverage criteria to support the testing of Java programs and/or components. We also describe a testing tool, named JaBUTi, which can be used by both the component developer and the component user to test Java-based components and/or systems. To achieve this goal, the tool works at the bytecode level such that no source code is required during the testing activity. We illustrate these ideas and concepts with an example extracted from the literature. (c) 2004 Elsevier B.V. All rights reserved.

引用

页码：211 / 230

页数：20

共 28 条

[21] A reverse engineering approach for software testing of object-oriented programs [J].

Kung, D ;

Hsia, P .

ASSET'99: 1999 IEEE SYMPOSIUM ON APPLICATION-SPECIFIC SYSTEMS AND SOFTWARE ENGINEERING & TECHNOLOGY - PROCEEDINGS, 1999, :42-49

[22] Data Flow Testing for PLC Programs via Dynamic Symbolic Execution [J].

He, Weigang ;

Mao, Xia ;

Su, Ting ;

Huang, Yanhong ;

Shi, Jianqi .

2021 28TH ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE (APSEC 2021), 2021, :152-160

[23] A data flow-based structural testing technique for FBD programs [J].

Jee, Eunkyoung ;

Yoo, Junbeom ;

Cha, Sungdeok ;

Bae, Doohwan .

INFORMATION AND SOFTWARE TECHNOLOGY, 2009, 51 (07) :1131-1139

[24] Fault Coverage Analysis Using Fault Model and. Functional Testing for DPM Reduction [J].

Thilak, K. R. ;

Gayathri, S. .

2015 INTERNATIONAL CONFERENCE ON EMERGING RESEARCH IN ELECTRONICS, COMPUTER SCIENCE AND TECHNOLOGY (ICERECT), 2015, :76-81

[25] Control and data flow structural testing criteria for aspect-oriented programs [J].

Lazzarini Lemos, Otavio Augusto ;

Rizzo Vincenzi, Auri Marcelo ;

Maldonado, Jose Carlos ;

Masiero, Paulo Cesar .

JOURNAL OF SYSTEMS AND SOFTWARE, 2007, 80 (06) :862-882

[26] Integration testing of object-oriented components using finite state machines [J].

Gallagher, Leonard ;

Offutt, Jeff ;

Cincotta, Anthony .

SOFTWARE TESTING VERIFICATION & RELIABILITY, 2006, 16 (04) :215-266

[27] Multi-Axial Subassemblage Testing System for Hybrid Simulation With Large-Scale Structural Components [J].

Pizarro, Diego ;

Kovarbasic, Milan ;

Abbiati, Giuseppe ;

Stojadinovic, Bozidar .

EARTHQUAKE ENGINEERING & STRUCTURAL DYNAMICS, 2025, 54 (08) :2084-2105

[28] Components integration-effect graph: a black box testing and test case generation technique for component-based software [J].

Tiwari U.K. ;

Kumar S. .

International Journal of System Assurance Engineering and Management, 2017, 8 (02) :393-407

← 1 2 3 →