计算机工程与设计
計算機工程與設計
계산궤공정여설계
COMPUTER ENGINEERING AND DESIGN
2011年
8期
2879-2884,2900
,共7页
刘春燕%赖晓晨%周宽久%郑红波
劉春燕%賴曉晨%週寬久%鄭紅波
류춘연%뢰효신%주관구%정홍파
静态分析%关系存储%语法树%可扩展标记语言%编程规范
靜態分析%關繫存儲%語法樹%可擴展標記語言%編程規範
정태분석%관계존저%어법수%가확전표기어언%편정규범
为减少软件静态分析中信息冗余度并提高信息提取的准确率和效率,提出了一种基于关系存储模式的关系语法树模型,以终结符之间的依存关系建模,有效地减少了信息冗余度,并以可扩展标记语言(extensible markup language,XML)标准格式存储.利用了成熟的XML解析技术,设计了一种基于XML中间模型的静态检测方法,并将该方法应用于编程规范检测申.实验结果表明,该方法有效地提高了检测效率和精度.
為減少軟件靜態分析中信息冗餘度併提高信息提取的準確率和效率,提齣瞭一種基于關繫存儲模式的關繫語法樹模型,以終結符之間的依存關繫建模,有效地減少瞭信息冗餘度,併以可擴展標記語言(extensible markup language,XML)標準格式存儲.利用瞭成熟的XML解析技術,設計瞭一種基于XML中間模型的靜態檢測方法,併將該方法應用于編程規範檢測申.實驗結果錶明,該方法有效地提高瞭檢測效率和精度.
위감소연건정태분석중신식용여도병제고신식제취적준학솔화효솔,제출료일충기우관계존저모식적관계어법수모형,이종결부지간적의존관계건모,유효지감소료신식용여도,병이가확전표기어언(extensible markup language,XML)표준격식존저.이용료성숙적XML해석기술,설계료일충기우XML중간모형적정태검측방법,병장해방법응용우편정규범검측신.실험결과표명,해방법유효지제고료검측효솔화정도.