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
基金
英国工程与自然科学研究理事会;
关键词
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 条
[11]  
ALUR R, 1990, LECT NOTES COMPUT SC, V443, P322, DOI 10.1007/BFb0032042
[12]  
Alur R, 2000, LECT NOTES COMPUT SC, V1790, P6
[13]  
Alur Rajeev, 1992, LNCS, P209, DOI [DOI 10.1007/3-540-57318-6, DOI 10.1007/3-540-57318-6_30]
[14]  
AMBERT F, 2002, FORMAL APPROACHES TE, P105
[15]  
AMLA N, 1992, COMPASS 92 7 ANN C C, P15
[16]  
AMMANN P, 1994, COMPASS '94 - PROCEEDINGS OF THE NINTH ANNUAL CONFERENCE ON COMPUTER ASSURANCE, P69, DOI 10.1109/CMPASS.1994.318466
[17]   Using model checking to generate tests from specifications [J].
Ammann, PE ;
Black, PE ;
Majurski, W .
SECOND INTERNATIONAL CONFERENCE ON FORMAL ENGINEERING METHODS, PROCEEDINGS, 1998, :46-54
[18]  
AMMANN PE, 2000, P INT WORKSH AUT PRO, P64
[19]  
[Anonymous], LNCS
[20]  
[Anonymous], 1999, REC Z 100 SPEC DESCR