Flow analysis to detect blocked statements

Author

Malenfant, Bruno ; Antoniol, Giuliano ; Merlo, Ettore ; Dagenais, Michel

Author_Institution

Lab. CASI, Ecole Polytech., Montreal, Que., Canada

fYear

2001

fDate

2001

Firstpage

62

Lastpage

70

Abstract

In the context of software quality assessment, the paper proposes two new kinds of data which can be extracted from source code. The first, definitely blocked statements, can never be executed because preceding code prevents the execution of the program. The other data, called possibly blocked statements, may be blocked by blocking code. The paper presents original flow equations to compute definitely and possibly blocked statements in source code. The experimental context is described and results are shown and discussed. Suggestions for further research are also presented

Keywords

data flow analysis; flow graphs; software metrics; software quality; blocked statement detection; blocking code; definitely blocked statements; experimental context; inter-procedural flow analysis; original flow equations; possibly blocked statements; preceding code; program flow analysis; software evaluation; software quality assessment; source code; Algorithm design and analysis; Communication system software; Context; Data analysis; Data mining; Equations; Failure analysis; Information analysis; Quality assessment; Software standards;

fLanguage

English

Publisher

ieee

Conference_Titel

Software Maintenance, 2001. Proceedings. IEEE International Conference on

Conference_Location

Florence

ISSN

1063-6773

Print_ISBN

0-7695-1189-9

Type

conf

DOI

10.1109/ICSM.2001.972712

Filename

972712