Sciweavers

1890 search results - page 1 / 378
» Model-Based Testing in Practice
Sort
View
FM
2005
Springer
92views Formal Methods» more  FM 2005»
13 years 10 months ago
Model-Based Testing in Practice
Alexander Pretschner
ASWSD
2006
Springer
13 years 8 months ago
TestML - A Test Exchange Language for Model-Based Testing of Embedded Software
Abstract. Test processes in the automotive industry are tool-intensive and affected by technologically heterogeneous test infrastructures. In the industrial practice a product has ...
Juergen Grossmann, Ines Fey, Alexander Krupp, Mirk...
ECBS
2010
IEEE
200views Hardware» more  ECBS 2010»
13 years 2 months ago
Improving Testing of Enterprise Systems by Model-Based Testing on Graphical User Interfaces
Software development and testing of Enterprise Resource Planning (ERP) systems demands dedicated methods to tackle its special features. As manual testing is not able to systematic...
Sebastian Wieczorek, Alin Stefanescu
IICAI
2007
13 years 6 months ago
Automated Test Generation from Models Based on Functional Software Specifications
The paper presents first results of a project that aims at building a model-based tool for functional testing of control software for passenger vehicles. The objective is that this...
Michael Esser, Peter Struss
IJCAI
2007
13 years 6 months ago
Model-Based Optimization of Testing through Reduction of Stimuli
The paper presents the theoretical foundations and an algorithm to reduce the efforts of testing physical systems. A test is formally described as a set of stimuli (inputs to the ...
Peter Struss