Sciweavers

4095 search results - page 105 / 819
» How to test a tree
Sort
View
FMCO
2006
Springer
109views Formal Methods» more  FMCO 2006»
14 years 1 months ago
Model-Based Testing of Environmental Conformance of Components
Abstract. In component-based development, the correctness of a system depends on the correctness of the individual components and on their interactions. Model-based testing is a wa...
Lars Frantzen, Jan Tretmans
ICSE
2009
IEEE-ACM
14 years 2 months ago
The Compliance Testing of Software Tools with Respect to the UML Standards Specification - The ArgoUML Case Study
In ICSE’08 we demonstrated the Java UML Lightweight Enumerator (JULE) tool, which supports compliance test generation from modeling standards specifications. When employed in ou...
Panuchart Bunyakiati, Anthony Finkelstein
DAGSTUHL
2004
13 years 11 months ago
Audition of Web Services for Testing Conformance to Open Specified Protocols
Abstract. A Web Service (WS) is a type of component specifically conceived for distributed machine-to-machine interaction. Interoperability between WSs involves both data and messa...
Antonia Bertolino, Lars Frantzen, Andrea Polini, J...
DOLAP
2009
ACM
14 years 4 months ago
A comprehensive approach to data warehouse testing
Testing is an essential part of the design life-cycle of any software product. Nevertheless, while most phases of data warehouse design have received considerable attention in the...
Matteo Golfarelli, Stefano Rizzi
AIIDE
2009
13 years 11 months ago
Computational Support for Play Testing Game Sketches
Early-stage game prototypes need to be informative without requiring excessive commitments. Paper prototypes are frequently used as a way of trying out core mechanics while leavin...
Adam M. Smith, Mark J. Nelson, Michael Mateas