计算机工程
計算機工程
계산궤공정
COMPUTER ENGINEERING
2010年
19期
90-92
,共3页
吴惜华%钟诚%莫英红%唐金辉
吳惜華%鐘誠%莫英紅%唐金輝
오석화%종성%막영홍%당금휘
类测试%用例生成%多线程%多核计算机%并行处理
類測試%用例生成%多線程%多覈計算機%併行處理
류측시%용례생성%다선정%다핵계산궤%병행처리
通过类的数据流分析计算出实例变量的"定义-使用"对信息以及成员函数的前置和后置条件,利用类的继承多态性对被测试类进行预处理.在JPF 中设置搜索环境,将测试用例生成问题简化成模型检测中寻找反例的问题,提出一种在多核计算机上实现的线程级并行生成类测试用例的方法.实验结果表明,该方法可以减少测试生成所需的状态数和运行时间,算法可使用的处理核心越多、测试生成所需的时间越少.
通過類的數據流分析計算齣實例變量的"定義-使用"對信息以及成員函數的前置和後置條件,利用類的繼承多態性對被測試類進行預處理.在JPF 中設置搜索環境,將測試用例生成問題簡化成模型檢測中尋找反例的問題,提齣一種在多覈計算機上實現的線程級併行生成類測試用例的方法.實驗結果錶明,該方法可以減少測試生成所需的狀態數和運行時間,算法可使用的處理覈心越多、測試生成所需的時間越少.
통과류적수거류분석계산출실례변량적"정의-사용"대신식이급성원함수적전치화후치조건,이용류적계승다태성대피측시류진행예처리.재JPF 중설치수색배경,장측시용례생성문제간화성모형검측중심조반례적문제,제출일충재다핵계산궤상실현적선정급병행생성류측시용례적방법.실험결과표명,해방법가이감소측시생성소수적상태수화운행시간,산법가사용적처리핵심월다、측시생성소수적시간월소.
