Using Formal Specifications to Support Testing

被引：221

作者：

Hierons, Robert M. ^{[1
]}

Bogdanov, Kirill ^{[2
]}

Bowen, Jonathan P. ^{[3
]}

Cleaveland, Rance ^{[4
]}

Derrick, John ^{[2
]}

Dick, Jeremy ^{[5
]}

Gheorghe, Marian ^{[2
]}

Harman, Mark ^{[3
]}

Kapoor, Kalpesh ^{[6
]}

Krause, Paul ^{[7
]}

Luettgen, Gerald ^{[8
]}

Simons, Anthony J. H. ^{[2
]}

Vilkomir, Sergiy ^{[9
]}

Woodward, Martin R.

Zedan, Hussein ^{[10
]}

机构：

[1] Brunel Univ, Sch Informat Syst Comp & Math, Uxbridge UB8 3PH, Middx, England

[2] Univ Sheffield, Dept Comp Sci, Sheffield S1 4DP, S Yorkshire, England

[3] Kings Coll London, London WC2R 2LS, England

[4] Univ Maryland, Fraunhofer Ctr Expt Software Engn, College Pk, MD 20742 USA

[5] Integrate Syst Engn Ltd, Bath BA1 7AE, Avon, England

[6] Indian Inst Technol, Dept Math, Gauhati 781039, India

[7] Univ Surrey, Sch ECM, Surrey GU2 7XH, England

[8] Univ York, Dept Comp Sci, York Y010 5DD, N Yorkshire, England

[9] E Carolina Univ, Dept Comp Sci, Greenville, NC 27858 USA

[10] De Montfort Univ, Software Technol Lab, Leicester LE1 9BH, Leics, England

来源：

ACM COMPUTING SURVEYS | 2009年 / 41卷 / 02期

基金：

英国工程与自然科学研究理事会;

关键词：

Reliability; Verification; Software testing; formal methods; FINITE-STATE MACHINES; ERROR-DETECTION CAPABILITY; TEST SEQUENCE GENERATION; MODEL CHECKING; REAL-TIME; ALGEBRAIC SPECIFICATIONS; HYBRID CONTROL; FAULT CLASSES; TEST SETS; SOFTWARE;

D O I：

10.1145/1459352.1459354

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

Formal methods and testing are two important approaches that assist in the development of high-quality software. While traditionally these approaches have been seen as rivals, in recent years a new consensus has developed in which they are seen as complementary. This article reviews the state of the art regarding ways in which the presence of a formal specification can be used to assist testing.

引用

页数：76

共 280 条

[1]

Abrial Jean-Raymond, 1996, The B-Book - Assigning Programs to Meanings

[2]

AERTRYCK LV, 1997, ICFEM 97

[3]

Aho A.V., 1988, P IEEE 8 INT S PROT, P75

[4] Formal specification techniques as a catalyst in validation [J].

Aichernig, BK ;

Gerstinger, A ;

Aster, R .

FIFTH IEEE INTERNATIONAL SYMPOSIUM ON HIGH ASSURANCE SYSTEMS ENGINEERING, PROCEEDINGS, 2000, :203-206

[5]

Aichernig BK, 1999, LECT NOTES COMPUT SC, V1698, P250

[6]

AICHERNIG BK, 2001, THESIS GRAZ U TECHNO

[7]

AICHERNIG BK, 2001, LECT NOTES COMPUTER, V2021, P571

[8]

ALAMAYREH A, 1999, P 20 INT C INF SYST, P400

[9]

ALLEN S, 1996, P 3 INT C ACH QUAL S, P341

[10] A THEORY OF TIMED AUTOMATA [J].

ALUR, R ;

DILL, DL .

THEORETICAL COMPUTER SCIENCE, 1994, 126 (02) :183-235

← 1 2 3 4 5 6 7 8 9 10 →