Sciweavers

1598 search results - page 23 / 320
» Integrating Component Tests to System Tests
Sort
View
TAP
2008
Springer
144views Hardware» more  TAP 2008»
13 years 7 months ago
Integrating Verification and Testing of Object-Oriented Software
Formal methods can only gain widespread use in industrial software development if they are integrated into software development techniques, tools, and languages used in practice. A...
Christian Engel, Christoph Gladisch, Vladimir Kleb...
IJIIDS
2008
95views more  IJIIDS 2008»
13 years 7 months ago
Tightly-coupled GIS data in GNSS fix computations with integrity testing
: Global Navigation Satellite Systems (GNSS) are often used to localise a receiver with respect to a given map. This association problem, also known as map-matching, is usually add...
Clément Fouque, Philippe Bonnifait
COMPSAC
2001
IEEE
13 years 11 months ago
Scenario-Based Functional Regression Testing
Regression testing has been a popular quality assurance technique. Most regression testing techniques are based on code or software design. This paper proposes a scenario-based fu...
Raymond A. Paul, Lian Yu, Wei-Tek Tsai, Xiaoying B...
PTS
2003
115views Hardware» more  PTS 2003»
13 years 9 months ago
Realizing Distributed TTCN-3 Test Systems with TCI
Distributed test setups for efficient load, performance, scalability, interworking, and end-to-end tests are gaining importance for the assessment of distributed communicating syst...
Ina Schieferdecker, Theofanis Vassiliou-Gioles
WSC
1997
13 years 8 months ago
Integrated Medical Analysis System
This paper describes the Integrated Medical Analysis System. This evolving system consists of an integrated suite of models and tools providing quantitative and dynamic analysis f...
Susan L. Mabry, Samuel L. Rodriquez, James D. Heff...