航空机载软件安全性测试技术研究

航空机载软件的安全性问题日趋严重,亟需对其进行严格的专门性测试,首先对当前的软件安全性测试研究现状予以总结,针对航空领域测试环境的特点提出了各种机载软件安全性指标;其次,在充分的安全性分析和传统的可靠性测试理论基础上,依照软件运行的关联风险值构建出机载软件的关键运行剖面,对机载软件安全性的关键运行进行严格的测试,并提出了机载软件安全性测试用例的生成算法;最后,利用统计理论探讨了测试用例数的改进和加速确定方法,用以提高软件的安全性测试效率.     

基于对象的嵌入式实时软件需求模型

The embedded real-time software requirements are analyzed, and an object-oriented software requirements model is proposed. At the same time, an example, employing this requirements model is introduced in practice.     

实时嵌入式软件的测试技术

实时嵌入式软件作为应用软件的大流派,在很多领域有着极其广泛的应用,但其质量却令人担忧,本文首先概括地介绍了实时嵌入式软件的应用现状,在详细分析了实时嵌入式软件的特征－实时性、嵌入性特性反应性－的基础上,综述了在该领域的国内外测试现状,包括各种测试方法,测试工具,测试策略和存在的问题,最后,对实时嵌入式软件的测试进行了小结。     

面向嵌入式实时软件系统需求工程环境——SREE

1 前言软件开发的需求阶段需要严格定义被开发系统的需求规格说明书(Software Requirement Specifications,SRS)。对于软件开发来说,SRS中的错误将导致开发成本、开发时间的增加,甚至是开发过程的失败,所以,SRS的正确和可靠极为重要。但由于许多因素,如问题的复杂性、设计人员交流障碍、用户对问题陈述的不完全和不一致以及需求易变性等,需求分析变得十分复杂。为有效地解决这些问题,人们主要围绕着需求分析模型和语言及CASE技术和工具进行了相关的研究,引入形式化技术和CASE具的需求工程正不断向着需求工程自动化的方向发展。     

实时软件测试技巧探讨

实时软件的测试是其开发过程中引人关注的问题。本文从实时软件自身的特点出发论述了其测试特点,阐述了从模块测试、联合测试到系统测试的测试策略。最后就当前实时软件测试中的有关问题提出了一些看法。     

面向集控嵌入式实时软件的单元测试方法研究

针对集控嵌入式实时软件的组成和特点,搭建了适合该软件的仿真单元测试平台,并详细介绍了基于Testbed对该软件进行单元测试的过程。依据静态分析输出的质量度量模型值定量地评价了软件内在源码的质量,并基于圈复杂度度量值提出了一种优先级的动态分析测试策略,用监控到的控制流信息来分析程序的覆盖率,从而确保单元测试的充分性和有效性,提高测试效率,保证软件的质量。     

关键字驱动的嵌入式实时软件自动化测试框架研究

为了提高嵌入式实时软件的测试效率,提出了基于关键字驱动脚本技术的嵌入式实时软件自动化测试框架。首先指出嵌入式实时软件测试存在的问题,对比分析了目前常用的自动化测试框架;然后针对DCS控制器嵌入式软件设计了自动化测试框架,并描述用到的相关技术;最后给出控制器版本验证的例子,结果表明自动化测试的可行性。     

嵌入式实时软件通用框架模型研究

框架是一种在某个领域获得软件重用的重要途径,描绘的是一个待建应用系统软件的主要结构.从实时嵌入式系统的两大特性着手,提出了一个通用的嵌入式实时软件框架模型,深入分析了该框架下的资源模型、时间模型、任务模型、调度模型和通信模型以及它们之间的相互依赖关系,并且进行了建模.该模型在某航空机载系统研究中得到了应用并切实提高了软件的开发效率和可维护性,具有一定的工程理论和应用价值.     

嵌入式实时软件的构件化开发技术研究

随着社会经济的快速发展,电子信息产品在社会经济生活中得到广泛的应用,与之相对应的嵌入式实时软件的开发活动也变得炙手可热,成为软件开发领域关注的焦点。嵌入式实时软件在当今社会经济生活中得到广泛的应用,所以在其开发技术上,应该将开发重点放在组建规范化、标准化的开发过程和技术手段上。本文从开发技术研究的角度,将嵌入式实时软件的构件化开发相关技术与现实生活中的应用联系在一起,对嵌入式实时软件的构件化开发的相关技术进行探讨与研究。     

基于RTLinux构建机载SAR实时成像处理器嵌入式控制系统

面向地学处理的机载SAR实时成像处理器由一组连接在工业总线上的数据处理板和一个嵌入式主控子系统构成，成像处理器的总体设计对主控系统的实时性，稳定性及可扩展性提出了严格的要求，比较了传统的嵌入式工业控制系统的设计方法，设计并实现一个基于廉价的PC与RTLinux的主控系统，分析了主控系统的两个重点；DSP宿主环境和RTLinux下的混合任务集，并通过给出一个RTLinux与Linux调度精度和误差的对比试验及其结果，证明了基于RTLinux的主控系统对支持细粒度调度方面的优越性。     

