An interaction behavior verification model based on aop technology - Details

Author：

Wang, Xiaoxi (Wang, Xiaoxi.) | Wang, Dan (Wang, Dan.)

Indexed by：

EI Scopus

Abstract：

In　order　to　measure　the　trust　for　software　behavior　in　trusted　computing,　a　software　behavior　analysis　and　verification　model　based　on　Aspect　Oriented　Programming　(AOP)　is　proposed.　The　model　about　software　behavior　description,　software　behavior　monitoring,　software　behavior　analysis　and　verification　are　designed　and　descried.　The　model　is　deployed　on　a　system　for　test.　The　test　resultheindicates　the　model＇s　feasibility　and　validity.　©　2012　IEEE.

Keyword：

Weaving Aspect oriented programming Verification Computer software

Author Community：

[ 1 ] [Wang, Xiaoxi]Beijing University of Technology, College of Computer Science and Technology, Beijing, China
[ 2 ] [Wang, Dan]Beijing University of Technology, College of Computer Science and Technology, Beijing, China

Reprint Author's Address：

Email：

wangxiaoxi@emails.bjut.edu.cn

Show more details

Related Keywords：