连续执行软件可靠性验证测试方法

针对基于经典统计假设检验的固定期测试方法测试持续期太长,难以满足现代连续执行软件可靠性验证测试的需要,提出了一种基于经验贝叶斯统计推断的连续执行软件可靠性验证测试方法。该方法通过可靠性增长测试阶段的测试记录获得软件失效强度的先验分布,从而得到所需要的验证测试持续期,并结合检证测试过程中的具体情况,提出了先验动态整合的方法。实验表明,该方法在不降低验证测试结果可信性的条件下,能有效地减少可靠性验证测试的持续期。     

基于UML模型的统计测试方法研究

为增强统计测试的可行性、可测试性,降低建立使用模型的难度,通过研究作为工业标准的统一建模语言UML,提出了一种基于UML模型的统计测试方法。论文首先建立了基于UML模型的统计测试过程,然后结合扩展的UML模型和使用模型的形式化描述,给出了从UML模型导出使用模型的一种形式化算法,并以工控机器人软件为例说明了应用该方法的完整过程。     

一种用于类测试的改进型EFSM模型

扩展有限状态机(EFSM)中迁移存在前置条件和相应操作,而前置条件和相应操作中变量的相互依赖性导致了EFSM中存在不可达路径,不利于基于EFSM模型的类的测试。通过把UML状态图转换成EFSM模型,提出一种消除EFSM模型不可达路径算法,从而建立一种用于面向对象软件的类测试模型,通过该模型可以应用传统的数据流和控制流分析技术对类进行测试。     

分布式实时计算系统的一种调试方法

针对分布式实时系统的特殊性,对分布式实时语言DRTC++编写的分布式实时应用程序,利用DRTDebug的设计和调试原理,提出分布式实时计算中不确定性等问题的解决方法,得到分布式实时程序运行信息的收集模型。该模型简便、实用,可以直接用于分布式实时程序的调试中。     

Hades高可信架构中分区间信息流控制的研究

为保障Hades高可信嵌入式操作系统体系架构自身的可信性,必须对其不同安全等级分区之间的信息交互进行严格的控制。该文分析了现有采用分区机制的可信系统的信息流控制方法的不足,提出了一种信息流控制模型,建立了信息流控制机制,并通过实验原型进一步验证了该信息流控制技术的正确性和有效性。     

实时可信服务的构件设计与形式化描述

针对分布式实时嵌入式系统DRES,设计了一种提供自适应服务质童(QoS保证的构件模型QuOCCM,以形式化方法描述构件,并推导构件各实体之间的自适应过程.QuOCCM由三部分组成,Client、Qoskets和Server,分别以CCM(CORBAComponent Model)构件技术实现.Client与应用或功能构件交互,获取当前QoS需求,并触发自适应机制;Qoskets通过对QoS保证框架QuO进行改进,以构件技术实现QoS自适应调整策略;Server提供自适应调整之后的QoS保证机制.研究结果表明,该方法不仅保证了DRES中当前应用环境的QoS自适应需求,而且QoS保证与具体功能应用分离也降低了系统开发的复杂性.形式化方法研究为构件实体间的交互提供了保证.     

局域网电视数字化集成

计算机技术和电视技术的飞速发展,已经使电话、计算机和电视三网合一成为现实。本文对局域网中数字电视服务体系的建立进行了探讨和分析,提出了一种融合视频点播、机顶盒、数字电视和网络计算机等技术的数字化服务体系结构,并简单介绍了该体系结构的实现方法。     

基于tinyos的无线传感器网络操作系统移植性研究与实现

tinyos本身仅仅支持少数平台，当遇到新的平台上时，系统本身就不支持，必须将其移植到新的芯片平台上，满足项目的需要和系统的正常运行。研究TinyOS的移植就具有非常重要的价值。本文在介绍了无线传感器网络（WSN：wireless sensor network）及其硬件平台的基础上，深入分析了WSN操作系统Tinyos的分层结构设计，最后针对Tinyos的硬件抽象层，给出了Tinyos移植到不同平台的方法。     

IGRS协议安全机制的分析与研究

在分析信息设备资源共享协同服务(IGRS)协议安全管道实现流程基础上,提出了一种利用层次分析法(AHP)排列设备所采取的安全机制的方法.讨论了指数补偿算法对于两个ICRS设备连接出错时的解决方法.     

一种嵌入式图形支持库的设计与实现

在嵌入式系统中，由于硬件的限制和软件工程实施上的困难，一直缺乏一种较为完善的2D／3D图形设计以及游戏图形控制引擎。为了解决上述问题，提出了一种同时支持2D和3D图形处理和I／O控制的嵌入式图形接口模型。该模型采用组件化模式，支持2DGUI设计，也可用作为3D图形设计和游戏引擎开发。