Sciweavers

7766 search results - page 138 / 1554
» Testing Nondeterminate Systems
Sort
View
HASE
2007
IEEE
14 years 1 months ago
Model Validation using Automatically Generated Requirements-Based Tests
In current model-based development practice, validation that we are building a correct model is achieved by manually deriving requirements-based test cases for model testing. Mode...
Ajitha Rajan, Michael W. Whalen, Mats Per Erik Hei...
AUTOMATICA
2008
61views more  AUTOMATICA 2008»
13 years 9 months ago
Validity of the standard cross-correlation test for model structure validation
: The standard prediction error framework provides many theoretical results under the assumption that the true system is in the model class. An important example is the expression ...
Sippe G. Douma, Xavier Bombois, Paul M. J. Van den...
GI
2009
Springer
13 years 7 months ago
Specification based testing of automotive human machine interfaces
Abstract: Model based testing promises systematic test coverage in a continuous testing process. However, in practice, model based testing struggles with informal specifications, d...
Holger Grandy, Sebastian Benz
TAICPART
2006
IEEE
134views Education» more  TAICPART 2006»
14 years 3 months ago
Integration Testing of Components Guided by Incremental State Machine Learning
The design of complex systems, e.g., telecom services, is nowadays usually based on the integration of components (COTS), loosely coupled in distributed architectures. When compon...
Keqin Li 0002, Roland Groz, Muzammil Shahbaz
SAINT
2003
IEEE
14 years 2 months ago
Problems and Tentative solutions in InternetCAR testing with IPv6
Vehicle environment is a good testbed to investigate Internet mobility technologies. Based on testing of building, protocol implementation details and problems to deploy it will b...
Keisuke Uehara, Hideki Sunahara, Jun Murai