A Negative Input Space Complexity Metric as Selection Criterion for Fuzz Testing

被引:0
|
作者
Schneider, Martin A. [1 ]
Wendland, Marc-Florian [1 ]
Hoffmann, Andreas [1 ]
机构
[1] Fraunhofer FOKUS, D-10589 Berlin, Germany
来源
TESTING SOFTWARE AND SYSTEMS, ICTSS 2015 | 2015年 / 9447卷
关键词
Security testing; Risk-based testing; Fuzz testing; Security metrics;
D O I
10.1007/978-3-319-25945-1_17
中图分类号
TP31 [计算机软件];
学科分类号
081202 ; 0835 ;
摘要
Fuzz testing is an established technique in order to find zero-day-vulnerabilities by stimulating a system under test with invalid or unexpected input data. However, fuzzing techniques still generate far more test cases than can be executed. Therefore, different kinds of risk-based testing approaches are used for test case identification, selection and prioritization. In contrast to many approaches that require manual risk analysis, such as fault tree analysis, failure mode and effect analysis, and the CORAS method, we propose an automated approach that takes advantage of an already shown correlation between interface complexity and error proneness. Since fuzzing is a negative testing approach, we propose a complexity metric for the negative input space that measures the boundaries of the negative input space of primitive types and complex data types. Based on this metric, the assumed most error prone interfaces are selected and used as a starting point for fuzz test case generation. This paper presents work in progress.
引用
收藏
页码:257 / 262
页数:6
相关论文
共 50 条
  • [1] Crossing the Streams: Fuzz testing with user input
    Cottam, Joseph A.
    Blaha, Leslie
    Zarzhitsky, Dimitri
    Thomas, Mathew
    Skomski, Elliott
    2017 IEEE INTERNATIONAL CONFERENCE ON BIG DATA (BIG DATA), 2017, : 4362 - 4371
  • [2] NONLINEAR DISTANCE METRIC CRITERION FOR FEATURE SELECTION IN MEASUREMENT SPACE
    KITTLER, J
    INFORMATION SCIENCES, 1975, 9 (04) : 359 - 363
  • [3] A Call for Mandatory Input Validation and Fuzz Testing
    Koien, Geir M.
    Overlier, Lasse
    WIRELESS PERSONAL COMMUNICATIONS, 2025, 140 (1-2) : 25 - 37
  • [4] Efficient Fuzz Testing Leveraging Input, Code, and Execution
    Havrikov, Nikolas
    PROCEEDINGS OF THE 2017 IEEE/ACM 39TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING COMPANION (ICSE-C 2017), 2017, : 417 - 420
  • [5] MORPHUZZ: Bending (Input) Space to Fuzz Virtual Devices
    Bulekov, Alexander
    Das, Bandan
    Hajnoczi, Stefan
    Egele, Manuel
    PROCEEDINGS OF THE 31ST USENIX SECURITY SYMPOSIUM, 2022, : 1221 - 1238
  • [6] DYNAMIC TESTING COMPLEXITY METRIC
    VOAS, J
    SOFTWARE QUALITY JOURNAL, 1992, 1 (02) : 101 - 114
  • [7] Model information metric based on selection criterion
    Duan, XJ
    Du, XY
    Wang, ZM
    2002 INTERNATIONAL CONFERENCE ON MACHINE LEARNING AND CYBERNETICS, VOLS 1-4, PROCEEDINGS, 2002, : 467 - 471
  • [8] A SPACE IN WHICH CONVERGENCE CRITERION DETERMINES METRIC
    BOONE, JR
    NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY, 1970, 17 (04): : 689 - &
  • [9] On the Complexity of Input Output Conformance Testing
    Noroozi, Neda
    Mousavi, Mohammad Reza
    Willemse, Tim A. C.
    FORMAL ASPECTS OF COMPONENT SOFTWARE, 2014, 8348 : 291 - 309
  • [10] AN EXAMPLE OF A METRIC SPACE WITH FINITE DECOMPOSITION COMPLEXITY
    Jiang, Siwen
    Wu, Yan
    JOURNAL OF NONLINEAR FUNCTIONAL ANALYSIS, 2022, 2022