计算机工程与应用
計算機工程與應用
계산궤공정여응용
COMPUTER ENGINEERING AND APPLICATIONS
2011年
25期
1-4
,共4页
变量使用%软件测试%数据流异常%模型检测
變量使用%軟件測試%數據流異常%模型檢測
변량사용%연건측시%수거류이상%모형검측
程序的执行体现为数据在变量中的流动.对C/C++源代码中变量定义使用情况进行分析,针对变量未赋值就使用、变量重复赋值和变量定义后未使用三种数据流异常情况,使用程序阅读自动机,把程序转换为变量状态机,使用ALCCTL时序逻辑和模型检验工具,验证程序是否满足定义的可信模式.提出了新的静态查找变量使用故障的方法.该方法已应用于面向故障的软件测试系统中.
程序的執行體現為數據在變量中的流動.對C/C++源代碼中變量定義使用情況進行分析,針對變量未賦值就使用、變量重複賦值和變量定義後未使用三種數據流異常情況,使用程序閱讀自動機,把程序轉換為變量狀態機,使用ALCCTL時序邏輯和模型檢驗工具,驗證程序是否滿足定義的可信模式.提齣瞭新的靜態查找變量使用故障的方法.該方法已應用于麵嚮故障的軟件測試繫統中.
정서적집행체현위수거재변량중적류동.대C/C++원대마중변량정의사용정황진행분석,침대변량미부치취사용、변량중복부치화변량정의후미사용삼충수거류이상정황,사용정서열독자동궤,파정서전환위변량상태궤,사용ALCCTL시서라집화모형검험공구,험증정서시부만족정의적가신모식.제출료신적정태사조변량사용고장적방법.해방법이응용우면향고장적연건측시계통중.
