Sökning: "Auto-generation"

Hittade 3 uppsatser innehållade ordet Auto-generation.

  1. 1. Filtering equivalent changes from dependency updates with CBMC

    Uppsats för yrkesexamina på avancerad nivå, Blekinge Tekniska Högskola/Institutionen för datavetenskap

    Författare :Jonas Mårtensson; [2022]
    Nyckelord :CBMC; change impact analysis; equivalence analysis; auto-generation; CBMC; konsekvensanalys; ekvivalensanalys; autogenerering;

    Sammanfattning : Background. Open source dependencies have become ubiquitous in software development and the risk of regressions during an update are a key concern facing developers. Change impact analysis (CIA) can be used to assess the effects of a dependency update and aid in addressing this challenge. LÄS MER

  3. 2. Automated Testing of Robotic Systems in Simulated Environments

    Master-uppsats, Mälardalens högskola/Akademin för innovation, design och teknik

    Författare :Sebastian Andersson; Gustav Carlstedt; [2019]
    Nyckelord :Regression test; Simulation; Software testing; Hausdorff; Auto generation; SIL; Virtual controller; Industrial robotics; Mutation testing; Black box testing;

    Sammanfattning : With the simulations tools available today, simulation can be utilised as a platform for more advanced software testing. By introducing simulations to software testing of robot controllers, the motion performance testing phase can begin at an earlier stage of development. This would benefit all parties involved with the robot controller. LÄS MER

  4. 3. GPU Usage for Parallel Functions and Contacts in Modelica

    Uppsats för yrkesexamina på avancerad nivå, Lunds universitet/Institutionen för datavetenskap

    Författare :Vilhelm Roxling; Axel Goteman; [2015]
    Nyckelord :Arbitrary Shapes; Collision Response; Auto-generation; Collision Detection; Modelica; GPU; Technology and Engineering;

    Sammanfattning : This thesis investigates two ways of incorporating GPUs in Modelica. The first by automatically generating GPU code for Modelica functions, and the second by using GPU accelerated external code for a contact handling package. Automatic parallelization of functions is desired, as it can potentially accelerate large simulations significantly. LÄS MER