588 search results - page 26 / 118 » Using UML Environment Models for Test Case Generation |
116
Voted
EMSOFT
2008
Springer
15 years 2 months ago
2008
Springer
The Simulink/Stateflow (SL/SF) environment from Mathworks is becoming the de facto standard in industry for model based development of embedded control systems. Many commercial to...
123
Voted
FMCO
2008
Springer
15 years 2 months ago
2008
Springer
Abstract. This paper presents a unified approach to test case generation and conformance test execution in a distributed setting. A model in the object-oriented, concurrent modelin...
88
Voted
ET
1998
15 years 4 days ago
1998
Defining information required by automatic test systems frequently involves a description of system behavior. To facilitate capturing the required behavior information in the cont...
113
Voted
HIS
2007
15 years 1 months ago
2007
Genetic programming is known to provide good solutions for many problems like the evolution of network protocols and distributed algorithms. In such cases it is most likely a hard...
114
Voted
TOOLS
2000
IEEE
15 years 4 months ago
2000
IEEE
This paper presents a method and a tool for building trustable OO components. The methodology is based on an integrated design and test approach for OO software components. It is ...