计算机工程
計算機工程
계산궤공정
COMPUTER ENGINEERING
2011年
9期
54-56
,共3页
李锐%王三宏%范德全%蒋建春
李銳%王三宏%範德全%蔣建春
리예%왕삼굉%범덕전%장건춘
OSEK操作系统%一致性测试%分类树%资源管理
OSEK操作繫統%一緻性測試%分類樹%資源管理
OSEK조작계통%일치성측시%분류수%자원관리
研究OSEK操作系统的一致性测试需求,提出一种基于分类树的一致性测试用例生成方法.对测试对象进行分类划分,分析分类子集之间的相互关系和制约条件,借助图形化工具精简测试用例的数目.以AutoOSEK的资源管理模块为例进行一致性测试,测试结果验证了该分类树方法的有效性.
研究OSEK操作繫統的一緻性測試需求,提齣一種基于分類樹的一緻性測試用例生成方法.對測試對象進行分類劃分,分析分類子集之間的相互關繫和製約條件,藉助圖形化工具精簡測試用例的數目.以AutoOSEK的資源管理模塊為例進行一緻性測試,測試結果驗證瞭該分類樹方法的有效性.
연구OSEK조작계통적일치성측시수구,제출일충기우분류수적일치성측시용례생성방법.대측시대상진행분류화분,분석분류자집지간적상호관계화제약조건,차조도형화공구정간측시용례적수목.이AutoOSEK적자원관리모괴위례진행일치성측시,측시결과험증료해분류수방법적유효성.
