Metamorphic fault tolerance: An automated and systematic methodology for fault tolerance in the absence of test oracle

36th International Conference on Software Engineering, ICSE Companion 2014 - Proceedings

Volumn , Issue , 2014, Pages 420-423

  Liu, Huai ^a   Yusuf, Iman I ^a   Schmidt, Heinz W ^a   Chen, Tsong Yueh ^b  

^a RMIT UNIVERSITY   (Australia)

^b SWINBURNE UNIVERSITY OF TECHNOLOGY   (Australia)

Author keywords

Fault tolerance; Metamorphic relation; Metamorphic testing; Oracle problem

Indexed keywords

SOFTWARE ENGINEERING; SOFTWARE TESTING; TESTING;

FAILURE DETECTION; METAMORPHIC RELATIONS; METAMORPHIC TESTING; ORACLE PROBLEM; SYSTEMATIC METHODOLOGY; TEST ORACLES;

FAULT TOLERANCE;

EID: 84903595645     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/2591062.2591109     Document Type: Conference Paper

References (14)

1. P. E. Ammann and J. C. Knight. Data diversity: An approach to software fault tolerance. IEEE T Comput, 37(4):418-425, 1988.
2. A. Avizienis. The N-version approach to fault-tolerant software. IEEE T Software Eng, 11(12):1491-1501, 1985.
3. A. Avizienis, J.-C. Laprie, B. Randell, and C. Landwehr. Basic concepts and taxonomy of dependable and secure computing. IEEE T Depend Secure, 1(1):11-33, 2004.
4. T. Y. Chen, F.-C. Kuo, H. Liu, and S. Wang. Conformance testing of network simulators based on metamorphic testing technique. In Proceedings of FORTE'09, pages 243-248, 2009.
5. T. Y. Chen, T. H. Tse, and Z. Zhou. Semi-proving: An integrated method for program proving, testing, and debugging. IEEE T Software Eng, 37(1):109-125, 2011.
6. P. Hu, Z. Zhang, W. K. Chan, and T. H. Tse. An empirical comparison between direct and indirect test result checking approaches. In Proceedings of SOQUA'06, pages 6-13, 2006.
7. J. C. Knight and N. G. Leveson. An experimental evaluation of the assumption of independence in multiversion programming. IEEE T Software Eng, 12(1):96-109, 1986.
8. H. Liu, F.-C. Kuo, D. Towey, and T. Y. Chen. How effectively does metamorphic testing alleviate the oracle problem? IEEE T Software Eng, in press.
9. G. J. Myers. The Art of Software Testing. John Wiley and Sons, second edition, 2004.
10. D. S. Rosenblum. A practical approach to programming with assertions. IEEE T Software Eng, 21(1):19-31, 1995.
11. C.-A. Sun, G. Wang, B. Mu, H. Liu, Z. Wang, and T. Y. Chen. Metamorphic testing for web services: Framework and a case study. In Proceedings of ICWS'11, pages 283-290, 2011.
12. P. Wu. Iterative metamorphic testing. In Proceedings of COMPSAC'05, volume 1, pages 19-24, 2005.
13. X. Xie, W. E. Wong, T. Y. Chen, and B. Xu. Metamorphic slice: An application in spectrum-based fault localization. Inform Software Tech, 55(5):866-879, 2013.
14. I. I. Yusuf, H. W. Schmidt, and I. D. Peake. Architecture-based fault tolerance support for grid applications. In Proceedings of QoSA'11, pages 177-182, 2011.