Sökning: "Software Verification"

Visar resultat 1 - 5 av 155 avhandlingar innehållade orden Software Verification.

  1. 1. Early and Cost-Effective Software Fault Detection : Measurement and Implementation in an Industrial Setting

    Författare :Lars-Ola Damm; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; software; faults; defects; early fault detection; software process improvement;

    Sammanfattning : Avoidable rework consumes a large part of development projects, i.e. 20-80 percent depending on the maturity of the organization and the complexity of the products. High amounts of avoidable rework commonly occur when having many faults left to correct in late stages of a project. LÄS MER

  3. 2. Automated Deductive Verification of Safety-Critical Embedded Software

    Författare :Christian Lidström; Dilian Gurov; Musard Balliu; Bernhard Beckert; KTH; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; software sontracts; contract-based design; formal verification; deductive verification; contract inference; program instrumentation; embedded software; embedded systems; Frama-C; Datalogi; Computer Science;

    Sammanfattning : Embedded systems are everywhere in society, and in many industries, such as the automotive industry, embedded systems are safety-critical. Embedded systems are today also increasingly controlled by software, with advances in, for example, autonomous driving. LÄS MER

  4. 3. 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. 4. Developing Reusable and Reconfigurable Real-Time Software using Aspects and Components

    Författare :Aleksandra Tešanović; Jörgen Hansson; Heinz W. Schmidt; Linköpings universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; real-time systems; embedded systems; software components; aspect-oriented software; quality of service; worst-case execution time; database systems; Software engineering; Programvaruteknik;

    Sammanfattning : Our main focus in this thesis is on providing guidelines, methods, and tools for design, configuration, and analysis of configurable and reusable real-time software, developed using a combination of aspect-oriented and component-based software development. Specifically, we define a reconfigurable real-time component model (RTCOM) that describes how a real-time component, supporting aspects and enforcing information hiding, could efficiently be designed and implemented. LÄS MER

  7. 5. Software Robustness: From Requirements to Verification

    Författare :Ali Shahrokni; Chalmers tekniska högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; robustness; quality requirements; requirements patterns; robustness testing; requirements specification; non-functional requirements; requirements refinement;

    Sammanfattning : The importance of software quality increases as software products become more intertwined with our everyday lives. A critical software quality attribute is robustness, i.e. that the software shows stable behavior in stressful conditions and when receiving faulty inputs. LÄS MER