This paper presents a set of tools designed for testing the Czech syntax parser that is being developed at the Natural Language Processing Centre at theMasaryk University, synt. Testing the parser against a newly created phrasal tree corpora is very important for future development of the parser and its grammar. The usage of the test suite is not restricted to the synt parser but is open to wid...

• General approach for the systematic verification of code generators • Seamless test case derivation (process) based on formal specification (i.e. graph transformation rule) • A method is suggested to create test input data for model and code using automated structural test • Results are suitable for making general assumptions about whether or not the code generator’s behaviour is correct Cont...

Theoretically, conformance yields interworking and interoperability. However, experience has shown problems even when systems are conforming to the same standard. By having a glimpse at its methodology, conformance testing addresses the tested system as an isolated entity. Prior to real procurement, on the other hand, network operators apply a set of modifications that make a system applicable ...

For the past 17 years, much of the work on combinatorial auctions (CAs) has used the Combinatorial Auction Test Suite (CATS) by Leyton-Brown et al. [24]. However, CATS does not include a good model for spectrum auctions, which have become the most important application of CAs. In this paper, we make four contributions. First, we propose the Multi-Region Value Model (MRVM) which captures the dif...

Software testing is an expensive, time consuming, important activity that controls the quality of the software and important part of the software development and the maintenance. In testing the time is spent mainly for generating test cases and to test them. Whenever the software product gets modified, a group of the test cases has to be re-executed and the new output has to be compared with ol...

This paper presents ParTes, the first test suite in Spanish and Catalan for parsing qualitative evaluation. This resource is a hierarchical test suite of the representative syntactic structure and argument order phenomena. ParTes proposes a simplification of the qualitative evaluation by contributing to the automatization of this task.

Mutual Information is an information theoretic measure designed to quantify the amount of similarity between two random variables ranging over sets. In this paper, we adapt concept and show how it can be used select a good test suite from Finite State Machine (FSM) based on maximise diversity approach. The main goal paper use in order suites FSMs evaluate whether obtain better results, concerni...

We have drawn together in this paper a collection of magnetohydrodynamic (MHD) problems that will provide researchers who have interests in modeling MHD phenomena with a battery of tests (a \test suite") for calibrating their numerical algorithms. Use of these tests will provide a common reference for comparison of di erent numerical MHD algorithms. The test suite includes both one and two dime...

___________________________________________________________________________________________________ Software testing occurs simultaneously during the software development to detect errors as early as possible and to guarantee that changes made in software did not change the system negatively. However, during the development phase, the test suite is efficient and tends to increase in size. Due t...

Recently, there have been various attempts to set up a test suite covering the syntactic phenomena of a natural language (cp. [Flickinger et al. 1989], [Nerbonne et al. 1993]). The latest e ort is the TSNLP project (Test Suite for Natural Language Processing) within the Linguistic Research and Engineering (LRE) framework sponsored by the European Union (cp. [Balkan et al. 1994]). These test sui...