210 search results - page 18 / 42 » On testing UML statecharts |
SE
2008
13 years 11 months ago
2008
We propose a new method for system validation by means of testing, which is based on environment models expressed as UML state machines. A sun blind control case study serves to il...
UML
2000
Springer
14 years 1 months ago
2000
Springer
Software testing can only be formalized and quanti ed when a solid basis for test generation can be de ned. Tests are commonly generated from program source code, graphical models ...
SAC
2008
ACM
13 years 9 months ago
2008
ACM
In this paper we investigate and propose a fully automated technique to perform conformance checking of Java implementations against UML class diagrams. In our approach, we reused...
MATES
2004
Springer
14 years 3 months ago
2004
Springer
Abstract. In this paper, an integrated approach for the modeling and the validation through simulation of multi-agent systems is proposed. The approach centers on the instantiation...
ER
2008
Springer
13 years 11 months ago
2008
Springer
The quality management of software models is an important issue. As a preparative task, the quality circle requires quality planning. After that a software model can repeat the seq...