2419 search results - page 110 / 484 » A Formal Approach to Software Testing |
128
click to vote
DSRT
2005
IEEE
15 years 9 months ago
2005
IEEE
It is common practice to build complex systems from disparate sub-systems. Model composability is concerned with techniques for developing a whole model of a system from the model...
116
click to vote
ET
2002
15 years 3 months ago
2002
In this paper we explore two alternative approaches to system diagnosis. The first strategy is based on testability analysis performed by SATAN tool. The second approach performed ...
155
click to vote
SNPD
2008
15 years 4 months ago
2008
: Software for safety-critical systems has to deal with the hazards identified by safety analysis in order to make the system safe, risk-free and fail-safe. Software safety is a co...
118
click to vote
DAC
1999
ACM
15 years 7 months ago
1999
ACM
The purpose of this paper is to develop a exible design for test methodology for testing a core-based system on chip SOC . The novel feature of the approach is the use an embedde...
113
click to vote
UML
2001
Springer
15 years 7 months ago
2001
Springer
: Though it is widely recognized that object-oriented methodologies are most effective in developing large scale software, it is still dif cult to apply high level computer support...