Automated black-box testing with abstract VDM oracles

被引：0

作者：

Aichernig, BK ^{[1
]}

机构：

[1] Graz Tech Univ, Inst Software Technol, A-8010 Graz, Austria

来源：

COMPUTER SAFETY, RELIABILITY AND SECURITY | 1999年 / 1698卷

关键词：

D O I：

暂无

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

In this paper the possibilities to automate black-box testing through formal requirement specifications are explored. More precisely, the formal method VDM (Vienna Development Method) serves to demonstrate that abstract requirement models can be used as test oracles for concrete software. The automation of the resulting testing frame-work is based on modern CASE-tools that support a light-weight approach to formal methods. The specification language used is VDM-SL, but the results are easily transferred into similar model oriented methods such as B, Z or RAISE.

引用

页码：250 / 259

页数：10

共 28 条

[1] Abrial J., 2005, The B-book: Assigning Programs to Meanings
[2] AGERHOLM S, 1998, P 2 WORKSH FORM METH
[3] AICHERNIG BK, 1998, ISSRE 98 9 INT S SOF, P21
[4] AICHERNIG BK, 1998, TELEMATIK Z TELEMATI, V4, P2
[5] [Anonymous], THESIS U QUEENSLAND
[6] Beizer B., 2003, Software Testing Techniques
[7] BERNHARD K, 1997, FME 97 IND APPL STRE, V1313
[8] THE APPLICATION OF FORMAL METHODS TO THE ASSESSMENT OF HIGH INTEGRITY SOFTWARE
BLOOMFIELD, RE
FROOME, PKD
[J]. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1986, 12 (09) : 988 - 993
[9] DICK J, 1993, FME 93 IND STRENGTH
[10] DONAT MR, 1997, LECT NOTES COMPUTER, V1214, P833

← 1 2 3 →