Automatic detection and correction of programming faults for software applications

Authors:
Prattana Deeprasertkul;Pattarasinee Bhattarakosol;Fergus O'Brien
Affiliations:
Department of Mathematics, Faculty of Science, Chulalongkorn University, Phayathai Road, Patumwan, Bangkok 10330, Thailand;Department of Mathematics, Faculty of Science, Chulalongkorn University, Phayathai Road, Patumwan, Bangkok 10330, Thailand;School of Information Technology, Faculty of Informatics and Communication, Rockhampton Campus, Central Queensland University, Australia
Venue:
Journal of Systems and Software
Year:
2005

Citing 12
Cited 0

C++ and C debugging, testing, and reliability: the prevention, detection, and correction of program errors

C++ and C debugging, testing, and reliability: the prevention, detection, and correction of program errors
Concurrent programming in ERLANG (2nd ed.)

Concurrent programming in ERLANG (2nd ed.)
CCured: type-safe retrofitting of legacy code

POPL '02 Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
C: A Reference Manual, Fourth Edition

C: A Reference Manual, Fourth Edition
A Framework for Source Code Search Using Program Patterns

IEEE Transactions on Software Engineering
Implementation of a pattern-matching approach for identifying algorithmic concepts in scientific FORTRAN programs

HIPC '96 Proceedings of the Third International Conference on High-Performance Computing (HiPC '96)
A Review of Tool Support for Software Inspection

CASE '95 Proceedings of the Seventh International Workshop on Computer-Aided Software Engineering
Static analysis and computer security: new techniques for software assurance

Static analysis and computer security: new techniques for software assurance
ARCHER: using symbolic, path-sensitive analysis to detect memory access errors

Proceedings of the 9th European software engineering conference held jointly with 11th ACM SIGSOFT international symposium on Foundations of software engineering
Buffer overrun detection using linear programming and static analysis

Proceedings of the 10th ACM conference on Computer and communications security
High coverage detection of input-related security facults

SSYM'03 Proceedings of the 12th conference on USENIX Security Symposium - Volume 12
Design and code inspections to reduce errors in program development

IBM Systems Journal

Quantified Score

Hi-index	0.01

Visualization

Abstract

Software reliability is an important feature of a good software implementation. However some faults which cause software unreliability are not detected during the development stages, and these faults create unexpected problems for users whenever they arise. At present most of the current techniques detect faults while a software is running. These techniques interrupt the software process when a fault occurs, and require some forms of restart. In this paper Precompiled Fault Detection (PFD) technique is proposed to detect and correct faults before a source code is compiled. The objective of the PFD technique is to increase software reliability without increasing the programmers' responsibilities. The concepts of ''pre-compilation'' and ''pattern matching'' are applied to PFD in order to reduce the risk of significant damage during execution period. This technique can completely eliminate the significant faults in a software and thus, improves software reliability.