Search for dissertations about: "tool for software testing"

Showing result 11 - 15 of 78 swedish dissertations containing the words tool for software testing.

  2. 11. Tool Support for Enterprise Architecture Analysis : with application in cyber security

    Author : Markus Buschle; Pontus Johnson; Stephan Aier; KTH; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Enterprise Architecture; Decision-making; Model-based analysis; Property analysis; Cyber security; Software tool; Design Science; Electrical Engineering; Elektro- och systemteknik;

    Abstract : In today’s companies, business processes and information technology areinterwoven. Old and new systems as well as off-the-shelf products and tailoredsolutions are used. This results in heterogeneous, often complex ITlandscapes. The impact of changes and the affected systems are difficult toidentify. READ MORE

  4. 12. Verification Based Failure Detection for Real-Time Java and Floating-Point Computations

    Author : Gabriele Paganelli; Chalmers tekniska högskola; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; Debugging; Floating-Point; Formal Methods; Testing; Real-Time Java; Coverage; Satisfiability Modulo Theories; Certification; Formal Specification;

    Abstract : To err is human, and machines help us avoiding errors. This thesis presents two ways, based on verification technology, to prevent failures.Safety critical Real-Time Java applications usually need a certification. Tests fulfilling specific coverage criteria can be part of such certification, like in the DO-178 standard. READ MORE

  5. 13. Automatic test generation for industrial control software

    Author : Eduard Enoiu; Daniel Sundmark; Mats Heimdahl; Mälardalens högskola; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; automatic test generation; software testing; automated test generation; Computer Science; datavetenskap;

    Abstract : Since the early days of software testing, automatic test generation has been suggested as a way of allowing tests to be created at a lower cost. However, industrially useful and applicable tools for automatic test generation are still scarce. READ MORE

  6. 14. On Industrial Automation Software Components

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

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

  7. 15. Automatic generation of configurable test-suites for software product lines

    Author : Vanderson Hafemann Fragal; Mohammad Reza Mousavi; Adenilso da Silva Simão; Andrzej Wasowski; Högskolan i Halmstad; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES;

    Abstract : Software Product Line Engineering (SPLE) is an approach used in the development of similar products, which aims at systematic reuse of software artifacts. The SPLE process has several activities executed to assure software quality. READ MORE