Sciweavers

364 search results - page 7 / 73
» A UML-integrated Test Description Language for Component Tes...
Sort
View
79
Voted
ERLANG
2003
ACM
15 years 3 months ago
Automated test generation for industrial Erlang applications
We present an implemented technique for generating test cases from state machine specifications. The work is motivated by a need for testing of protocols and services developed b...
Johan Blom, Bengt Jonsson
ICST
2009
IEEE
15 years 4 months ago
WS-TAXI: A WSDL-based Testing Tool for Web Services
Web Services (WSs) are the W3C-endorsed realization of the Service-Oriented Architecture (SOA). Since they are supposed to be implementation-neutral, WSs are typically tested blac...
Cesare Bartolini, Antonia Bertolino, Eda Marchetti...
DFT
2007
IEEE
123views VLSI» more  DFT 2007»
15 years 4 months ago
Checker Design for On-line Testing of Xilinx FPGA Communication Protocols
In the paper, a methodology of developing checkers for communication protocol testing is presented. It was used to develop checker to test IP cores communication protocol implemen...
Martin Straka, Jiri Tobola, Zdenek Kotásek
71
Voted
QSIC
2003
IEEE
15 years 3 months ago
Validating Use-Cases with the AsmL Test Tool
The Abstract State Machine Language supports use-case oriented modeling in a faithful way. In this paper we discuss how the AsmL test tool, a new component of the AsmL tool environ...
Michael Barnett, Wolfgang Grieskamp, Wolfram Schul...
86
Voted
ACL
2010
14 years 8 months ago
Grammar Prototyping and Testing with the LinGO Grammar Matrix Customization System
This demonstration presents the LinGO Grammar Matrix grammar customization system: a repository of distilled linguistic knowledge and a web-based service which elicits a typologic...
Emily M. Bender, Scott Drellishak, Antske Fokkens,...