软件学报
軟件學報
연건학보
JOURNAL OF SOFTWARE
2003年
4期
743-749
,共7页
顾庆%陈道蓄%谢立%孙钟秀
顧慶%陳道蓄%謝立%孫鐘秀
고경%진도축%사립%손종수
软件测试%分布式程序测试%Java%并发程序%事件约束
軟件測試%分佈式程序測試%Java%併髮程序%事件約束
연건측시%분포식정서측시%Java%병발정서%사건약속
由于程序的分布运行,测试分布式程序必须同时考虑并发特性和运行环境.介绍了一个面向Java语言的分布式程序测试系统JDPT(Java-oriented distributed program testing system).JDPT基于运行环境定义事件,通过事件序列记录分布式程序的运行过程,并定义事件约束检测可行事件序列集的有效性.通过该技术,JDPT可以有效地判断程序在运行环境中并发执行的正确性,适用于跨平台的Java程序测试.
由于程序的分佈運行,測試分佈式程序必鬚同時攷慮併髮特性和運行環境.介紹瞭一箇麵嚮Java語言的分佈式程序測試繫統JDPT(Java-oriented distributed program testing system).JDPT基于運行環境定義事件,通過事件序列記錄分佈式程序的運行過程,併定義事件約束檢測可行事件序列集的有效性.通過該技術,JDPT可以有效地判斷程序在運行環境中併髮執行的正確性,適用于跨平檯的Java程序測試.
유우정서적분포운행,측시분포식정서필수동시고필병발특성화운행배경.개소료일개면향Java어언적분포식정서측시계통JDPT(Java-oriented distributed program testing system).JDPT기우운행배경정의사건,통과사건서렬기록분포식정서적운행과정,병정의사건약속검측가행사건서렬집적유효성.통과해기술,JDPT가이유효지판단정서재운행배경중병발집행적정학성,괄용우과평태적Java정서측시.
