Sciweavers

3031 search results - page 28 / 607
» Model Driven Testing Based on Test History
Sort
View
JOT
2010
130views more  JOT 2010»
13 years 7 months ago
Test Case Generation Based on State and Activity Models
Abstract We propose a novel testing technique for object-oriented programs. Based on the state and activity models of a system, we construct an intermediate representation, which w...
Santosh Kumar Swain, Durga Prasad Mohapatra, Rajib...
JSS
2010
104views more  JSS 2010»
13 years 3 months ago
Using hybrid algorithm for Pareto efficient multi-objective test suite minimisation
Test suite minimisation techniques seek to reduce the effort required for regression testing by selecting a subset of test suites. In previous work, the problem has been considere...
Shin Yoo, Mark Harman
HASE
2007
IEEE
14 years 11 days 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...
ICCS
2005
Springer
14 years 2 months ago
Model-Based Statistical Testing of a Cluster Utility
Abstract. As High Performance Computing becomes more collaborative, software certification practices are needed to quantify the credibility of shared applications. To demonstrate q...
W. Thomas Swain, Stephen L. Scott
EUROCAST
2009
Springer
132views Hardware» more  EUROCAST 2009»
14 years 3 months ago
Separation of Transitions, Actions, and Exceptions in Model-Based Testing
Model-based testing generates test cases from a high-level model. Current models employ extensions to finite-state machines. This work proposes a separation of transitions in the ...
Cyrille Artho