364 search results - page 2 / 73 » A UML-integrated Test Description Language for Component Tes... |
INLG
2010
Springer
13 years 2 months ago
2010
Springer
Critical software most often requires an independent validation and verification (IVV). IVV is usually performed by domain experts, who are not familiar with specific, many times ...
ENTCS
2010
13 years 2 months ago
2010
Testing and verification of asynchronously communicating objects in open environments are challenging due to non-determinism. We explore a formal approach for black-box testing by...
ICECCS
1997
IEEE
13 years 9 months ago
1997
IEEE
Software architectures can play a role in improving the testing process of complex systems. In particular, descriptions of the software architecture can be useful to drive integra...
DATE
2009
IEEE
13 years 11 months ago
2009
IEEE
– In this paper, we present an open architecture Virtual Test Environment (VTE) which can be easily integrated into various modularized Automatic Test Systems (ATS) compliant to ...
COMPSAC
2005
IEEE
13 years 10 months ago
2005
IEEE
Web services and service-oriented architecture are emerging technologies that are changing the way we develop and use computer software. Due to the standardization of web services...