3281 search results - page 4 / 657 » An Approach to use Executable Models for Testing |
81
Voted
SE
2007
15 years 1 months ago
2007
: Automated test case and test driver generation from a precise behaviour UML model is an emerging approach for software functional validation. This innovative approach for validat...
TACAS
2010
Springer
14 years 10 months ago
2010
Springer
We introduce JTorX, a tool for model-driven test derivation and execution, based on the ioco theory. This theory, originally presented in [12], has been refined in [13] with test-...
143
Voted
KDD
2003
ACM
16 years 24 days ago
2003
ACM
In today's industry, the design of software tests is mostly based on the testers' expertise, while test automation tools are limited to execution of pre-planned tests on...
126
Voted
EDOC
2011
IEEE
14 years 5 days ago
2011
IEEE
—In this paper, we present a UML metamodel-based approach for creating and executing workflow models. The modeling language is introduced through its abstract syntax, and an eval...
114
Voted
LOPSTR
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. In this paper we focus on the problem of testing agent programs written in BUpL, an executable, high-level modelling agent language. Our approach consists of two main ste...