Sökning: "Parameterized testing"

Visar resultat 6 - 10 av 13 uppsatser innehållade orden Parameterized testing.

  1. 6. HDV Simulink Real World Model for Testing : A Study on Model Simplicity

    Master-uppsats, KTH/Optimeringslära och systemteori

    Författare :Robin Lindström; [2016]
    Nyckelord :;

    Sammanfattning :   The purpose of this thesis was to investigate the area of model complexity and see what precautions could be made to avoid the generation of complex models. These findings included five principles stated by M. Pidd which were implemented in the development of a new Simulink real world model of a heavy duty vehicle. LÄS MER

  3. 7. Construction and benchmarking of adaptive parameterized linear multistep methods

    Master-uppsats, Lunds universitet/Matematik LTH

    Författare :Josefine Olander; Erik Jonsson Glans; [2016]
    Nyckelord :Linear multistep method; matlab software; variable step-size; variable order; numerical solver of ODEs; Mathematics and Statistics; Technology and Engineering;

    Sammanfattning : A recent publication introduced a new way to define all k-step linear multistep methods of order k and k+1, in a parametric form that builds in variable step-size. In this framework it is possible to continuously change method and step-size, making it possible to create better behaving adaptive numerical solvers. LÄS MER

  4. 8. Numerical Simulation of Ductile Cast Iron Fracture : A parameterization of the material model *MAT_224 in the FE-code LS-DYNA

    Master-uppsats, Karlstads universitet/Fakulteten för hälsa, natur- och teknikvetenskap (from 2013)

    Författare :Viktor Eriksson; [2015]
    Nyckelord :;

    Sammanfattning : In crashes, fracture of Ductile Cast Iron (DCI) components can have a big influence on the global behaviour of the structure and the survival probability of the driver. In this thesis the material model *MAT_224 is parameterized for one ferritic-pearlitic grade, SS-0727-02, of DCI. LÄS MER

  5. 9. A Framework For Interacting With Parameterized and Infinite State Verification Tools

    Magister-uppsats, Institutionen för datavetenskap; Tekniska högskolan

    Författare :Rizwan Abbasi; [2013]
    Nyckelord :;

    Sammanfattning : We develop a tool to explore the behavior of parameterized systems (i.e., systems consisting of an arbitrary number of identical processes that synchronize using shared variables or global communications) and to ease user interaction with tools that verify them. LÄS MER

  7. 10. Understandability of General Versus Concrete Test Cases

    Master-uppsats, Blekinge Tekniska Högskola/Sektionen för datavetenskap och kommunikation

    Författare :Ali Jafar; Mohan Maharjan; [2009]
    Nyckelord :Concrete testing; Parameterized testing; JUnit; NUnit; Pex; Understandability. ;

    Sammanfattning : One possibility to automate more of software testing is to have developers write more general test cases. Given a general (parameterized test case), that holds in many situations, software can generate many different test instances and execute them automatically. Thus, even though the developers write fewer and smaller tests they can test more. LÄS MER