计算机仿真
計算機倣真
계산궤방진
COMPUTER SIMULATION
2007年
10期
86-88,114
,共4页
安全模型%程序切片%安全检测
安全模型%程序切片%安全檢測
안전모형%정서절편%안전검측
为有效表示和检测软件中存在的安全缺陷和隐患,提出了一种软件安全建模与检测技术--层次融合安全建模与检测技术.该技术采用多点建模技术,通过结合抽象建模、应用建模和数据建模等机制来实现对安全特征的描述.此外该技术利用表示层、应用层等不同抽象层次的建模信息,通过自动机与模型合成技术来构建安全特征模型.最后结合基于应用切片技术对软件中的安全缺陷与隐患进行检测.该技术克服了常规安全建模与检测中存在的缺点,可以有效表示和检测各种安全特征,提高了安全模型的表达力、复用性和适用性,降低了安全检测的复杂度.
為有效錶示和檢測軟件中存在的安全缺陷和隱患,提齣瞭一種軟件安全建模與檢測技術--層次融閤安全建模與檢測技術.該技術採用多點建模技術,通過結閤抽象建模、應用建模和數據建模等機製來實現對安全特徵的描述.此外該技術利用錶示層、應用層等不同抽象層次的建模信息,通過自動機與模型閤成技術來構建安全特徵模型.最後結閤基于應用切片技術對軟件中的安全缺陷與隱患進行檢測.該技術剋服瞭常規安全建模與檢測中存在的缺點,可以有效錶示和檢測各種安全特徵,提高瞭安全模型的錶達力、複用性和適用性,降低瞭安全檢測的複雜度.
위유효표시화검측연건중존재적안전결함화은환,제출료일충연건안전건모여검측기술--층차융합안전건모여검측기술.해기술채용다점건모기술,통과결합추상건모、응용건모화수거건모등궤제래실현대안전특정적묘술.차외해기술이용표시층、응용층등불동추상층차적건모신식,통과자동궤여모형합성기술래구건안전특정모형.최후결합기우응용절편기술대연건중적안전결함여은환진행검측.해기술극복료상규안전건모여검측중존재적결점,가이유효표시화검측각충안전특정,제고료안전모형적표체력、복용성화괄용성,강저료안전검측적복잡도.
