Sciweavers

1215 search results - page 17 / 243
» Testing in the Distributed Test Architecture: An Extended Ab...
Sort
View
FATES
2003
Springer
14 years 22 days ago
Automatic Conformance Testing of Internet Applications
Abstract. We adapt and extend the theories used in the general framework of automated software testing in such a way that they become suitable for black-box conformance testing of ...
Harm M. A. van Beek, Sjouke Mauw
ISORC
2007
IEEE
14 years 1 months ago
Real-Time Dynamic Guarantee in Component-Based Middleware
This paper describes an extension to the componentbased programming model to support real-time dynamic guarantee for distributed applications. The extended model aims to include a...
Cássia Yuri Tatibana, Carlos Montez, R&ocir...
DATE
2010
IEEE
132views Hardware» more  DATE 2010»
14 years 18 days ago
A systematic approach to the test of combined HW/SW systems
Abstract—Today we can identify a big gap between requirement specification and the generation of test environments. This article extends the Classification Tree Method for Embe...
Alexander Krupp, Wolfgang Müller 0003
SIES
2007
IEEE
14 years 1 months ago
A Test Tool for FlexRay-based Embedded Systems
— In this paper we present an architecture for a test and diagnosis toolset for FlexRay-based automotive distributed networks. Next to data monitoring and recording, this toolset...
Martin Horauer, Oliver Praprotnik, Martin Zauner, ...
DLOG
2008
13 years 9 months ago
Locality and Subsumption Testing in EL and Some of its Extensions
Abstract. We show that subsumption problems in EL and related description logics can be expressed as uniform word problems in classes of semilattices with monotone operators. We us...
Viorica Sofronie-Stokkermans