电脑与信息技术
電腦與信息技術
전뇌여신식기술
COMPUTER AND INFORMATION TECHNOLOGY
2007年
5期
14-16,21
,共4页
程序正确性%检测%断言
程序正確性%檢測%斷言
정서정학성%검측%단언
文章提出了程序断言检测工具设计方案和基于断言的程序正确性检测步骤.该工具的基本原理是Floyd提出的"用断言式方法"证明程序的正确性的方法,通过一个断言发现工兵从程序中发现该程序断言,然后与程序要求满足的断言条件比较,判明其正确性.该工具在复杂条件下对程序正确性判断和大量重复程序检测上能发挥重要的作用.
文章提齣瞭程序斷言檢測工具設計方案和基于斷言的程序正確性檢測步驟.該工具的基本原理是Floyd提齣的"用斷言式方法"證明程序的正確性的方法,通過一箇斷言髮現工兵從程序中髮現該程序斷言,然後與程序要求滿足的斷言條件比較,判明其正確性.該工具在複雜條件下對程序正確性判斷和大量重複程序檢測上能髮揮重要的作用.
문장제출료정서단언검측공구설계방안화기우단언적정서정학성검측보취.해공구적기본원리시Floyd제출적"용단언식방법"증명정서적정학성적방법,통과일개단언발현공병종정서중발현해정서단언,연후여정서요구만족적단언조건비교,판명기정학성.해공구재복잡조건하대정서정학성판단화대량중복정서검측상능발휘중요적작용.
