Paper Title:
Detecting Integer Bugs without Oracle Based on Metamorphic Testing Technique
  Abstract

Integer bugs are considered to be the rising threat to mission-critical software. For the oracle problem, testers always ignore integer bugs unless program throws an exception obviously. In this paper, we propose a general procedure based on metamorphic testing to detect integer bugs without oracle and a strategy of the metamorphic relation selection as the complement to T.Y.Chen’ one. The experiment result shows that our approach can detect some invisible mission-critical software failures caused by integer bugs, which are difficult to be found in conventional formal method.

  Info
Periodical
Chapter
Chapter 4: Mechatronics and Information
Edited by
Dongye Sun, Wen-Pei Sung and Ran Chen
Pages
1961-1965
DOI
10.4028/www.scientific.net/AMM.121-126.1961
Citation
S. Huang, M. Y. Ji, Z. W. Hui, Y. T. Duanmu, "Detecting Integer Bugs without Oracle Based on Metamorphic Testing Technique", Applied Mechanics and Materials, Vols. 121-126, pp. 1961-1965, 2012
Online since
October 2011
Export
Price
$32.00
Share

In order to see related information, you need to Login.

In order to see related information, you need to Login.

Authors: Gang Fang, Jiang Xiong, Xiao Bin Tang, Cheng Sheng Tu
Abstract:Since the algorithms of constraint frequent neighboring class set mining based on Apriori has some redundancy candidate constraint frequent...
1671
Authors: Yung Chien Lin
Chapter 11: Methods and Algorithms for Processing and Analysis of Data
Abstract:Evolutionary algorithms (EAs) are population-based global search methods. Memetic Algorithms (MAs) are hybrid EAs that combine genetic...
2970
Authors: Xiao Bin Tang, Yi Zhi Zhang
Chapter 5: Signal and Image Processing, Intelligent Recognition, Intelligent Algorithms and Methods, Сomputational Mathematics
Abstract:Spatial topological relation is an important and typical multilayer spatial relation, when Apriori is used to mining spatial constraint...
915
Authors: Wen Ge Yang, Wei Li, Jiang Zhao
Chapter 7: Communication, Signal and Image Processing, Data Acquisition and Recognation Technologies
Abstract:A processing method based on VFD Filter is proposed in this paper for implementing the high dynamic simulation of TT&C signal. The method...
3834