计算机测量与控制
計算機測量與控製
계산궤측량여공제
COMPUTER MEASUREMENT & CONTROL
2010年
4期
792-794,797
,共4页
OSD模型%基于状态的测试%类测试
OSD模型%基于狀態的測試%類測試
OSD모형%기우상태적측시%류측시
类是面向对象程序语言的基本组成单位,所以类测试是整个面向对象软件测试的关键所在;论文主要针对传统状态测试方法在发现错误机制上存在的不足,研究了一种利用OSD模型的基于状态的类测试方法,提出了利用OSD模型与系统分析设计的状态图模型进行比较的思想;通过比较两个状态图模型中的状态是否一致以及各个状态间的方法转移是否一致,来发现传统状态测试难以发现的错误;实践证明,该方法能够检测出传统的状态测试方法难以检测到的错误.
類是麵嚮對象程序語言的基本組成單位,所以類測試是整箇麵嚮對象軟件測試的關鍵所在;論文主要針對傳統狀態測試方法在髮現錯誤機製上存在的不足,研究瞭一種利用OSD模型的基于狀態的類測試方法,提齣瞭利用OSD模型與繫統分析設計的狀態圖模型進行比較的思想;通過比較兩箇狀態圖模型中的狀態是否一緻以及各箇狀態間的方法轉移是否一緻,來髮現傳統狀態測試難以髮現的錯誤;實踐證明,該方法能夠檢測齣傳統的狀態測試方法難以檢測到的錯誤.
류시면향대상정서어언적기본조성단위,소이류측시시정개면향대상연건측시적관건소재;논문주요침대전통상태측시방법재발현착오궤제상존재적불족,연구료일충이용OSD모형적기우상태적류측시방법,제출료이용OSD모형여계통분석설계적상태도모형진행비교적사상;통과비교량개상태도모형중적상태시부일치이급각개상태간적방법전이시부일치,래발현전통상태측시난이발현적착오;실천증명,해방법능구검측출전통적상태측시방법난이검측도적착오.
