Fault Models and Test Generation for Hardware-Software Covalidation.
Ian G. HarrisPublished in: IEEE Des. Test Comput. (2003)
Keyphrases
- test generation
- hardware software
- fault models
- model based diagnosis
- hardware and software
- test cases
- embedded systems
- fault management
- fault model
- design methodology
- multi core processors
- quality assurance
- horn clauses
- conflict resolution
- high performance computing
- static analysis
- hardware design
- software testing
- computer systems
- high level
- source code
- expert systems