Sciweavers

3031 search results - page 2 / 607
» Model Driven Testing Based on Test History
Sort
View
UML
2004
Springer
14 years 21 days ago
Test Driven Development of UML Models with SMART Modeling System
Abstract. We are developing a methodology of Test-Driven Development of Models (TDDM) based on an experimental UML2.0 modeling tool SMART. Our experience shows that TDDM is quite u...
Susumu Hayashi, Pan YiBing, Masami Sato, Kenji Mor...
IEAAIE
2005
Springer
14 years 26 days ago
A Holistic Approach to Test-Driven Model Checking
Abstract. Testing is the most common validation method in the software industry. It entails the execution of the software system in the real environment. Nevertheless, testing is a...
Fevzi Belli, Baris Güldali
ECBS
2005
IEEE
160views Hardware» more  ECBS 2005»
14 years 29 days ago
Traceability-Driven Model Refinement for Test Case Generation
Testing complex Computer-Based Systems is not only a demanding but a very critical task. Therefore the use of models for generating test data is an important goal. Tool support du...
Matthias Riebisch, Michael Hübner
TACAS
2010
Springer
316views Algorithms» more  TACAS 2010»
13 years 5 months ago
JTorX: A Tool for On-Line Model-Driven Test Derivation and Execution
We introduce JTorX, a tool for model-driven test derivation and execution, based on the ioco theory. This theory, originally presented in [12], has been refined in [13] with test-...
Axel Belinfante
TSE
2011
180views more  TSE 2011»
13 years 2 months ago
Developing a Single Model and Test Prioritization Strategies for Event-Driven Software
—Event-Driven Software (EDS) can change state based on incoming events; common examples are GUI and web applications. These EDS pose a challenge to testing because there are a la...
Renée C. Bryce, Sreedevi Sampath, Atif M. M...