Sökning: "Software Verification"
Visar resultat 1 - 5 av 155 avhandlingar innehållade orden Software Verification.
1. Early and Cost-Effective Software Fault Detection : Measurement and Implementation in an Industrial Setting
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
2. Automated Deductive Verification of Safety-Critical Embedded Software
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
3. Increasing Product Quality by Verification and Validation Improvements in an Industrial Setting
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
4. Developing Reusable and Reconfigurable Real-Time Software using Aspects and Components
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
5. Software Robustness: From Requirements to Verification
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