The Inverter's SHEPWM Nonlinear Model Solved by Isolation of Polynomial's Real Roots
Chunfang Zheng, Bo Zhang, Dongyuan Qiu, Xiangmin Xu, Zhihong Mi · International Conference on Intelligent Systems Design and Engineering Applications · 2013
The integer errors are harmful for the security of software. Because of the Test Oracle problem, integer bugs are always ignored. Metamorphic Testing can prove a way to determine the correctness of testing outputs with metamorphic relations between a series of outputs that correspond to a series of inputs, based on necessary properties of software under testing. In this paper, a metamorphic relationship is proposed which can detect invisible integer bugs without oracle. It is shown in our case study that this method can detect some invisible errors which are difficult to be found in conventional approach and improve the efficiency of integer bugs detection.