Sökning: "software testing"

Visar resultat 36 - 40 av 286 avhandlingar innehållade orden software testing.

  1. 36. Targeted Property-Based Testing with Applications in Sensor Networks

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

    Sammanfattning : 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. LÄS MER

  3. 37. Automated System Level Software Testing of Networked Embedded Systems

    Författare :Per Erik Strandberg; Sundmark Daniel; Wasif Afzal; Elizabeth Bjarnason; Mälardalens högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Computer Science; datavetenskap;

    Sammanfattning : Embedded systems are ubiquitous and play critical roles in management systems for industry and transport. Software failures in these domains may lead to loss of production or even loss of life, so the software in these systems needs to be reliable. LÄS MER

  4. 38. Increasing Product Quality by Verification and Validation Improvements in an Industrial Setting

    Författare :Tomas Berling; Institutionen för datavetenskap; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Software Verification; Software Engineering; Software Validation; Process Improvement; Software Process Metrics; Factorial Design; Software Inspection; computer technology; Systems engineering; Data- och systemvetenskap;

    Sammanfattning : Large and complex software systems are developed as a tremendous engineering effort. The aim of the development is to satisfy the customer by delivering the right product, with the right quality, and on time. LÄS MER

  5. 39. On Industrial Automation Software Components

    Författare :Oscar Ljungkrantz; Chalmers tekniska högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; IEC 61131; Programmable Logic Controller PLC ; IEC 61499; formal verification; Manufacturing automation software; software reusability; Reusable Automation Component RAC ; software specification;

    Sammanfattning : This thesis deals with Programmable Logic Controller (PLC) programs in the manufacturing industry, that is to say programs that coordinate robots and machines. The last years there has been increased competition and shorter life-cycles of many mass-produced products. LÄS MER

  7. 40. Towards Automated Experiments in Software Intensive Systems

    Författare :David Issa Mattos; Chalmers tekniska högskola; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; embedded systems; web systems; multi-armed bandits; architecture framework; Controlled experiments; A B testing; experimentation process;

    Sammanfattning : Context: Delivering software that has value to customers is a primary concern of every software company. One of the techniques to continuously validate and deliver value in online software systems is the use of controlled experiments. LÄS MER