Exploiting and Enhancing Static Testing Techniques

Arta Iftikhar

Department of Software Engineering Technology, Taxila

Email: artaiftikhar@yahoo.com

Accepted  31 January 2013

Abstract

Static testing is a technique in which an author manually read its document or code. In contrast to dynamic testing, it focuses mainly on checking the correctness of the requirement document, program code, algorithm. It checks the code or algorithm for its cosmetic appearance and goes for finding errors manually. After detail analysis of formal and informal inspection techniques and considering their corresponding advantages and disadvantages we proposed a technique that merges benefit of formal and informal inspection techniques.

Keywords : Static Testing, inspection, RFT, Formal techniques, Informal Techniques.