Sökning: "Model-Based Testing"
Visar resultat 1 - 5 av 85 avhandlingar innehållade orden Model-Based Testing.
1. Model-Based Protocol Testing in an Erlang Environment
Sammanfattning : Testing is the dominant technique for quality assurance of software systems. It typically consumes considerable resources in development projects, and is often performed in an ad hoc manner. This thesis is concerned with model-based testing, which is an approach to make testing more systematic and more automated. LÄS MER
2. Model Based Fault Diagnosis : Methods, Theory, and Automotive Engine Applications
Sammanfattning : Model based fault diagnosis is to perform fault diagnosis by means of models. An important question is how to use the models to construct a diagnosis system. To develop a general theory for this, useful in real applications, is the topic of the first part of this thesis. LÄS MER
3. Model-Based Test Case Generation for Real-Time Systems
Sammanfattning : Testing is the dominant verification technique used in the software industry today. The use of automatic test case execution increases, but the creation of test cases remains manual and thus error prone and expensive. To automate generation and selection of test cases, model-based testing techniques have been suggested. LÄS MER
4. On model based aero engine diagnostics
Sammanfattning : Maintenance and diagnostics play a vital role in the aviation sector. This is especially true for the engines, being one of the most vital components. Lack of maintenance, or poor knowledge of the current health status of the engines, may lead to unforeseen disruptions and possibly catastrophic effects. LÄS MER
5. Model-Based Hypothesis Testing in Biomedicine : How Systems Biology Can Drive the Growth of Scientific Knowledge
Sammanfattning : The utilization of mathematical tools within biology and medicine has traditionally been less widespread compared to other hard sciences, such as physics and chemistry. However, an increased need for tools such as data processing, bioinformatics, statistics, and mathematical modeling, have emerged due to advancements during the last decades. LÄS MER