arrow
返回

AIM: Automated Input Set Minimization for Metamorphic Security Testing

delete2024-12-01
delete0
delete
OA
AI
N
Nazanin Bayati Chaleshtari *
Y
Yoann Marquer
F
Fabrizio Pastore
L
Lionel Briand
DOI:10.1109/TSE.2024.3488525delete
delete原文链接
delete原文求助
delete分享
delete收藏
摘要

摘要

En 中文
Although the security testing of Web systems can be automated by generating crafted inputs, solutions to automate the test oracle, i.e., vulnerability detection, remain difficult to apply in practice. Specifically, though previous work has demonstrated the potential of metamorphic testing-security failures can be determined by metamorphic relations that turn valid inputs into malicious inputs-metamorphic relations are typically executed on a large set of inputs, which is time-consuming and thus makes metamorphic testing impractical. We propose AIM, an approach that automatically selects inputs to reduce testing costs while preserving vulnerability detection capabilities. AIM includes a clustering-based black-box approach, to identify similar inputs based on their security properties. It also relies on a novel genetic algorithm to efficiently select diverse inputs while minimizing their total cost. Further, it contains a problem-reduction component to reduce the search space and speed up the minimization process. We evaluated the effectiveness of AIM on two well-known Web systems, Jenkins and Joomla, with documented vulnerabilities. We compared AIM's results with four baselines involving standard search approaches. Overall, AIM reduced metamorphic testing time by 84% for Jenkins and 82% for Joomla, while preserving the same level of vulnerability detection. Furthermore, AIM significantly outperformed all the considered baselines regarding vulnerability coverage.
Keyword:
Testing
Security
Software
Uniform resource locators
Minimization
Costs
Reactive power
Software reliability
Search problems
Scalability
System security testing
metamorphic testing
test suite minimization
many-objective search

期刊

IEEE Transactions on Software Engineering 封面图
IEEE Transactions on Software Engineering
IF:
5.6
论文数:
2.9K
被引数:
1.1W

机构

U
University of Ottawa
学者数:
3.5W
论文数: 3.1W
被引数: 3.8W
U
university of luxembourg
学者数:
5.2K
论文数: 4.8K
被引数: 4
引用论文

引用论文

Karyotype and FISH analysis of a newly established cell line derived from a human bladder carcinoma
err1993-06-01
err0
PREAI
errBernard Perissel; Moncef Benkhalifa; Jacques Taillandier; Nicole Dastugue; Olga Haus; Françoise Charbonné; Bernard Giraud; Paul Malet
err分享
err收藏
Geopolitics and discourse地缘政治与话语
err1992-03-01
err0
PREAI
errGearóid Ó Tuathail; John Agnew
err分享
err收藏
err分享
err收藏
An Examination of the Diagnostic Efficiency of Post‐Deployment Mental Health Screens
err2012-07-19
err0
PREAI
errNancy A. Skopp; Robert Swanson; David D. Luxton; Mark A. Reger; Lily Trofimovich; Michael First; James Maxwell; Gregory A. Gahm
err分享
err收藏
A Model for Bias Potential Effects on the Effective Langmuir Adsorption–Desorption Processes
err2021-05-17
err0
errOAAI
errLuiz Roberto Evangelista; Giovanni Barbero; Anca Luiza Alexe-Ionescu
err分享
err收藏
学者 查看更多内容