航电设备测试系统的面向对象分析与设计

利用航电设备测试系统(ATS:AvionicsTestingEnvironment)对实时嵌入式软件进行系统测试是国内外公认的、行之有效的方法。论文对ATS的软件进行了面向对象的分析与设计。将ATS软件分为两大构件——实时构件和非实时构件,分别给出了它们的关键类。非实时构件的关键类是配置工具类,实时构件的关键类是模型类、实时变量类和调度器类。实时调度策略为SBRMS(Segment-BasedRMS)。依据论文成果设计和实现的GESTE已成功地对多个软件进行了系统测试,验证了论文研究成果的正确性和有效性。

软件代码缺陷分类及其应用

分析现有软件缺陷分类方法,基于对航空型号软件实施代码审查的实际经验,提出较完善的代码缺陷分类,将其应用于某航空型号软件代码审查,发现的缺陷占全部测试所得的75%。给出可以覆盖该缺陷类型的新类型。检验结果表明,该代码缺陷分类可以有效指导代码审查。

代码缺陷模式的概念及形式化表示

针对代码缺陷研究中存在的缺陷产生场景不明确以及形式化程度较低等问题,基于模式的定义给出代码缺陷模式定义,以其核心三要素为基础,对代码缺陷模式形式化表示进行研究,采用基于扩展模式描述语言的形式化表示法,将直接场景和缺陷代码结构共同反映于同一概念下。实例验证了代码缺陷模式概念的合理性及其形式化表示法的有效性。