4930 search results - page 78 / 986 » Testing a Safety-Critical Application |
140
Voted
ADAEUROPE
1997
Springer
15 years 9 months ago
1997
Springer
The systematic test is an inevitable part of the verification and validation process for software. Overall support for all testing activities is currently not available in a singl...
189
Voted
ISOOMS
1994
15 years 9 months ago
1994
The goal of this paper is to examine the testing of object-oriented systems and to compare and contrast it with the testing of conventional programming language systems, with empha...
124
click to vote
SE
2007
15 years 6 months ago
2007
: Automated test case and test driver generation from a precise behaviour UML model is an emerging approach for software functional validation. This innovative approach for validat...
145
click to vote
RTS
1998
15 years 4 months ago
1998
When developing multitasking real-time systems, schedulability tests are used to formally prove that a given task set will meet its deadlines. A wide range of such tests have appe...
146
click to vote
OOPSLA
2009
Springer
15 years 9 months ago
2009
Springer
Abstract—The Internet houses diverse applications (i.e., banking, networking, etc.), commonly implemented as web services. Web services are flexible but can become complex, maki...