In this thesis the study over the topic of analytical approaches for software quality and reliability assurance is presented. The focus of this research is on a specific set of techniques used for software reliability assessment called Risk Analysis. Numerous approaches are explored and different new techniques are proposed to generate the risk model of a software product. These techniques are evaluated and using the results of this evaluation a new risk model (Compound Risk Model) is proposed which is using the advantages of different classes of risk analysis techniques to generate a more precise and practical model to identify more risky components of a software product. Also a research on the topic of Automatic Bug-Fix using Genetic Programming is presented which can fix logical defects of a buggy code and evolve it to a bug-free code. Finally it is discussed that these approaches can be used as an automated tool in an integrated development environment to localize the defective components and debug them.
In this thesis the study over the topic of analytical approaches for software quality and reliability assurance is presented. The focus of this research is on a specific set of techniques used for software reliability assessment called Risk Analysis. Numerous approaches are explored and different new techniques are proposed to generate the risk model of a software product. These techniques are evaluated and using the results of this evaluation a new risk model (Compound Risk Model) is proposed which is using the advantages of different classes of risk analysis techniques to generate a more precise and practical model to identify more risky components of a software product. Also a research on the topic of Automatic Bug-Fix using Genetic Programming is presented which can fix logical defects of a buggy code and evolve it to a bug-free code. Finally it is discussed that these approaches can be used as an automated tool in an integrated development environment to localize the defective components and debug them.
It was researched that the aviation embedded airborne software testing , because of software quality and reliability assurance.In order to improve the efficiency of testing of airborne software, for airborne software features, this paper propose a method that achieves the coverage test and basic ways search taking compiler GCC technology to complete the program automatic instrumentation. The method leverages airborne software test process automation in terms of modifying compiler GCC to make instrumentation automatically.
Software quality and reliability. Tools and methods; Edited by Darrell Ince.192 pages, ISBN 0-412-37810-8, £50.00; Published by Chapman and Hall
