Sciweavers

6704 search results - page 145 / 1341
» Testing Scenario-Based Models
Sort
View
ICSE
2007
IEEE-ACM
16 years 6 months ago
Compatibility and Regression Testing of COTS-Component-Based Software
Software engineers frequently update COTS components integrated in component-based systems, and can often chose among many candidates produced by different vendors. This paper tac...
Leonardo Mariani, Mauro Pezzè, Sofia Papagi...
DATE
2008
IEEE
101views Hardware» more  DATE 2008»
16 years 27 days ago
A Game-Theoretic Approach to Real-Time System Testing
This paper presents a game-theoretic approach to the testing of uncontrollable real-time systems. By modelling the systems with Timed I/O Game Automata and specifying the test pur...
Alexandre David, Kim Guldstrand Larsen, Shuhao Li,...
SAFECOMP
2007
Springer
16 years 16 days ago
Improving Test Coverage for UML State Machines Using Transition Instrumentation
We discuss the problem of generating test suites from UML state machines and present a method to extend the capabilities of existing automated test case generators. Current tools p...
Mario Friske, Bernd-Holger Schlingloff
ISSRE
2003
IEEE
15 years 11 months ago
Requirements by Contracts allow Automated System Testing
Use-cases and scenarios have been identified as good inputs to generate test cases and oracles at requirement level. Yet to have an automated generation, information is missing f...
Clémentine Nebut, Franck Fleurey, Yves Le T...
MTDT
2000
IEEE
137views Hardware» more  MTDT 2000»
15 years 10 months ago
Diagnostic Testing of Embedded Memories Based on Output Tracing
A new approach to diagnostic testing of embedded memories is presented which enables the design of tests that provide complete detection and distinguishing of all faults in a give...
Dirk Niggemeyer, Elizabeth M. Rudnick, Michael Red...