Sökning: "requirements testing"

Visar resultat 1 - 5 av 195 avhandlingar innehållade orden requirements testing.

  1. 1. 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

  3. 2. Coordinating requirements engineering and software testing

    Författare :Michael Unterkalmsteiner; Tony Gorschek; Robert Feldt; Martin Robillard; Blekinge Tekniska Högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Requirements; Testing; Coordination; Alignment; Empirical software engineering; Design science; Assessment; Trace recovery; Data mining;

    Sammanfattning : The development of large, software-intensive systems is a complex undertaking that is generally tackled by a divide and conquer strategy. Organizations face thereby the challenge of coordinating the resources which enable the individual aspects of software development, commonly solved by adopting a particular process model. LÄS MER

  4. 3. Learning-based Testing for Automotive Embedded Systems : A requirements modeling and Fault injection study

    Författare :Hojat Khosrowjerdi; Karl Meinke; Dilian Gurov; Cristina Seceleanu; KTH; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Machine learning; fault injection; requirements testing; embedded systems; model checking; automotive software; requirements modeling; Computer Science; Datalogi;

    Sammanfattning : This thesis concerns applications of learning-based testing (LBT) in the automotive domain. In this domain, LBT is an attractive testing solution, since it offers a highly automated technology to conduct safety critical requirements testing based on machine learning. LÄS MER

  5. 4. 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

  7. 5. 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