[go: up one dir, main page]

Miller, 2006 - Google Patents

Special Feature Program Testing: Art Meets Theory

Miller, 2006

Document ID
3664915392355772338
Author
Miller E
Publication year
Publication venue
Computer

External Links

Snippet

The problems of providing quality assurance for computer software have received a good deal of attention from the computing community. Such areas as program proving, automatic programming, structured programming, and hierarchical design/development …
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/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/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/3608—Software analysis for verifying properties of programs using formal methods, e.g. model checking, abstract interpretation
    • 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
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F8/00—Arrangements for software engineering
    • G06F8/70—Software maintenance or management
    • 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
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F17/00—Digital computing or data processing equipment or methods, specially adapted for specific functions
    • 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
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F2201/00—Indexing scheme relating to error detection, to error correction, and to monitoring
    • G—PHYSICS
    • G01—MEASURING; TESTING
    • G01R—MEASURING ELECTRIC VARIABLES; MEASURING MAGNETIC VARIABLES
    • G01R31/00—Arrangements for testing electric properties; Arrangements for locating electric faults; Arrangements for electrical testing characterised by what is being tested not provided for elsewhere
    • G01R31/28—Testing of electronic circuits, e.g. by signal tracer
    • G01R31/317—Testing of digital circuits
    • G01R31/3181—Functional testing
    • G01R31/3183—Generation of test inputs, e.g. test vectors, patterns or sequence
    • 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

Similar Documents

Publication Publication Date Title
Watson et al. Structured testing: A testing methodology using the cyclomatic complexity metric
Rushby Quality measures and assurance for ai (artificial intelligence) software
Chen et al. Star: Stack trace based automatic crash reproduction via symbolic execution
Whittaker What is software testing? And why is it so hard?
Taha et al. An approach to software fault localization and revalidation based on incremental data flow analysis
US20170212829A1 (en) Deep Learning Source Code Analyzer and Repairer
Miller Special Feature Program Testing: Art Meets Theory
Selim et al. Model transformation testing: The state of the art
Pinconschi et al. A comparative study of automatic program repair techniques for security vulnerabilities
Zhao et al. Bugs4Q: A benchmark of existing bugs to enable controlled testing and debugging studies for quantum programs
Yang et al. A lightweight fault localization approach based on xgboost
Coward A review of software testing
CN116702738A (en) Operator defect detection method based on QL-UE algorithm and multi-test oracle
Richter et al. How to train your neural bug detector: Artificial vs real bugs
Milliken et al. Beyond pip install: Evaluating llm agents for the automated installation of python projects
Ramamoorthy et al. Reliability and integrity of large computer programs
Reuling et al. Automated n-way program merging for facilitating family-based analyses of variant-rich software
Ryser et al. On the State of the Art in Requirements-based Validation and Test of Software
Asghari et al. Effective software mutation-test using program instructions classification
Hao et al. Test-data generation guided by static defect detection
Amendola et al. Unit testing in ASP revisited: Language and test-driven development environment
Antal et al. PyBugHive: A Comprehensive Database of Manually Validated, Reproducible Python Bugs
Bradbury et al. Using combinatorial benchmark construction to improve the assessment of concurrency bug detection tools
Sujeetha et al. Analysis on mutation testing tools for smart contracts
Watson Structured testing: Analysis and extensions