Search for dissertations about: "language testing"

Showing result 11 - 15 of 116 swedish dissertations containing the words language testing.

  2. 11. Testing English Collocations : Developing Receptive Tests for Use with Advanced Swedish Learners

    Author : Henrik Gyllstad; Engelska; []
    Keywords : HUMANIORA; HUMANITIES; foreign languages teaching; Applied linguistics; Språkinlärning; Language learning; vocabulary size; learning level; Swedish advanced learners of English; validity; second language vocabulary acquisition; test development; reliability; collocation; language testing; sociolinguistics; Tillämpad lingvistik; undervisning i främmande språk; sociolingvistik; English language and literature; Engelska språk och litteratur ;

    Abstract : The research reported in this thesis has two main aims. The first aim is to develop tests capable of yielding reliable and valid scores of receptive knowledge of English collocations as a single construct, for use with advanced L2 learners of English. READ MORE

  4. 12. Formal Methods for Testing Grammars

    Author : Inari Listenmaa; Göteborgs universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES;

    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. READ MORE

  5. 13. Language-Based Techniques and Stochastic Models for Automated Testing

    Author : Claudio Agustin Mista; Chalmers tekniska högskola; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; automated testing; software testing; stochastic methods; meta-programming; functional programming;

    Abstract : As software systems become bigger and scarier, automating their testing is crucial to ensure that our confidence in them can keep up with their growth. In this setting, Generational Fuzzing and Random Property-Based Testing are two sides of the same testing technique that can help us find bugs effectively without having to spend countless hours writing unit tests by hand. READ MORE

  6. 14. Model-Based Protocol Testing in an Erlang Environment

    Author : Johan Blom; Bengt Jonsson; Sven-Olof Nyström; Bernhard Aichernig; Uppsala universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Testing; Erlang; Model-Based Testing; Symbolic Execution; Communication Protocols; Datavetenskap; Computer Science;

    Abstract : Testing is the dominant technique for quality assurance of software systems. It typically consumes considerable resources in development projects, and is often performed in an ad hoc manner. This thesis is concerned with model-based testing, which is an approach to make testing more systematic and more automated. READ MORE

  7. 15. Contracts and Computation — Formal modelling and analysis for normative natural language

    Author : John J. Camilleri; Göteborgs universitet; []
    Keywords : SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; normative texts; contract analysis; controlled natural language; model checking;

    Abstract : Whether we are aware of it or not, our digital lives are governed by contracts of various kinds, such as privacy policies, software licenses, service agreements, and regulations. At their essence, normative documents like these dictate the permissions, obligations, and prohibitions of two or more parties entering into an agreement, including the penalties which must be paid when someone breaks the rules. READ MORE