计算机科学
計算機科學
계산궤과학
COMPUTER SCIENCE
2007年
12期
273-277
,共5页
邱晓康%陈铭松%王林章%李宣东%郑国梁
邱曉康%陳銘鬆%王林章%李宣東%鄭國樑
구효강%진명송%왕림장%리선동%정국량
运行时验证%UML行为图%插装%随机测试%Java
運行時驗證%UML行為圖%插裝%隨機測試%Java
운행시험증%UML행위도%삽장%수궤측시%Java
UML是一种标准的可视化建模工具,广泛应用于软件系统的描述、可视化、构建和建立文档.本文介绍了一种UML行为图驱动的Java程序运行时验证工具.该工具以一个随机的测试用例集作为输入,运行经过插装的被测Java程序,得到一组用于验证的程序运行轨迹.通过对程序运行轨迹和UML行为图中合法的事件序列的比较,该工具可以对程序的动态行为规约进行检查.本文描述了该工具的设计思想、算法和实现技术,并通过对实例研究对该工具的可用性和有效性进行了讨论.
UML是一種標準的可視化建模工具,廣汎應用于軟件繫統的描述、可視化、構建和建立文檔.本文介紹瞭一種UML行為圖驅動的Java程序運行時驗證工具.該工具以一箇隨機的測試用例集作為輸入,運行經過插裝的被測Java程序,得到一組用于驗證的程序運行軌跡.通過對程序運行軌跡和UML行為圖中閤法的事件序列的比較,該工具可以對程序的動態行為規約進行檢查.本文描述瞭該工具的設計思想、算法和實現技術,併通過對實例研究對該工具的可用性和有效性進行瞭討論.
UML시일충표준적가시화건모공구,엄범응용우연건계통적묘술、가시화、구건화건립문당.본문개소료일충UML행위도구동적Java정서운행시험증공구.해공구이일개수궤적측시용례집작위수입,운행경과삽장적피측Java정서,득도일조용우험증적정서운행궤적.통과대정서운행궤적화UML행위도중합법적사건서렬적비교,해공구가이대정서적동태행위규약진행검사.본문묘술료해공구적설계사상、산법화실현기술,병통과대실례연구대해공구적가용성화유효성진행료토론.
