Search for dissertations about: "testing writing"

Showing result 1 - 5 of 21 swedish dissertations containing the words testing writing.

  2. 1. 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

  4. 2. Testing and Proving using Narrowing

    Author : Fredrik Lindblad; Göteborgs universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; program correctness; software testing; formal verification; proof construction; dependent types; type theory; narrowing; dependent types;

    Abstract : In order to know if a program is correct a specification of its intended behaviour must be stated. The two main activities concerning program correctness are testing and verification. READ MORE

  5. 3. Self-Assessment of Writing in Learning English as a Foreign Language. A Study at the Upper Secondary School Level

    Author : Anne Dragemark Oscarson; Göteborgs universitet; []
    Keywords : HUMANIORA; HUMANITIES; SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; self-assessment; assessment; language education; EFL; writing; lifelong learning; feedback;

    Abstract : The main aim of this study is to explore the role of self-assessment in EFL learning in developing lifelong language learning skills and in furthering the development of more comprehensive and thereby fairer assessment practices. The study explores how upper secondary school students perceived their own general and specific writing abilities in relation to syllabus goals and whether these perceptions are affected by self-assessment practices. READ MORE

  6. 4. Quality of Test Design in Test Driven Development

    Author : Adnan Čaušević; Sasikumar Punnekkat; Henry Muccini; Mälardalens högskola; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; agile; software testing; test driven development; quality of tests; developer testing; test design quality; Computer Science; datavetenskap;

    Abstract : One of the most emphasised software testing activities in an Agile environment is the usage of the Test Driven Development (TDD) approach. TDD is a development activity where test cases are created by developers before writing the code, and all for the purpose of guiding the actual development process. READ MORE

  7. 5. Prometheus at the wheel : Representations of road transport informatics

    Author : Oskar Juhlin; Linköpings universitet; []
    Keywords : SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; Ethnography; engineering; representational practice; testing; technical demonstration; constructivism; road transport informatics; intelligent transportation systems; situated practice; INTERDISCIPLINARY RESEARCH AREAS; TVÄRVETENSKAPLIGA FORSKNINGSOMRÅDEN;

    Abstract : The dissertation deals with the challenge of developing information technology for road transport, a field often referred to as Road Transport Informatics. Oskar Juhlin studies in particular how engineers cope with the contingent and social aspects of the design process and of road use. READ MORE