37 search results - page 1 / 8 » A Conformance Test Suite of Localized LOM Model |
ICALT
2003
IEEE
13 years 10 months ago
2003
IEEE
Since the approval of IEEE LOM Draft Standard and the advance of network-driven learning technology, a large number of resource database constructors, content developers and learn...
ENTCS
2007
13 years 4 months ago
2007
Abstract. Model-based testing has been proposed as a technique to automatically verify that a system conforms to its specification. A popular approach is to use a model-checker to...
TAICPART
2006
IEEE
13 years 11 months ago
2006
IEEE
Testing compositions of web services is complex, due to their distributed nature and asynchronous behaviour. However, research in this field is scarce. We propose a new testing me...
UML
2001
Springer
13 years 9 months ago
2001
Springer
: UMLAUT is a framework for building tools dedicated to the manipulation of models described using the Unified Modeling Language (UML). TGV is a tool for the generation of conforma...
PTS
2004
13 years 6 months ago
2004
In this paper, we propose two fault models and methods for the derivation of interoperability test suites when the system implementation is given in the form of two deterministic c...