哈尔滨工程大学学报
哈爾濱工程大學學報
합이빈공정대학학보
JOURNAL OF HARBIN ENGINEERING UNIVERSITY
2007年
5期
566-570
,共5页
片上多处理器%存储系统测试%并行测试%层次化验证
片上多處理器%存儲繫統測試%併行測試%層次化驗證
편상다처리기%존저계통측시%병행측시%층차화험증
片上多处理器的体系结构具有高效、低功耗的特点,但由于整体逻辑规模较大,且存储系统有一致性的要求,因此其模拟器测试和验证的计算量大、复杂度高,整体采用传统的形式化测试方法测试速度慢.运用分隔测试技术可以在测试过程中降低整体计算的复杂度,将使用传统测试方法不能测试的复杂系统测试简单化;利用随机程序生成技术可以减少测试人员编写测试程序的时间并加速发现系统的错误,并行测试技术可以快速低功耗检验片上多处理器存储器系统的功能并具有良好的可扩充性.将上述测试方法集成在片上多处理器的测试中,能够对整体的计算量进行合理的分割和并行化,迅速定位整个系统的错误,大大缩减所需要的测试时间,降低了测试人员的工作量,提高测试结果的覆盖率和可信性.
片上多處理器的體繫結構具有高效、低功耗的特點,但由于整體邏輯規模較大,且存儲繫統有一緻性的要求,因此其模擬器測試和驗證的計算量大、複雜度高,整體採用傳統的形式化測試方法測試速度慢.運用分隔測試技術可以在測試過程中降低整體計算的複雜度,將使用傳統測試方法不能測試的複雜繫統測試簡單化;利用隨機程序生成技術可以減少測試人員編寫測試程序的時間併加速髮現繫統的錯誤,併行測試技術可以快速低功耗檢驗片上多處理器存儲器繫統的功能併具有良好的可擴充性.將上述測試方法集成在片上多處理器的測試中,能夠對整體的計算量進行閤理的分割和併行化,迅速定位整箇繫統的錯誤,大大縮減所需要的測試時間,降低瞭測試人員的工作量,提高測試結果的覆蓋率和可信性.
편상다처리기적체계결구구유고효、저공모적특점,단유우정체라집규모교대,차존저계통유일치성적요구,인차기모의기측시화험증적계산량대、복잡도고,정체채용전통적형식화측시방법측시속도만.운용분격측시기술가이재측시과정중강저정체계산적복잡도,장사용전통측시방법불능측시적복잡계통측시간단화;이용수궤정서생성기술가이감소측시인원편사측시정서적시간병가속발현계통적착오,병행측시기술가이쾌속저공모검험편상다처리기존저기계통적공능병구유량호적가확충성.장상술측시방법집성재편상다처리기적측시중,능구대정체적계산량진행합리적분할화병행화,신속정위정개계통적착오,대대축감소수요적측시시간,강저료측시인원적공작량,제고측시결과적복개솔화가신성.
