[go: up one dir, main page]

Cheraghi et al., 2020 - Google Patents

Automatic detection of infeasible ALL-DU paths in the data flow test using an evolutionary approach

Cheraghi et al., 2020

Document ID
5802633889850360937
Author
Cheraghi A
Hasheminejad S
Publication year
Publication venue
2020 6th Iranian Conference On Signal Processing And Intelligent Systems (ICSPIS)

External Links

Snippet

The infeasible path indicates that no input can execute the code anyway. The infeasible path is a kind of defect that is easily visible in software development and is also one of the most important defects in the software's white box test. And the main reason for the program's …
Continue reading at ieeexplore.ieee.org (other versions)

Classifications

    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F11/00—Error detection; Error correction; Monitoring
    • G06F11/36—Preventing errors by testing or debugging software
    • G06F11/3668—Software testing
    • G06F11/3672—Test management
    • G06F11/3676—Test management for coverage analysis
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F11/00—Error detection; Error correction; Monitoring
    • G06F11/36—Preventing errors by testing or debugging software
    • G06F11/3604—Software analysis for verifying properties of programs
    • G06F11/3612—Software analysis for verifying properties of programs by runtime analysis
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F11/00—Error detection; Error correction; Monitoring
    • G06F11/36—Preventing errors by testing or debugging software
    • G06F11/3668—Software testing
    • G06F11/3672—Test management
    • G06F11/3688—Test management for test execution, e.g. scheduling of test suites
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F11/00—Error detection; Error correction; Monitoring
    • G06F11/36—Preventing errors by testing or debugging software
    • G06F11/362—Software debugging
    • G06F11/3636—Software debugging by tracing the execution of the program
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F11/00—Error detection; Error correction; Monitoring
    • G06F11/30—Monitoring
    • G06F11/34—Recording or statistical evaluation of computer activity, e.g. of down time, of input/output operation; Recording or statistical evaluation of user activity, e.g. usability assessment
    • G06F11/3409—Recording or statistical evaluation of computer activity, e.g. of down time, of input/output operation; Recording or statistical evaluation of user activity, e.g. usability assessment for performance assessment
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F8/00—Arrangements for software engineering
    • G06F8/40—Transformations of program code
    • G06F8/41—Compilation
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06N—COMPUTER SYSTEMS BASED ON SPECIFIC COMPUTATIONAL MODELS
    • G06N5/00—Computer systems utilising knowledge based models
    • G06N5/02—Knowledge representation
    • G06N5/022—Knowledge engineering, knowledge acquisition
    • G06N5/025—Extracting rules from data
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F9/00—Arrangements for programme control, e.g. control unit
    • G06F9/06—Arrangements for programme control, e.g. control unit using stored programme, i.e. using internal store of processing equipment to receive and retain programme
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06Q—DATA PROCESSING SYSTEMS OR METHODS, SPECIALLY ADAPTED FOR ADMINISTRATIVE, COMMERCIAL, FINANCIAL, MANAGERIAL, SUPERVISORY OR FORECASTING PURPOSES; SYSTEMS OR METHODS SPECIALLY ADAPTED FOR ADMINISTRATIVE, COMMERCIAL, FINANCIAL, MANAGERIAL, SUPERVISORY OR FORECASTING PURPOSES, NOT OTHERWISE PROVIDED FOR
    • G06Q10/00—Administration; Management
    • G06Q10/06—Resources, workflows, human or project management, e.g. organising, planning, scheduling or allocating time, human or machine resources; Enterprise planning; Organisational models
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F21/00—Security arrangements for protecting computers, components thereof, programs or data against unauthorised activity
    • G06F21/50—Monitoring users, programs or devices to maintain the integrity of platforms, e.g. of processors, firmware or operating systems
    • G06F21/55—Detecting local intrusion or implementing counter-measures
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F21/00—Security arrangements for protecting computers, components thereof, programs or data against unauthorised activity
    • G06F21/50—Monitoring users, programs or devices to maintain the integrity of platforms, e.g. of processors, firmware or operating systems
    • G06F21/57—Certifying or maintaining trusted computer platforms, e.g. secure boots or power-downs, version controls, system software checks, secure updates or assessing vulnerabilities
    • G06F21/577—Assessing vulnerabilities and evaluating computer system security
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06N—COMPUTER SYSTEMS BASED ON SPECIFIC COMPUTATIONAL MODELS
    • G06N99/00—Subject matter not provided for in other groups of this subclass

Similar Documents

Publication Publication Date Title
Baresel et al. Fitness function design to improve evolutionary structural testing
Shen et al. Automating performance bottleneck detection using search-based application profiling
US8108826B2 (en) Code-coverage guided prioritized test generation
Hermadi et al. Dynamic stopping criteria for search-based test data generation for path testing
Del Grosso et al. Improving network applications security: a new heuristic to generate stress testing data
Scanniello Source code survival with the Kaplan Meier
Baluda et al. Bidirectional symbolic analysis for effective branch testing
Jalbert et al. Predicting mutation score using source code and test suite metrics
Mohi-Aldeen et al. Application of Negative Selection Algorithm (NSA) for test data generation of path testing
Boopathi et al. Quantification of software code coverage using artificial bee colony optimization based on Markov approach
Majumdar et al. D-cube: tool for dynamic design discovery from multi-threaded applications using pin
CN112765031A (en) Decomposition method of crowd-sourcing vulnerability mining task
Zhang et al. Machine Learning-Based Fuzz Testing Techniques: A Survey
Metta et al. BMC+ Fuzz: Efficient and effective test generation
Saumya et al. Xstressor: Automatic generation of large-scale worst-case test inputs by inferring path conditions
Cheraghi et al. Automatic detection of infeasible ALL-DU paths in the data flow test using an evolutionary approach
Parnami et al. A survey on generation of test cases and test data using artificial intelligence techniques
Debbarma et al. Static and dynamic software metrics complexity analysis in regression testing
Ozawa et al. How do software metrics affect test case prioritization?
CN107203469B (en) A Machine Learning-Based Compiler Test Acceleration Method
Poulding et al. A principled evaluation of the effect of directed mutation on search-based statistical testing
Maragathavalli et al. Automatic program instrumentation in generation of test data using genetic algorithm for multiple paths coverage
Rose et al. Efficient probabilistic testing of model transformations using search
Bhushan et al. Number of test cases required in achieving statement, branch and path coverage using ‘gcov’: An analysis
Anbunathan et al. Basis path based test suite minimization using genetic algorithm