论文纲要：面向软硬件真实性评价的软硬件尝试进程数据建立模型与领会

跟着软硬件体例实行的功效连接增加，各个范围对软硬件的依附越来越高。软硬件常常被运用于安定关系范围，作废会引导重要的成果。软硬件真实性变成了此刻软硬件工程关心的中心。动作一种安定联系软硬件体例，机载软硬件体例诉求在适航认证或加入本质运用基础供证明表明体例是安定真实的。 正文对准机载嵌入式软硬件的真实性评价诉求，提出了数据模子以精确并搜集真实性评价所需的进程数据，并在模子和多种检查准则的普通上，对数据举行灵验性和普遍性的检查。真实性评价所需的软硬件尝试进程数据波及多种数据源，传播在百般各别的尝试进程文书档案、软硬件开拓进程文书档案和关系数据库中。不只数据品种多，并且数据间生存搀杂的关系联系。不只如许，对准规范软硬件开拓进程模子大概开拓指南，比方RTCA DO-178B，每个软硬件名目城市在开拓与尝试进程中有天性化的震动。怎样符合那些天性化的分别进而搜集相映的数据，并领会数据源中数据大概生存的不普遍、数据反复、数据不完备等题目是正文接洽的中心接洽实质。 正文按照RTCA DO-178B规范安排了面向真实性评价的软硬件尝试进程数据模子。该模子供给了一个完全视图，保证真实性评价时的数据完备性，设置了数据典型和数据之间的关系，保证数据的灵验性和普遍性。数据模子须要与相映的扶助东西举行共同才不妨用来数据搜集和处置。经过数据模子，该东西可将数据搜集中爆发的中央数据导出数据库，简化数据处置。数据元模子为东西的中心，可表白和保存数据模子及数据范例，以扶助在数据模子和数据范例中举行数据领会。 正文对准真实性评价关心的数占有效性诉求及尝试灵验性诉求，提出了5种数据检查本领，并参考RTCA DO-178B和关系接洽，采用了3种尝试充溢性规则领会软硬件尝试进程，囊括代码构造掩盖领会、需要掩盖领会、尝试处事量和代码搀杂度关系性领会。正文研制的数据处置平台扶助数据建立模型、搜集、处置和领会。经过本质的案例领会，原形东西的灵验性获得了考证。