Testing Java']Java implementations of algebraic specifications

被引：1

作者：

Nunes, Isabel ^{[1
]}

Luis, Filipe ^{[1
]}

机构：

[1] Univ Lisbon, Fac Sci, Lisbon, Portugal

来源：

ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE | 2013年 / 111期

关键词：

D O I：

10.4204/EPTCS.111.4

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

In this paper we focus on exploiting a specification and the structures that satisfy it, to obtain a means of comparing implemented and expected behaviours and find the origin of faults in implementations. We present an approach to the creation of tests that are based on those specification-compliant structures, and to the interpretation of those tests' results leading to the discovery of the method responsible for an eventual test failure. Results of comparative experiments with a tool implementing this approach are presented.

引用

页码：35 / 50

页数：16

共 18 条

[1] Spectrum-based Multiple Fault Localization
Abreu, Rui
Zoeteweij, Peter
van Gemund, Arjan J. C.
[J]. 2009 IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING, PROCEEDINGS, 2009, : 88 - 99
[2] Bouillon P, 2007, LECT NOTES COMPUT SC, V4536, P101
[3] QuickCheck: A lightweight tool for random testing of Haskell programs
Claessen, K
Hughes, J
[J]. ACM SIGPLAN NOTICES, 2000, 35 (09) : 268 - 279
[4] Crispim P, 2011, LECT NOTES COMPUT SC, V6527, P33, DOI 10.1007/978-3-642-19829-8_3
[5] de Andrade Francisco R., 2012, Integrated Formal Methods. Proceedings 9th International Conference, IFM 2012, P296, DOI 10.1007/978-3-642-30729-4_21
[6] de Andrade FR, 2011, ICSOFT 2011: PROCEEDINGS OF THE 6TH INTERNATIONAL CONFERENCE ON SOFTWARE AND DATABASE TECHNOLOGIES, VOL 2, P192
[7] Gaudel M.C., 2008, FORMAL METHODS TESTI, DOI [10.1007/978-3-540-78917-8_7, DOI 10.1007/978-3-540-78917-8_7]
[8] A note on test oracles and semantics of algebraic specifications
Hong, Z
[J]. THIRD INTERNATIONAL CONFERENCE ON QUALITY SOFTWARE, PROCEEDINGS, 2003, : 91 - 98
[9] Hughes M., 1996, Proceedings of the 1996 International Symposium on Software Testing and Analysis (ISSTA), P53, DOI [10.1145/226295.226301, 10.1145/229000.226301]
[10] Jackson D, 2012, SOFTWARE ABSTRACTIONS: LOGIC, LANGUAGE, AND ANALYSIS, P1

← 1 2 →