[go: up one dir, main page]

Aissi, 2002 - Google Patents

Test vector generation: Current status and future trends

Aissi, 2002

Document ID
861988357414491152
Author
Aissi S
Publication year
Publication venue
Software Quality Professional

External Links

Snippet

In recent years, the use of embedded processors as controllers has exploded. Embedded microprocessor-based controllers are showing up everywhere, from the most sophisticated safetycritical applications, such as avionies systems, to everyday consumer products, sueh …
Continue reading at search.proquest.com (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/3664—Environments for testing or debugging software
    • 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/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/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
    • G06F8/00—Arrangements for software engineering
    • G06F8/30—Creation or generation of source code
    • G06F8/36—Software reuse
    • 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
    • G06F8/43—Checking; Contextual analysis
    • G06F8/436—Semantic checking
    • G06F8/437—Type checking
    • 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
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F8/00—Arrangements for software engineering
    • G06F8/20—Software design

Similar Documents

Publication Publication Date Title
Offutt et al. Generating test data from SOFL specifications
Gargantini et al. Using Spin to generate tests from ASM specifications
Baresi et al. PLCTools: design, formal validation, and code generation for programmable controllers
Delplanque et al. Rotten green tests
Bigot et al. Automatic test generation with AGATHA
Uchitel et al. Behaviour model elaboration using partial labelled transition systems
Bartocci et al. FIM: fault injection and mutation for Simulink
Hofer et al. Iec 61131-3 software testing: A portable solution for native applications
Kirshin et al. A UML simulator based on a generic model execution engine
Vos et al. FITTEST: A new continuous and automated testing process for future internet applications
Berard Issues in the testing of object-oriented software
Zhao et al. Towards regression test selection for AspectJ programs
Aissi Test vector generation: Current status and future trends
Guduvan et al. A Meta-model for Tests of Avionics Embedded Systems.
Zheng et al. Regression test selection for black-box dynamic link library components
Aichernig et al. Towards symbolic model-based mutation testing: Pitfalls in expressing semantics as constraints
Merilinna et al. Verification and validation in the context of domain-specific modelling
Aljamaan et al. Towards tracing at the model level
Grieskamp et al. Action machines-towards a framework for model composition, exploration and conformance testing based on symbolic computation
Xu et al. Automated test code generation from class state models
Kanstrén A framework for observation-based modelling in model-based testing
Repasi Software testing-State of the art and current research challanges
Hariharan et al. Breakpoint: Stress-testing systems-level reasoning in LLM agents
Benz AspectT: aspect-oriented test case instantiation
Kelsen A simple static model for understanding the dynamic behavior of programs