Search for dissertations about: "computer based testing"

Showing result 1 - 5 of 319 swedish dissertations containing the words computer based testing.

  2. 1. Testing for ASP—ASP for Testing

    Author : Johannes Oetsch; Hans Tompits; Österreich Technische Universität Wien Institut für Logic and Computation; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Logic Programming; Answer-Set Programming; Mutation Testing; Random Testing; Structural Testing; Unit Testing; Program Annotations; Combinatorial Interaction Testing; Event-Sequence Testing; Programming Support;

    Abstract : Answer-set programming (ASP) is a prominent approach for declarative problem solving with roots in non-monotonic reasoning, knowledge representation, and logic programming. As a problem solving paradigm, it means that properties of problem solutions are modelled using declarative rules so that an ASP solver can then be used to search for solutions which are referred to as answer sets. READ MORE

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

  5. 3. Targeted Property-Based Testing with Applications in Sensor Networks

    Author : Andreas Löscher; Konstantinos Sagonas; Thiemo Voigt; John Hughes; Uppsala universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Software Testing; Search-Based Software Testing; Property-Based Testing; Datavetenskap; Computer Science;

    Abstract : Testing is a fundamental part of modern software development, as it unveils bugs in the system under test and gives confidence in their correctness. Testing is often a laborious task as it typically requires to write by hand a plethora of test cases to test a system thoroughly. READ MORE

  6. 4. A Mutation-based Framework for Automated Testing of Timeliness

    Author : Robert Nilsson; Sten F. Andler; Michael G. Hinchey; Linköpings universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Automated Testing; Timeliness; Real-time systems; Time constraints; Model-based; Mutation testing; Computer science; Datalogi;

    Abstract : A problem when testing timeliness of event-triggered real-time systems is that response times depend on the execution order of concurrent tasks. Conventional testing methods ignore task interleaving and timing and thus do not help determine which execution orders need to be exercised to gain confidence in temporal correctness. READ MORE

  7. 5. Server-Aided Privacy-Preserving Proximity Testing

    Author : Ivan Oleinikov; Chalmers tekniska högskola; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; active security; MPC; privacy; secure proximity testing;

    Abstract : Proximity testing is at the core of many Location-Based online Services (LBS) which we use in our daily lives to order taxis, find places of interest nearby, connect with people. Currently, most such services expect a user to submit his location to them and trust the LBS not to abuse this information, and use it only to provide the service. READ MORE