View graphs for analysis and testing of programs at different abstraction levels

被引：5

作者：

Gossens, S ^{[1
]}

Belli, F ^{[1
]}

Beydeda, S ^{[1
]}

Dal Cin, M ^{[1
]}

机构：

[1] Framatome ANP GmbH, D-91058 Erlangen, Germany

来源：

NINTH IEEE INTERNATIONAL SYMPOSIUM ON HIGH-ASSURANCE SYSTEMS ENGINEERING | 2005年

关键词：

CHECKING;

D O I：

10.1109/HASE.2005.27

中图分类号：

TP3 [计算技术、计算机技术];

学科分类号：

0812 ;

摘要：

This paper introduces view graphs, which allow representation of source code for program analysis and testing at different levels of abstraction. At a low level of abstraction, view graphs can be used for while-box analysis and testing, and at a high level of abstraction, they can be used for black-box analysis and testing. View graphs are thus an approach to integrate black-box and white-box techniques.

引用

页码：121 / 130

页数：10

共 36 条

[1] AN OPTIMIZATION TECHNIQUE FOR PROTOCOL CONFORMANCE TEST-GENERATION BASED ON UIO SEQUENCES AND RURAL CHINESE POSTMAN TOURS
AHO, AV
DAHBURA, AT
LEE, D
UYAR, MU
[J]. IEEE TRANSACTIONS ON COMMUNICATIONS, 1991, 39 (11) : 1604 - 1615
[2] [Anonymous], PROBL CYBERN
[3] Finite state testing and analysis of graphical user interfaces
Belli, F
[J]. 12TH INTERNATIONAL SYMPOSIUM ON SOFTWARE RELIABILITY ENGINEERING, PROCEEDINGS, 2001, : 34 - 43
[4] State of the art in testing components
Beydeda, S
Gruhn, V
[J]. THIRD INTERNATIONAL CONFERENCE ON QUALITY SOFTWARE, PROCEEDINGS, 2003, : 146 - 153
[5] A graphical class representation for integrated black- and white-box testing
Beydeda, S
Gruhn, V
Stachorski, M
[J]. IEEE INTERNATIONAL CONFERENCE ON SOFTWARE MAINTENANCE, PROCEEDINGS: SYSTEMS AND SOFTWARE EVOLUTION IN THE ERA OF THE INTERNET, 2001, : 706 - 715
[6] BEYDEDA S, 2000, SEA SOFTW ENG APPL C, P23
[7] BEYDEDA S, 2003, THESIS U LEIPZIG
[8] BOCHMANN GV, 1994, P INT S SOFTW TEST A, P109
[9] TESTING SOFTWARE DESIGN MODELED BY FINITE-STATE MACHINES
CHOW, TS
[J]. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1978, 4 (03) : 178 - 187
[10] TEST SELECTION BASED ON FINITE STATE MODELS
FUJIWARA, S
BOCHMANN, GV
KHENDEK, F
AMALOU, M
GHEDAMSI, A
[J]. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1991, 17 (06) : 591 - 603

← 1 2 3 4 →