Sciweavers

Share
COMPSAC
2008
IEEE

Ontology Model-Based Static Analysis on Java Programs

8 years 8 months ago
Ontology Model-Based Static Analysis on Java Programs
1 Typical enterprise and military software systems consist of millions of lines of code with complicated dependence on library abstractions. Manually debugging these codes imposes developers overwhelming workload and difficulties. To address software quality concerns efficiently, this paper proposes an ontology-based static analysis approach to automatically detect bugs in the source code of Java programs. First, we elaborate bug list collected, classify bugs into different categories, and translate bug patterns into SWRL (Semantic Web Rule Language) rules using an ontology tool, Protégé. An ontology model of Java program is created according to Java program specification using Protégé as well. Both SWRL rules and the program ontology model are exported in OWL (Web Ontology Language) format. Second, Java ode under analysis is parsed into the Abstract Syntax Tree (AST), which is automatically mapped to the individuals of the program ontology model. SWRL Bridge takes in the exported ...
Lian Yu, Jun Zhou, Yue Yi, Ping Li, Qianxiang Wang
Added 29 May 2010
Updated 29 May 2010
Type Conference
Year 2008
Where COMPSAC
Authors Lian Yu, Jun Zhou, Yue Yi, Ping Li, Qianxiang Wang
Comments (0)
books