计算机学报
計算機學報
계산궤학보
CHINESE JOURNAL OF COMPUTERS
2014年
12期
2492-2504
,共13页
丁佐华%Jeff Sanders%江明月%张娜%蒲戈光
丁佐華%Jeff Sanders%江明月%張娜%蒲戈光
정좌화%Jeff Sanders%강명월%장나%포과광
测试用例%Guarded-Command-Language%执行树%条件计算%软件测试
測試用例%Guarded-Command-Language%執行樹%條件計算%軟件測試
측시용례%Guarded-Command-Language%집행수%조건계산%연건측시
test case%Guarded-Command-Language%execution tree%condition calculation%software testing
提出一种基于GCL语言生成程序测试用例的形式化方法.程序的语义为测试用例的生成提供了基本框架,而由Hoare等人提供的规则保证了用例的正确性.作者的这种方法可被认为是一种严格的,自动生成测试用例的方法.这种方法的优点在于:所获得的测试用例都是可行的,在测试用例生成过程中可以避免状态爆炸问题,而且该方法可以延拓到任何目标语言.据此开发了一个基于Haskell语言的原型工具来支持作者的方法.
提齣一種基于GCL語言生成程序測試用例的形式化方法.程序的語義為測試用例的生成提供瞭基本框架,而由Hoare等人提供的規則保證瞭用例的正確性.作者的這種方法可被認為是一種嚴格的,自動生成測試用例的方法.這種方法的優點在于:所穫得的測試用例都是可行的,在測試用例生成過程中可以避免狀態爆炸問題,而且該方法可以延拓到任何目標語言.據此開髮瞭一箇基于Haskell語言的原型工具來支持作者的方法.
제출일충기우GCL어언생성정서측시용례적형식화방법.정서적어의위측시용례적생성제공료기본광가,이유Hoare등인제공적규칙보증료용례적정학성.작자적저충방법가피인위시일충엄격적,자동생성측시용례적방법.저충방법적우점재우:소획득적측시용례도시가행적,재측시용례생성과정중가이피면상태폭작문제,이차해방법가이연탁도임하목표어언.거차개발료일개기우Haskell어언적원형공구래지지작자적방법.
