225 search results - page 13 / 45 » Model Based Test Generation for Microprocessor Architecture ... |
INFSOF
2007
13 years 7 months ago
2007
: Correct functioning of object-oriented software depends upon the successful integration of classes. While individual classes may function correctly, several new faults can arise ...
IMCSIT
2010
13 years 4 months ago
2010
The deployment of IEC61850 standard in the world of substation automation system brings to the use of specific strategies for architecture testing. To validate IEC61850 architectur...
ISSS
2002
IEEE
14 years 12 days ago
2002
IEEE
Currently, since many SoCs include heterogeneous components such as CPUs, DSPs, ASICs, memories, buses, etc., system integration becomes a major step in the design flow. To enable...
WSC
2000
13 years 8 months ago
2000
This paper discusses the use of simulation in a new context. Most often QUEST is viewed as a stand-alone simulation tool to analyze and understand shop floor behavior. It has rare...
FATES
2003
Springer
14 years 22 days ago
2003
Springer
Use of model-checking approaches for test generation from requirement models have been proposed by several researchers. These approaches leverage the witness (or counter-example) ...