基于覆盖的软件测试技术在实时嵌入式软件中的应用研究

基于覆盖软件测试技术在实时嵌入式软件中的应用进行的研究，针对实时嵌入式软件测试的特点，文中提出了一个适用于实时嵌入式系统覆盖测试的软件测试模型。并对该模型实现中的核心技术进行了阐明。最后介绍了以上软件测试技术在实际工程项目的应用情况。     

嵌入式实时系统软件测试实践

软件质量是软件的生命,软件测试是保证软件产品质量的重要手段。本文从嵌入式系统的特点出发,阐述了嵌入式系统软件测试的实现方法。并结合某无线通信电台软件测试的实例,详细叙述了如何利用Testbed和RTInsight搭建嵌入式实时系统的软件测试平台,说明了在此平台上进行软件覆盖率测试和性能分析的全过程,同时给出了部分测试结果。     

嵌入式实时系统软件测试实践

软件质量是软件的生命,软件测试是保证软件产品质量的重要手段。本文从嵌入式系统的特点出发,阐述了嵌入式系统软件测试的实现方法。并结合某无线通信电台软件测试的实例,详细叙述了如何利用Testbed和RTInsight搭建嵌入式实时系统的软件测试平台,说明了在此平台上进行软件覆盖率测试和性能分析的全过程,同时给出了部分测试结果。     

嵌入式软件的动态测试

软件测试是软件质量保证的重要手段。本文构建了基于软件测试工具Testbed/RTInsight针对PC104系统的实时嵌入式软件测试环境。以求方程根的c程序为例进行PC104系统的软件动态测试,最后给出了动态覆盖率及性能分析的实验结果。性能分析能记录分析程序中每个函数的最大运行时间,最小运行时间,总的运行时间,以及运行次数。     

嵌入式软件平台的构件化模型研究

为了提高嵌入式软件的生产率,本文提出了一种基于构件的嵌入式软件平台模型CBMESP.CBMESP将软件开发平台与运行平台以统一的构件模型进行构件化,使其可以应用于各种嵌入式领域而不必更改该模型,只需调整构件库中的具体构件即可,具有普遍适用性.因此,CBMESP不但加强同一领域内,也加强了领域之间的重用性.CBMESP强调并提供了开发平台与运行平台（应用软件）统一的基于构件的定制方式,更好满足了嵌入式软件开发的多样性要求;最后,CBMESP根据嵌入式软件特点提出构件模型由三个可以独立实现和运行的部分组成,并解决了各部分之间信息的传递问题,较好适应了嵌入式软件的交叉开发过程和嵌入式系统资源有限的特点.     

一种基于XML脚本技术的嵌入式系统测试方法

针对嵌入式系统内存不丰富、开发测试工具贵、与硬件相关性等特点,为实现嵌入式测试平台的快速搭建和通用性,文章设计出一种层次结构的嵌入式测试平台,该平台能够被快速创建且独立于嵌入式系统,并利用XML(eXtensible Markup Language,可扩展标记语言)脚本技术实现了与嵌入式编程语言的无关性。     

基于Linux2．6嵌入式系统实时性研究

本文针对Linux内核实时性及其应用领域的需求做了分析研究,并对Linux2．6内核源代码进行了分析。在此基础上,针对2．6内核实时性的不足提出了改进方案,在中断及调度机制方面建立新的中断体系及任务模型,并进行了试验调试。测试结果表明,改进后的Linux内核的响应速度显著得到了提高。     

嵌入式软件建模、实现与验证：研究与进展

随着计算机硬件设备计算能力的迅速提高,嵌入式系统中软件的规模和复杂度的急剧增大,软件可靠性在嵌入式系统中的重要性占据了统治地位。本文首先概要介绍了嵌入式软件不同于传统商业软件、科学计算软件的物理性、实时性、领域性等重要特征,以及由此带来的困难和挑战。然后重点介绍目前在解决嵌入式软件系统开发过程中的问题时所采取的建模思想、实现技术和验证方法。最后对嵌入式软件及其相关技术的发展进行了展望。     

软件测试不确定性研究及解决途径

从分析软件测试的不确定性产生的原因,分析软件测试中存在的问题,提出加强软件测试工程化管理、测试方法模板的复用、采用测试用例的知识共享作为解决问题的途径,介绍了一种软件测试管理平台的实现。     

无线传感器网络的嵌入式软件测试

介绍了无线传感器网络软件模块的基本组成和其中的数据中转器嵌入式软件部分的功能设计,重点介绍嵌入式软件测试的基本概念、测试方法和关键技术。在此基础上给出了数据中转器的嵌入式软件测试系统的基本框架图和必要的软件测试工具介绍。