福建电脑
福建電腦
복건전뇌
FUJIAN COMPUTER
2013年
2期
15-16,21
,共3页
程序合约%变量轨迹%动态抽取
程序閤約%變量軌跡%動態抽取
정서합약%변량궤적%동태추취
文章中描述了C#语言实现程序合约动态抽取工具的整体设计过程,包括变量轨迹的提取和动态检测思想.针对二元关系和三元关系的检测原理和实现过程进行了详细的描述.实现了能够对指定源程序导出其变量运动轨迹并进行动态检测的功能.
文章中描述瞭C#語言實現程序閤約動態抽取工具的整體設計過程,包括變量軌跡的提取和動態檢測思想.針對二元關繫和三元關繫的檢測原理和實現過程進行瞭詳細的描述.實現瞭能夠對指定源程序導齣其變量運動軌跡併進行動態檢測的功能.
문장중묘술료C#어언실현정서합약동태추취공구적정체설계과정,포괄변량궤적적제취화동태검측사상.침대이원관계화삼원관계적검측원리화실현과정진행료상세적묘술.실현료능구대지정원정서도출기변량운동궤적병진행동태검측적공능.
