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 |
| FullText | Links: – Type: pdflink Text: Availability: 0 |
|---|---|
| Header | DbId: egs DbLabel: Engineering Source An: 148314872 AccessLevel: 6 PubType: Academic Journal PubTypeId: academicJournal PreciseRelevancyScore: 0 |
| IllustrationInfo | |
| Items | – Name: Title Label: Title Group: Ti Data: Combinational metamorphic testing in integer vulnerabilities detection. – Name: Author Label: Authors Group: Au Data: <searchLink fieldCode="AR" term="%22Yao%2C+Yi%22">Yao, Yi</searchLink><relatesTo>1</relatesTo> (AUTHOR)<br /><searchLink fieldCode="AR" term="%22Liu%2C+Jialuo%22">Liu, Jialuo</searchLink><relatesTo>1</relatesTo> (AUTHOR)<i> 17551037134@163.com</i><br /><searchLink fieldCode="AR" term="%22Zhu%2C+Jing%22">Zhu, Jing</searchLink><relatesTo>1,2</relatesTo> (AUTHOR)<br /><searchLink fieldCode="AR" term="%22Gu%2C+Xiaodong%22">Gu, Xiaodong</searchLink><relatesTo>3</relatesTo> (AUTHOR) – Name: TitleSource Label: Source Group: Src Data: <searchLink fieldCode="JN" term="%22Journal+of+Computational+Methods+in+Sciences+%26+Engineering+%28Sage+Publications+Inc%2E%29%22">Journal of Computational Methods in Sciences & Engineering (Sage Publications Inc.)</searchLink>. 2020, Vol. 20 Issue 4, p1053-1061. 9p. – Name: Subject Label: Subjects Group: Su Data: <searchLink fieldCode="DE" term="%22Integers%22">Integers</searchLink><br /><searchLink fieldCode="DE" term="%22Mathematical+combinations%22">Mathematical combinations</searchLink> – Name: Abstract Label: Abstract Group: Ab Data: 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] – Name: AbstractSuppliedCopyright Label: Group: Ab Data: <i>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.</i> (Copyright applies to all Abstracts.) |
| PLink | https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&db=egs&AN=148314872 |
| RecordInfo | BibRecord: BibEntity: Identifiers: – Type: doi Value: 10.3233/JCM-194105 Languages: – Code: eng Text: English PhysicalDescription: Pagination: PageCount: 9 StartPage: 1053 Subjects: – SubjectFull: Integers Type: general – SubjectFull: Mathematical combinations Type: general Titles: – TitleFull: Combinational metamorphic testing in integer vulnerabilities detection. Type: main BibRelationships: HasContributorRelationships: – PersonEntity: Name: NameFull: Yao, Yi – PersonEntity: Name: NameFull: Liu, Jialuo – PersonEntity: Name: NameFull: Zhu, Jing – PersonEntity: Name: NameFull: Gu, Xiaodong IsPartOfRelationships: – BibEntity: Dates: – D: 01 M: 10 Text: 2020 Type: published Y: 2020 Identifiers: – Type: issn-print Value: 14727978 Numbering: – Type: volume Value: 20 – Type: issue Value: 4 Titles: – TitleFull: Journal of Computational Methods in Sciences & Engineering (Sage Publications Inc.) Type: main |
| ResultId | 1 |
