重庆邮电大学学报（自然科学版）
重慶郵電大學學報（自然科學版）
중경유전대학학보（자연과학판）
JOURNAL OF CHONGQING UNIVERSITY OF POSTS AND TELECOMMUNICATIONS(NATURAL SCIENCE EDITION)
2010年
6期
786-790
,共5页
嵌入式实时操作系统%OSEK/VDX(open systems and the corresponding interfaces for automobile electronic/vehicle distributed executive) OS规范%系统服务调用%一致性检测
嵌入式實時操作繫統%OSEK/VDX(open systems and the corresponding interfaces for automobile electronic/vehicle distributed executive) OS規範%繫統服務調用%一緻性檢測
감입식실시조작계통%OSEK/VDX(open systems and the corresponding interfaces for automobile electronic/vehicle distributed executive) OS규범%계통복무조용%일치성검측
OSEK/VDX(open systems and the corresponding interfaces for automobile electronic/vehicle distributed executive) OS规范描述了一个嵌入式实时操作系统,对系统服务调用的上下文做了严格的限制.违反系统服务调用规范是一种很隐蔽的错误,不会被编译器发现.提出一种OSEK/VDX OS系统服务调用规范一致性的检测方法,利用森林图描述用户自定义代码中的函数及其调用关系,采用矩阵描述OSEK/VDX OS系统服务调用的规则,遍历该森林图的函数调用路径,对于每条路径,结合该规则矩阵判断其规范一致性.实验和分析表明该方法能有效地检测用户自定义代码中隐藏的违反OSEK/VDX OS系统服务调用规范的错误.
OSEK/VDX(open systems and the corresponding interfaces for automobile electronic/vehicle distributed executive) OS規範描述瞭一箇嵌入式實時操作繫統,對繫統服務調用的上下文做瞭嚴格的限製.違反繫統服務調用規範是一種很隱蔽的錯誤,不會被編譯器髮現.提齣一種OSEK/VDX OS繫統服務調用規範一緻性的檢測方法,利用森林圖描述用戶自定義代碼中的函數及其調用關繫,採用矩陣描述OSEK/VDX OS繫統服務調用的規則,遍歷該森林圖的函數調用路徑,對于每條路徑,結閤該規則矩陣判斷其規範一緻性.實驗和分析錶明該方法能有效地檢測用戶自定義代碼中隱藏的違反OSEK/VDX OS繫統服務調用規範的錯誤.
OSEK/VDX(open systems and the corresponding interfaces for automobile electronic/vehicle distributed executive) OS규범묘술료일개감입식실시조작계통,대계통복무조용적상하문주료엄격적한제.위반계통복무조용규범시일충흔은폐적착오,불회피편역기발현.제출일충OSEK/VDX OS계통복무조용규범일치성적검측방법,이용삼림도묘술용호자정의대마중적함수급기조용관계,채용구진묘술OSEK/VDX OS계통복무조용적규칙,편력해삼림도적함수조용로경,대우매조로경,결합해규칙구진판단기규범일치성.실험화분석표명해방법능유효지검측용호자정의대마중은장적위반OSEK/VDX OS계통복무조용규범적착오.
