电脑开发与应用
電腦開髮與應用
전뇌개발여응용
COMPUTER DEVELOPMENT & APPLICATIONS
2012年
5期
1-3
,共3页
刘树锟%莫正杰%吴沛林%黄小波
劉樹錕%莫正傑%吳沛林%黃小波
류수곤%막정걸%오패림%황소파
Java建模语言%程序不变量%diduce%daikon%运行轨迹
Java建模語言%程序不變量%diduce%daikon%運行軌跡
Java건모어언%정서불변량%diduce%daikon%운행궤적
结合Java建模语言描述了程序不变量的基本概念,以程序静态分析技术和动态分析技术为基础,讲解了程序不变量在软件质量保证中的重要作用.分别针对主要的两种不变量检测工具Daikon和Diduce,叙述了它们的主要功能以及检测不变量的基本过程.阐述了两种检测工具的共性,并在此基础上进一步分析了程序不变量检测的基本理论模型,最后分析了两种工具面临的主要问题.
結閤Java建模語言描述瞭程序不變量的基本概唸,以程序靜態分析技術和動態分析技術為基礎,講解瞭程序不變量在軟件質量保證中的重要作用.分彆針對主要的兩種不變量檢測工具Daikon和Diduce,敘述瞭它們的主要功能以及檢測不變量的基本過程.闡述瞭兩種檢測工具的共性,併在此基礎上進一步分析瞭程序不變量檢測的基本理論模型,最後分析瞭兩種工具麵臨的主要問題.
결합Java건모어언묘술료정서불변량적기본개념,이정서정태분석기술화동태분석기술위기출,강해료정서불변량재연건질량보증중적중요작용.분별침대주요적량충불변량검측공구Daikon화Diduce,서술료타문적주요공능이급검측불변량적기본과정.천술료량충검측공구적공성,병재차기출상진일보분석료정서불변량검측적기본이론모형,최후분석료량충공구면림적주요문제.
