Search for dissertations about: "Software verification thesis"
Showing result 1 - 5 of 155 swedish dissertations containing the words Software verification thesis.
-
1. Early and Cost-Effective Software Fault Detection : Measurement and Implementation in an Industrial Setting
Abstract : 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. READ MORE
-
2. Automated Deductive Verification of Safety-Critical Embedded Software
Abstract : 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. READ MORE
-
3. Increasing Product Quality by Verification and Validation Improvements in an Industrial Setting
Abstract : 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. READ MORE
-
4. Developing Reusable and Reconfigurable Real-Time Software using Aspects and Components
Abstract : 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. READ MORE
-
5. Software Robustness: From Requirements to Verification
Abstract : 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. READ MORE