• No results found

Formal Methods for Testing Grammars

N/A
N/A
Info
Download
Protected

Academic year: 2021

Share "Formal Methods for Testing Grammars"

Copied!
2
0
0

Loading.... (view fulltext now)

Download now ( 2 Page )

Full text

(1)

Formal Methods for Testing Grammars

Inari Listenmaa

The defence of this thesis for the degree of Doctor of Philosophy will be held in room EC, H¨orsalsv¨agen 11,

Chalmers University of Technology, on Friday 8th March, 2019 at 10:00.

Faculty opponent: Fred Karlsson University of Helsinki

Department of Computer Science and Engineering Chalmers University of Technology and University of Gothenburg

SE-412 96 Gothenburg, Sweden Telephone +46 (0)31-772 1000

(2)

Abstract

Grammar engineering has a lot in common with software engineering.

Analogous to a program specification, we use descriptive grammar books;

in place of unit tests, we have gold standard corpora and test cases for manual inspection. And just like any software, our grammars still contain bugs: grammatical sentences that are rejected, ungrammatical sentences that are parsed, or grammatical sentences that get the wrong parse.

This thesis presents two contributions to the analysis and quality con- trol of computational grammars of natural languages. Firstly, we present a method for finding contradictory grammar rules in Constraint Grammar, a robust and low-level formalism for part-of-speech tagging and shallow parsing. Secondly, we generate minimal and representative test suites of example sentences that cover all grammatical constructions in Gram- matical Framework, a multilingual grammar formalism based on deep structural analysis.

Keywords

Grammatical Framework, Constraint Grammar, Satisfiability, Test Case Generation, Grammar Analysis

ISBN 978-91-7833-322-6

References

Download now ( PDF - 2 Page - 107.07 KB )

Related documents

Testing for motivation to engage in improvements: a conceptual framework and an initial empirical test

Fishbein and Ajzen’s Theory for Reasoned Action (Ajzen and Fishbein, 1980) and Ajzen’s Theory for Planned Behavior (TPB) (Ajzen 1991) have received support (e.g., Conner,

Perfects and iamitives: two gram types in one grammatical space

A gram (Bybee and Dahl, 1989) is a grammatical item in a particular language with specific form and specific meaning and/or function. Examples are the English

Using Word Embedding to Generate Cloze Sentences

This project has shown that word embedding via word2vec can possibly be used for cloze sentence generation, where a substantial minority of generated were assumed to be of

The grammar of engagement I: framework and initial exemplification

demonstratives function to coordinate the interlocutors’ shared attentional focus. In the simplest case, the demonstrative is used to direct the addressee’s attention to a

Test method for high acceleration: A concept study of methods for testing electrical and mechanical components under high loads

gathering information regarding what products are in need of testing, what methods and test benches are currently on the market, what can SAAB develop on their own, and what

A Framework for Effective Test Charter Design for Exploratory Testing

With respect to the first research question, this step coordinates the various derived concepts related to charters such as exploratory testing process, session based test

A minimal test for convex games and the Shapley value

The purpose of this paper is threefold: (i) to provide a number of necessary and sufficient conditions on the unanimity coefficients α T for the game to be convex, (ii) to show that

A Component-Testing Framework

When a test case is created direct access to the component methods is possible, but it would also be possible to run test code from the test case.. As can be seen in figure 7