[go: up one dir, main page]

Nativ et al., 2001 - Google Patents

Cost evaluation of coverage directed test generation for the IBM mainframe

Nativ et al., 2001

View PDF
Document ID
13981454531963945742
Author
Nativ G
Mittennaier S
Ur S
Ziv A
Publication year
Publication venue
Proceedings International Test Conference 2001 (Cat. No. 01CH37260)

External Links

Snippet

Test generation and simulation tools have input stimuli that can direct them to cover specific events. However, the cost of completely covering a verification plan is still very high. While coverage analysis tools can find events that have not been covered, they do not provide an …
Continue reading at www.academia.edu (PDF) (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
    • G06F17/00—Digital computing or data processing equipment or methods, specially adapted for specific functions
    • G06F17/50—Computer-aided design
    • G06F17/5009—Computer-aided design using simulation
    • G06F17/5022—Logic simulation, e.g. for logic circuit operation
    • 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
    • G06F9/46—Multiprogramming arrangements
    • 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
    • G06F11/00—Error detection; Error correction; Monitoring
    • G06F11/36—Preventing errors by testing or debugging software
    • G06F11/362—Software debugging
    • 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
    • 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/3457—Performance evaluation by simulation
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F8/00—Arrangements for software engineering
    • G06F8/30—Creation or generation of source code
    • 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
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F2217/00—Indexing scheme relating to computer aided design [CAD]

Similar Documents

Publication Publication Date Title
Davis et al. The software development system
Ur et al. Micro architecture coverage directed generation of test programs
US8402438B1 (en) Method and system for generating verification information and tests for software
Wang et al. FlexCL: An analytical performance model for OpenCL workloads on flexible FPGAs
Khan et al. Using predictivemodeling for cross-program design space exploration in multicore systems
Kim et al. Performance testing of mobile applications at the unit test level
Katz et al. Learning microarchitectural behaviors to improve stimuli generation quality
Kaushik et al. SystemC-clang: an open-source framework for analyzing mixed-abstraction SystemC models
US12001771B2 (en) Variant model-based compilation for analog simulation
Nativ et al. Cost evaluation of coverage directed test generation for the IBM mainframe
Liang et al. FlexCL: A model of performance and power for OpenCL workloads on FPGAs
Lin et al. Concolic testing of SystemC designs
Engels et al. Towards model-driven unit testing
Kamkin et al. Extensible environment for test program generation for microprocessors
JP2004118842A (en) Method of providing enhanced dynamic system simulation ability outside original modelling environment
Herber The rescue approach-towards compositional hardware/software co-verification
Lewin et al. A methodology for processor implementation verification
Tinnerholm et al. OpenModelica. jl: A modular and extensible Modelica compiler framework in Julia targeting ModelingToolkit. jl
Cordeiro et al. Intrinsics-hmc: An automatic trace generator for simulations of processing-in-memory instructions
Kraus et al. Deployment of containerized simulations in an API-driven distributed infrastructure
Lenz et al. Model driven testing of SOA-based software
Lutz et al. Testing tools (software)
del Mar Gallardo et al. Towards model checking c code with open/cæsar
Alkindi et al. Dynamic instrumentation and performance prediction of application execution
Dinh et al. Statistical assertion: A more powerful method for debugging scientific applications