李柯景，鲁光男

(长春大学计算机科学技术学院，吉林 长春 130022)

1 引言

嵌入式软件指的是支持嵌入式装置运行的软件层或是应用软件层，主要负责处理计算机发出的各项控制指令。嵌入式软件能够增值嵌入式设备，通过软件代码间的相互作用，实现软件的不同功能[1]。随着嵌入式软件应用面不断拓展，软件与局域网间的连接问题逐渐成为研究热点。

国外对嵌入式软件研究起步较早，在软件与网络连接错误故障的检测上也起步较早，借助于解析模型手段，现已研究得到实时检测方法。国内在研究嵌入式软件上的时间并不久，但在我国研究人员不断地努力下，已经得到了多种检测方法和测试平台。文献[2]提出嵌入式通信系统远程高速数据准确识别检测，分析远程高速数据，获取数据增高预警值，建立远程数据通信传输模型，利用远程数据点均值处理系统中的无效数据，采用动态平均线处理方法对通信系统中的有效数据缺失进行数据补偿，获得有效数据交叉信息链，连接相对独立的多个远程数据点均值，计算出数据的包络特征值，用于识别通信系统中的有效数据，形成远程有效数据时域波形信息分量，实现数据的精确识别检测。文献[3]提出采用随机Petri网的嵌入式机载软件可靠性检测，针对典型缺陷，建立了嵌入式机载软件系统行为模型，给出了典型缺陷的检测策略和判断准则，通过对Petri网模型进行仿真验证，验证系统是否存在这种设计缺陷，并给出了软件设计运行过程的仿真验证算法，以完成可靠性检测。……