Essays about: "static software testing"

Showing result 21 - 25 of 53 essays containing the words static software testing.

1. 21. Hybrid testing procedure development : An experimental study a hybrid simulation of a steel truss element

   University essay from Linnéuniversitetet/Institutionen för byggteknik (BY)

   Author : Ali Alhameedi; [2019]
   Keywords : ;

   Abstract : Hybrid simulation is a numerical and experimental structural testing technique in which the critical structural members are tested experimentally, while the rest of the structure is modeled numerically. During hybrid testing, the numerical model is updated continuously based on the output of the experimental test. READ MORE

3. 22. Improving the Development of Safety Critical Software : Automated Test Case Generation for MC/DC Coverage using Incremental SAT-Based Model Checking

   University essay from Linköpings universitet/Institutionen för datavetenskap

   Author : Oscar Holm; [2019]
   Keywords : safety critical system; safety critical software; MC DC; quality assurance; software engineering; Modified Condition Decision Coverage; automated testing; test case generation; SAT solving; Z3; Dextool; model checking; static analysis;

   Abstract : The importance and requirements of certifying safety critical software is today more apparent than ever. This study focuses on the standards and practices used within the avionics, automotive and medical domain when it comes to safety critical software. READ MORE

4. 23. Preliminary design of a small-scale liquid-propellant rocket engine testing platform

   University essay from Luleå tekniska universitet/Rymdteknik

   Author : Erik Andersson; [2019]
   Keywords : ;

   Abstract : Propulsion system testing before mission operation is a fundamental requirement in any project. For both industrial and commercial entities within the space industry, complete system integration into a static test platform for functional and performance testing is an integral step in the system development process. READ MORE

5. 24. Steering system development using test rig and driving simulators

   University essay from KTH/Fordonsdynamik

   Author : Utsav Khan; Andrea Bianchi; [2019]
   Keywords : ;

   Abstract : Conventional model-based development approaches such as Model-in-Loop (MiL) and Software-in-Loop (SiL) have been used in electric power assisted steering (EPAS) development in recent years, but when it involves a physical motor and the vehicle communication network, the development mostly comes down to real vehicle testing and tuning. The objective and outcome of this master thesis is to develop a Hardware-in-Loop (HiL) environment that involves the real EPAS powerpack and human Driver-in-Loop (DiL) using a static driving simulator. READ MORE

6. 25. Predicting Software Defectiveness by Mining Software Repositories

   University essay from Linnéuniversitetet/Institutionen för datavetenskap och medieteknik (DM)

   Author : Stanislav Kasianenko; [2018]
   Keywords : repository mining; software metric; correlation; defect; bug; natural language processing; Pearson coefficient; Breiman’s decision tree; machine learning;

   Abstract : One of the important aims of the continuous software development process is to localize and remove all existing program bugs as fast as possible. Such goal is highly related to software engineering and defectiveness estimation. Many big companies started to store source code in software repositories as the later grew in popularity. READ MORE