Combinational metamorphic testing in integer vulnerabilities detection.
Saved in:
| Title: | Combinational metamorphic testing in integer vulnerabilities detection. |
|---|---|
| Authors: | Yao, Yi1 (AUTHOR), Liu, Jialuo1 (AUTHOR) 17551037134@163.com, Zhu, Jing1,2 (AUTHOR), Gu, Xiaodong3 (AUTHOR) |
| Source: | Journal of Computational Methods in Sciences & Engineering (Sage Publications Inc.). 2020, Vol. 20 Issue 4, p1053-1061. 9p. |
| Subjects: | Integers, Mathematical combinations |
| Abstract: | Integer vulnerability is a common and hidden problem of software security. Even mature software written by experienced programmers cannot avoid integer vulnerability. Therefore, it is very important for testers to detect the bugs. However, testing the bugs will face the test oracle problem. As far as we know, the metamorphic testing can effectively alleviate the test oracle problem. In this paper, a method of combinational metamorphic relations (CMR) is proposed, which solves the test oracle problem and is more effective than metamorphic relation for Integer vulnerability detection. A case study results shows that the combinational metamorphic relations are more effective in bugs-detection than the single metamorphic relations. [ABSTRACT FROM AUTHOR] |
| Copyright of Journal of Computational Methods in Sciences & Engineering (Sage Publications Inc.) is the property of Sage Publications Inc. and its content may not be copied or emailed to multiple sites without the copyright holder's express written permission. Additionally, content may not be used with any artificial intelligence tools or machine learning technologies. However, users may print, download, or email articles for individual use. This abstract may be abridged. No warranty is given about the accuracy of the copy. Users should refer to the original published version of the material for the full abstract. (Copyright applies to all Abstracts.) | |
| Database: | Engineering Source |
Be the first to leave a comment!
