免费论文：鉴于妨碍注入的仿真尝试本领与要害本领接洽

正文以“十一五”预备性研究课题“装置尝试性考证与评价本领接洽及体例开拓”为后台，对嵌入式软硬件的妨碍领会本领、妨碍仿真规约刻画本领和妨碍注入本领举行了深刻的接洽，提出了一种鉴于妨碍注入的仿真尝试（STBFI：Simulation Testing Based on Fault Injection）本领，并对该本领举行了革新性的商量。跟着嵌入式体例的普遍运用，嵌入式软硬件尝试的接洽日益深刻。正文对准嵌入式软硬件仿真尝试的特性和不及，提出了一种鉴于妨碍注入的仿真尝试本领。STBFI本领旨在将妨碍仿真、妨碍注入本领与嵌入式软硬件仿真尝试范围举行灵验贯串，产生一套鉴于妨碍注入的嵌入式软硬件仿真尝试处置计划。舆论开始引见了STBFI本领所处置的题目域和手段，阐明了该本领的基础道理、要害个性，而后提出了STBFI进程框架，对鉴于妨碍注入的仿真尝试的进程举行阶段分别与刻画，结果贯串UML和“4+1”视图模子，给出STBFI平台体制构造，为嵌入式软硬件容错、BIT体制的考证供给了尝试本领、进程引导宁静台扶助。在嵌入式体例构成笼统和软硬件妨碍领会普通上，贯串软硬件安排中的框架和形式思维，提出了一种对嵌入式软硬件尝试中妨碍形式关系常识举行表述的妨碍领会框架观念。妨碍领会框架观念提出的手段即是要处置软硬件尝试范围中妨碍取样、妨碍仿真、妨碍注入中的妨碍常识复用题目。妨碍常识复用须要对关系妨碍域举行确定水平上的笼统。所以，妨碍领会框架贯串“形式”思维，以妨碍形式为基天职析东西，进一步提出了妨碍领会框架“三层”模子，将妨碍领会完全框架分为妨碍形式层、联系层和特性层，产生一个完备的妨碍领会框架体制。其余，经过表面本领与工程试验相贯串，正文在妨碍领会框架“三层”模子引导下，对嵌入式体例的妨碍域空间举行了领会并创造了典范妨碍形式库，对妨碍领会框架中“形式层”举行了更进一步细化与深刻接洽，为鉴于妨碍注入的仿真尝试本领奠定了普通。在仿真尝试情况领会的普通上，对妨碍仿真模子五元组设置举行了接洽，提出了一种妨碍仿真规约刻画本领。妨碍仿真规约刻画本领将事变/前提观念和时序论理引入到仿真尝试范围中，将妨碍仿真视为有限序列事变进程，对妨碍仿真和妨碍注入进程中相关妨碍注入操纵，仿真事变举行设置及对及时牵制和时序联系举行量化刻画，动作妨碍仿真和妨碍注入的实行按照。妨碍仿真规约刻画本领贯串了面向事变属性刻画和面向时序属性刻画两上面的特性。从事变属性刻画观点，妨碍仿真规约刻画本领安排了妨碍注入刻画原语，设置了仿真事变语义及典型，扶助刻画百般基础妨碍注入操纵事变、拉拢妨碍注入操纵事变以及仿真模子事变的关系属性设置。从时序属性刻画观点，妨碍仿真规约刻画本领贯串规约本质形式，借助线性时态论理框架与量化时序论理MTL（Metric temporal Logic）本领，对仿真尝试中的妨碍仿真、妨碍注入事变的及时牵制联系举行定量地刻画，能灵验的刻画目的体例状况变化、负载鼓励轨迹、妨碍注入等关系事变的时序联系，普及妨碍仿真与妨碍注入的精确性。摆设间妨碍注入本领是实行STBFI本领的要害本领之一。在集成式摆设间妨碍注入本领接洽中提出了一种将鉴于仿真的软硬件办法妨碍注入本领、鉴于启动的总线妨碍注入本领、鉴于FPGA的硬件妨碍注入本领归纳为一体的集成式摆设间妨碍注入总体框架，运用UML和“4+1”视图模子建立了STBFI平台体制构造，并辨别对鉴于仿真、鉴于启动、鉴于FPGA的三种妨碍注入本领举行了接洽，处置了鉴于妨碍注入的仿真尝试中所需实行的功效性妨碍仿真、总线通信妨碍注入、数字通路妨碍注入等要害题目。表面接洽根源于试验，运用于试验。正文采用某型号弹性导航体例举行尝试，对妨碍注入要害本领的可行性和精确性举行了考证。

来源：半壳优胜鲸鱼幸运星转载请保留出处和链接！

本文链接：http://87cpy.com/275449.html