We found a match
Your institution may have access to this item. Find your institution then sign in to continue.
- Title
Software Reliability through Theorem Proving.
- Authors
Murthy, S. G. K.; Sekharam, K. Raja
- Abstract
Improving software reliability of mission-critical systems is widely recognised as one of the major challenges. Early detection of errors in software requirements, designs and implementation, need rigorous verification and validation techniques. Several techniques comprising static and dynamic testing approaches are used to improve reliability of mission critical software; however it is hard to balance development time and budget with software reliability. Particularly using dynamic testing techniques, it is hard to ensure software reliability, as exhaustive testing is not possible. On the other hand, formal verification techniques utilise mathematical logic to prove correctness of the software based on given specifications, which in turn improves the reliability of the software. Theorem proving is a powerful formal verification technique that enhances the software reliability for mission-critical aerospace applications. This paper discusses the issues related to software reliability and theorem proving used to enhance software reliability through formal verification technique, based on the experiences with STeP tool, using the conventional and internationally accepted methodologies, models, theorem proving techniques available in the tool without proposing a new model.
- Subjects
AUTOMATIC theorem proving; COMPUTER software; RELIABILITY in engineering; ERROR functions; DYNAMIC testing; VERIFICATION of computer systems
- Publication
Defence Science Journal, 2009, Vol 59, Issue 3, p314
- ISSN
0011-748X
- Publication type
Article
- DOI
10.14429/dsj.59.1527