210 search results - page 19 / 42 » On testing UML statecharts |
SAFECOMP
2007
Springer
14 years 4 months ago
2007
Springer
We discuss the problem of generating test suites from UML state machines and present a method to extend the capabilities of existing automated test case generators. Current tools p...
UML
2004
Springer
14 years 3 months ago
2004
Springer
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...
ICSE
2009
IEEE-ACM
13 years 7 months ago
2009
IEEE-ACM
Model driven functional system testing generates test scenarios from behavioural and structural models. In order to autmatically generate tests, conditions such as invariants and ...
MODELS
2007
Springer
14 years 4 months ago
2007
Springer
Abstract. In this paper, we deal with model-based automatic test generation. We show how to use UML state machines, UML class diagrams, and OCL expressions to automatically derive ...
SIGSOFT
2001
ACM
14 years 10 months ago
2001
ACM
This article explores a dual approach to real-time software development. Models are written in UML, as this is expected to be relatively easy and economic. Then models are automat...