QQ客服 官方微博 反馈留言

	Ontology model-based static analysis on java programs
	Yu, Lian ; Zhou, Jun ; Yi, Yue ; Li, Ping ; Wang, Qianxiang
	2008
英文摘要	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, Prote??ge?? . An ontology model of Java program is created according to Java program specification using Prote??ge?? 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. ? 2008 IEEE.; EI; 0
语种	英语
DOI标识	10.1109/COMPSAC.2008.73
内容类型	其他
源URL	[http://ir.pku.edu.cn/handle/20.500.11897/164201]
专题	信息科学技术学院 软件与微电子学院
推荐引用方式 GB/T 7714	Yu, Lian,Zhou, Jun,Yi, Yue,et al. Ontology model-based static analysis on java programs. 2008-01-01.

个性服务

查看访问统计

相关权益政策

暂无数据

收藏/分享

除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。