Sökning: "usage based testing"

Visar resultat 1 - 5 av 61 avhandlingar innehållade orden usage based testing.

1. 1. Model-Based Protocol Testing in an Erlang Environment

   Författare :Johan Blom; Bengt Jonsson; Sven-Olof Nyström; Bernhard Aichernig; Uppsala universitet; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Testing; Erlang; Model-Based Testing; Symbolic Execution; Communication Protocols; Datavetenskap; Computer Science;

   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

3. 2. Models for Estimation of Software Faults and Failures in Inspection and Test

   Författare :Per Runeson; Institutioner vid LTH; []
   Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; failures; usage based testing; usage model; statistical testing; faults; capture-recapture; inspections; software quality; software reliability; experiments; Computer science; numerical analysis; systems; control; Datalogi; numerisk analys; system; kontroll;

   Sammanfattning : In software engineering, the quality of software and in particular the software reliability has to be controlled and improved. Hence there is a need for measuring and controlling the number and appearance of software faults and failures. LÄS MER

4. 3. Requirements Engineering with Use Cases - a Basis for Software Development

   Författare :Björn Regnell; Institutioner vid LTH; []
   Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Data- och systemvetenskap; computer technology; Systems engineering; process improvement; requirements inspection; usage based testing; statistical testing; requirements validation; graphical languages; scenario; software engineering; use case;

   Sammanfattning : Successful development of software systems depends on the quality of the requirements engineering process. Use cases and scenarios are promising vehicles for eliciting, specifying and validating requirements. This thesis investigates the role of use case modelling in requirements engineering and its relation to system verification and validation. LÄS MER

5. 4. Model Checking-Based Software Testing for Function-Block Diagrams

   Författare :Eduard Enoiu; Mohammad Reza Mousavi; Mälardalens högskola; []
   Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Computer Science; datavetenskap;

   Sammanfattning : Software testing becomes more complex, more time-consuming, and more expensive. The risk that software errors remain undetected and cause critical failures increases. Consequently, in safety-critical development, testing software is standardized and it requires an engineer to show that tests fully exercise, or cover, the logic of the software. LÄS MER

7. 5. Supporting evidence-based design using lighting simulations : A framework for lighting simulation of visual comfort in building design

   Författare :Anahita Davoodi; Myriam Aries; Peter Johansson; Thorbjörn Laike; John Mardaljevic; Jönköping University; []
   Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Lighting quality; visual comfort; lighting simulation; evidence-based design; field study; post-occupancy evaluation; Ljuskvalitet; visuell komfort; ljussimulering; evidensbaserad design; fältstudie; brukarutvärderingar;

   Sammanfattning : This research aims to integrate lighting simulation into the evidence-based design process for achieving improved lighting outcomes in built environments with a particular emphasis on visual comfort analysis in office settings. The objectives of the study include 1) understanding the current usage of lighting simulation tools, learning designers’ experiences' and needs, 2) providing a conceptual framework to integrate the use of lighting simulation in the evidence-based design (EBD) process, 3) testing the usage of the conceptual framework (named EBD-SIM) through two field studies. LÄS MER