模型驱动开发方法的应用研究

为了研究最先进的模型驱动开发方法,并将之应用于工程,以提高工程的质量和效率,该文采用了Telelogic公司的UML2.0工具Tau Developer,利用其最强大的两个功能——模型验证和代码自动生成,进行了某空间实验设备的热控系统建模设计,实现了模型验证和代码自动生成。

Windows环境下多线程调度的安全监控

安全监控是维护软件系统并保证软件系统可靠运行的基本手段。对于实时性要求比较高的应用软件系统,必须慎重考虑安全监控对系统功能和性能的影响,并且还要能获得所有需要的监控信息。采用一系列有效措施,分析了如何在尽可能不影响系统功能和性能的前提下,对系统的运行状态进行实时的监视、统计和及时反馈。论述了安全监控的设计原理,在基础上给出了安全监控的实现方案。该方案在实际应用中具有令人满意的效果。

测试驱动开发在.Net环境中的应用

软件测试是保障软件质量的关键,开发者通常都是先写代码后测试,但当时间很紧迫时,测试就变得很困难并 且经常被忽略。极限编程最佳实践之一的测试驱动开发在写代码之前先写测试,解决了这一问题,提供了高质量、可测 试的代码。介绍了测试驱动开发在.Net环境中的应用。

嵌入式系统中的代码动态链接模型

飞行器上的计算机系统软件有时需要更新或升级,为了增加软件更新或升级的灵活性,降低其代价,有必要根据功能对飞行器上的软件进行模块划分,以实现单模块可更新升级。为此,提出了一种适用于嵌入式系统的代码动态链接模型,并以具体项目为背景,阐述了其编程实现的关键部分。该模型为嵌入式系统中软件目标代码复用和软件模块升级奠定了基础,在小卫星等空间飞行器上具有一定的应用价值。

安全关键软件的安全性保障工作研究

安全关键软件如果发生故障,可能会对国家财产和人民安全造成巨大的损失,所以需要重点考虑它们的安全性。但是由于当前还无法精确地定量评估软件安全性,而只能在软件生命周期中从安全性角度对开发行为进行规范和保障。概述了安全性相关的概念,并给出了一个完整的安全关键软件安全性保障工作流程。

面向对象主流切片表示法的比较研究

随着面向对象程序的发展,它的切片表示法也逐步成熟。对面向对象程序依赖图和面向对象系统依赖图这两种主流的面向对象切片表示法进行研究后,给出了两种方法的主要特点,并比较了它们的异同点及适用的应用领域。最后,对好的切片表示法应该具备的特性进行了总结。

基于Markov链的软件任务剖面建模方法研究与实现

针对航空航天等安全关键领域里嵌入式软件测试中存在的困难,引入并研究了用户需求模型和任务剖面模型的概念及表示方法,设计并实现了基于用户需求模型的任务剖面模型自动建模算法,进而结合Markov链模型与任务剖面模型,为任务流提取和测试用例生成工作提供依据,基于Rose可扩展接口(REI)开发了任务剖面模型自动建模工具。通过验证,肯定了上述方法与工具在嵌入式软件测试过程中的效果和价值。

嵌入式软件运行剖面建模及测试用例生成

软件运行剖面定量描述软件的使用方式,可以为软件测试提供一个定量的依据,从运行剖面出发可以自动生成测试用例,对提高软件测试的效率与正确性具有很重要的意义。本文给出了一个工程应用中构造嵌入式软件运行剖面以及从剖面生成测试用例的方法。

用于程序开发的改进的有条件切片算法

为了加速软件开发,提高软件质量,本文针对开发过程提出了一种改进的有条件切片算法。该算法改造了程序控制流程图,扩充了程序数据依赖定义,按照条件切片的一阶逻辑谓词缩减目标程序,并用扩充后的数据依赖计算有条件程序切片。在程序编码阶段,该算法能够抽取需要关注的代码段给开发人员,并能利用边的信息计算出程序的路径数目,从而为开发人员发现软件缺陷、冗余提供了有利的支撑。

基于任务剖面关键度划分的嵌入式软件可靠性增长模型

以任务剖面的关键度划分为出发点,考虑测试的有效性,建立一种随测试覆盖率变化的嵌入式软件可靠性增长模型,改变了以往模型中可靠性提高单纯依靠测试时间增长以及可靠度结果虚高等不足。提出在测试成本一定的情况下对软件进行可靠性增长测试时,关键度较高的任务剖面应该获得较多的测试工作投入,即获得较高的测试覆盖率。

嵌入式系统仿真研究

嵌入式环境的仿真能够为嵌入式软件的测试和可靠性的提高提供有力保障。当前的指令集环境模拟不能满足实际测试中的需要,基于此,构建了满足最小测试子集的仿真系统。该系统以关键控制单元为触发点,仿真嵌入式汇编软件的运行环境,实现了全数字、跨平台仿真,并支持脱离硬件的系统联调。为其它嵌入式系统的仿真提供了可借鉴经验。