Abstract:Typical enterprise and military software systems consist of millions of lines of code with complicated dependence on diverse 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, Protege. An ontology model of Java program is created according to Java program specification using Protege as well. Both SWRL rules and the program ontology model are exported in OWL (Web ontology language) format. Second, Java source code 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 OWL file (representing the SWRL rules model and program ontology model) and the individuals created for the Java code, conduits to Jess (a rule engine), and obtains inference results indicating any bugs. We perform experiments to compare bug detection capability with well-known FindBugs tool. A prototype of bug detector tool is developed to show the validity of the proposed static analysis approach.

Research on Mapping OWL Ontology to Software Code Model

Research on Applying UML to Analyze Agent-Oriented System

The Overview of Ontology Integration Approaches Based on Semantic Web

Verifying Aspect-Oriented Programs Using Open Temporal Logic

Implementation of Spatial Information Web Services Based on Ontology

Model Mapping Techniques for STEP and Its Application in Open Environment

A Comparative Study on Three Ontology Mapping Methods in the Integration of Product Knowledge

An ontology-based functional modeling approach for multi-agent distributed design on the semantic web

Research on Object- Oriented Model Mapping to Data Model

A Semantic Mapping System for Bridging the Gap between Relational Database and Semantic Web

A Novel Ontology Mapping Technology Using Information Coding Ontology Model

DEVSMO: an ontology of DEVS model representation for model reuse

Method of Automatic Ontology Mapping Through Machine Learning and Logic Mining

Ontology Model-Based Static Analysis on Java Programs

Research on product information model based on Ontology and Semantic Web

A Parsing Graph-based Algorithm for Ontology Mapping

Debugging Ontology Mappings: A Static Approach

Object-oriented Methodology Meets MDA Software Paradigm

Ontology Mapping Approach Based On Parsing Graph

An Aspect-Oriented Modeling Method Based on Object-Z

An Aspect-Oriented Modeling Approach