Bachelor and Master Theses

Title: Ensuring Reliability of software in Safety critical systems environment
Subject: Computer Science
Level: Advanced
Description: Safety Critical systems are the systems whose failure might cause huge loss both financially and human life or sometimes cause environmental damage. Aircrafts, nuclear reactors and medical applications etc., are examples of safety critical systems. Safety critical systems must be thoroughly tested before it is deployed into pragmatic use. To attain safety critical systems, one requires highly reliable software, which involves large efforts in testing, design, process and specification. Testing of safety software applications is quite challenging, than testing of hardware (safety hardware) due to the complex and abstract nature of software.

To find the adequacy of testing we are generating test cases. One of the approaches criteria is Modified condition decision coverage (MC/DC) testing technique. We are supposed to develop test cases and also check that these test cases are adequate enough. To generate the test cases we have to develop a method using some strategy techniques. Even though coverage criteria is a best method to work but comparing the results of genetic algorithms/mutation approach with random generation is a bit challenging job.
The main theme of Modified condition decision coverage is to ensure confidence that the verification process has lead that each condition in each decision in the source code has precise effect. It is not for what it finds but for what it makes us to do. As we know software testing in safety critical systems is time consuming and cost effective. Therefore testing is becoming important in research and industrial communities. MC/DC is automated testing. The main structural coverage criterion used in the avionics software is MC/DC. It was developed to come up for wide areas of testing complex Boolean expression. We can also test those complex Boolean expressions with mutation method as well.
Genetic algorithm approach might be cost effective and less time consuming criteria because of its productivity nature of parent mutants to produce child mutants. This approach is automated as well. So, considering genetic algorithmic approach for test cases generation to find reliability product is also a better idea.
The purpose of this thesis is to propose a mutation testing method to ensure quality of software through testing. The idea is to adopt MC/DC testing strategy or Genetic algorithm approach/Mutation method. And test cases have to develop further and then must check that these test cases are adequate enough to find the severity of our testing software.

Start date: 2012-08-01
Prel. end date: 2012-11-30
Student: Eslavath Siva chaitanya nayak seh10001@student.mdh.se
Student: Ather Sajjad asd10005@student.mdh.se
IDT supervisor: Sasikumar Punnekkat
sasikumar.punnekkat@mdh.se, +46-21-107324
Examinator: Ivica Crnkovic
Ivica Crnkovic
ivica.crnkovic@mdh.se, +46-21-103183

Rapport och bilagor

Size

Senaste uppdatering


  • Mälardalen University |
  • Box 883 |
  • 721 23 Västerås/Eskilstuna |
  • 021-101300, 016-153600 |
  • webmaster |
  • Latest update: 2017.03.25