嵌入式软件安全可靠性探索

嵌入式软件由于其应用场合、硬件平台及操作系统的多样性,使嵌入式软件在各种不同条件下可能出现未知、不可预测的状况,即其潜在风险往往比通用PC机的软件要高,高可靠性和安全性自然成为嵌入式系统的重要指标。嵌入式软件根据经验可以从三个方面来谈谈加强其安全可靠性：硬件安全（主要指承载软件的芯片安全）、平台安全（主要指支撑软件运行的嵌入式操作系统）、应用安全（主要指嵌入式软件自身的算法规范性、数据加密、内容完整性和授权）。     

基于程序结构的测试用例自动生成研究

在实际的软件工程应用中,由于软件测试具有很强的针对性,各种测试活动往往难以制定为统一的标准行为,为满足特定的测试目标,需要有效足迹多种不同的测试活动。测数据生成的自动化程度又是测试工具乃至整个测试过程自动化程度的关键技术所在,本文则主要针对这一问题对测试数据的自动生成技术进行了研究和设计,使用遗传算法的测试用例自动生成方法。     

基于嵌入式软件架构的可靠性分析方法

提出了一个基于嵌入式软件架构分析方法,在开发初期对系统架构进行可靠性分析,得到可能引起软件失效的主要因素。     

嵌入式软件技术

21世纪嵌入式产品－信息家电正冲击着我们的生活，其使用的嵌入式软件技术与传统的软件技术有很大区别，利用Linux可以开发自己的嵌入式操作系统，为我国软件技术的发展提供了机遇。     

形式化方法自动生成测试用例的算法研究

本文提出了一种从形式规格说明中利用等价类划分的方法自动生成软件测试用例的算法,给出了算法步骤.算法设计,并进行了算法分析。最后指出了下一步工作的重点所在。     

基于扩展WSDL的测试用例自动生成

提出了一种基于扩展WSDL文档自动生成Web服务测试用例的方法,生成的测试用例包括测试数据和操作序列两部分：测试数据通过数据类型及刻面约束产生,并在产生过程中,通过子元素的权重调整生成策略,在保证有效性的同时减少了测试数据的数量;操作序列通过分析扩展WSDL的操作依赖关系产生,结合测试数据,能够有效地测试复杂的操作流程．     

基于AI规划的测试用例自动生成

随着软件在关键性系统中的大量应用,为避免造成灾难性的后果,必须对软件进行测试.但是,当前使用的测试方法常常需要测试人员手工开发测试用例,非常费时费力.本文介绍了基于AI规划的测试用例生成方法,通过初始状态和目标状态描述软件的典型使用情况,以此作为输入,能够自动地生成测试用例.     

基于IEC61508的嵌入式软件可靠性设计与验证

作为流程工业领域中典型的现场设备,智能变送器的嵌入式软件可靠性备受关注。利用IEC61508功能安全标准中软件开发V模型的思想,对智能压力变送器进行了软件设计与验证,包括系统安全需求分析、软件结构设计、模块设计与测试,最后采用失效模式影响及诊断分析(FMEDA)和故障注入试验2种方法对系统进行了安全评估。评估结果表明:在生产工艺给安全性带来很大不确定性的条件下,所研究的智能变送器的安全失效分数为88.3%,基本达到了当前先进智能变送器的安全失效分数水平。     

嵌入式系统的可靠性措施

工业控制中的嵌入式系统可靠性是至关重要。文章结合实际,阐述了在嵌入式系统的软件设计所采取的一些措施。     

PLC控制系统的可靠性设计

分析了影响PLC控制系统可靠性的主要因素,从硬件选型、安装、配置和软件编程方面提出了提高PLC系统可靠性的有效措施,其中硬件措施由电源的选择、输入输出的保护、外围器件的选型、完善的接地系统和PLC自身的改进等几部分组成;软件措施包括提高输入输出信号的可靠性、信息的保护和恢复、互锁功能的设置、故障检测程序的设计、数据和程序的保护以及软件容错。     

基于UML状态图的测试用例自动生成方法

随着UML建模在软件开发中的广泛应用,基于状态图的测试用例自动生成方法逐渐成为规格说明测试中的重要研究方向.在研究了现有测试用例生成方法的基础上,提出了采用函数最小化思想,依据边界测试准则生成测试数据,采用深度优先策略及记忆化搜索高效地生成测试用例.实验结果显示该方法能以较少的测试用例达到较高的路径覆盖率.     

基于有色Petri网模型的GUI测试用例自动生成技术

通过图形用户接口(GUI)测试已经成为软件测试的主要手段,但现阶段GUI测试自动化程度不高.针对这一问题,提出了一种基于模型的GUI测试用例自动生成技术.给出了基于有色Petri网模型的GUI对象建模方法.定义了2种测试覆盖标准,设计了基于不同测试覆盖标准的测试路径和测试数据生成算法.介绍了支持工具GUI测试用例生成器(GTCG)的设计与实现.实验表明: 该模型可有效地描述GUI系统的状态和行为,该技术有助于提高GUI测试的效率和质量.     

基于着色Petri网测试用例的自动生成

针对基于UML的面向对象程序设计方法及着色Petri网的特点,提出了一种基于着色Petri网的测试用例生成方法,该方法将UML的时序图描述转化为着色Petri网的形式化描述,通过深度优先遍历着色Petri网找出系统的测试路径,对给出的测试数据采用爬山法进行测试用例的选择,最后,根据路径覆盖的原则产生完整的测试用例．     

一种优化的测试用例生成技术研究

为了缩短软件测试周期,测试用例的生成是关键.在利用随机数生成测试用例技术中,提出了基于无理数产生随机数的关键算法和生成优化测试用例的方法.通过实例证明,该方法在产生均匀、独立的随机数方面是有效的.     

嵌入式系统数据的可靠性维护研究

嵌入式技术在不断的发展和广泛应用,嵌入式系统内存数据在存储时的可靠性维护也必然得到开发人员及用户的关注。本文针对目前嵌入式系统内存存放数据不可靠的特点,提出了保证内存数据存储可靠性的方法即对嵌入式系统的内存数据进行校验和纠错的方法,对嵌入式系统内存中数据存储可靠性维护具有重要的指导意义。     

一种测试用例精简与自动生成方法

为了保证软件质量,在开发过程中引入了多种软件测试技术,需要手工构造大量的测试用例,覆盖软件的功能点。但是手工构造测试用例,工作效率低,并且很难命中所有的功能点,尤其是功能点组合的情况。为了提升软件的测试覆盖率、降低人工成本,本文提出了一种测试用例精简与自动生成方法。该方法根据业务场景分类业务数据,构造功能点组合矩阵,归并、精简业务场景之间的功能点组合矩阵,再执行生产请求,匹配功能点组合矩阵,自动生成测试用例,从而聚焦核心功能点、提升软件的代码测试覆盖率,达到提升软件质量和安全、降低人工成本、提升团队交付能力的目的。     

嵌入式软件测试的实践与研究

随着社会的发展,嵌入式系统在人们的工作和生活中起到了越来越重要的作用,手机作为嵌入式系统的代表已经成为人们生活中不可或缺的物品.目前,嵌入式系统中软件系统的比重越来越大,也越来越复杂,嵌入式软件的可靠性正面临严峻的挑战.本文主要工作包括从嵌入式系统的介绍着手,分析了嵌入式系统的硬件及软件构成.分析了软件测试的基本方法和软件测试的过程.重点分析了嵌入式软件测试的特点、测试技术及测试工具.     

测试用例自动生成中约束求解策略的选择

在软件测试中,构造测试用例是非常重要的一环.传统的测试用例生成方法都由测试人员手动完成,这种生成方式效率低下成本高昂,同时生成的测试用例非常有限,覆盖率较低.首先探讨了通过约束求解的方法,通过分析程序路径中所有的约束表达式,逆推得到测试用例的过程;然后调查了不同类型的C语言工程的待测源码的统计结果,同时针对其特征,引入了不同的约束求解算法策略;最后通过各种策略的组合与配置,给出了一种具有普遍性的测试用例自动生成的约束求解方法.     

可靠性和抗干扰技术研究

本文研究了可靠性和抗干扰技术。     

嵌入式软件系统开发技术的研究

主要阐述嵌入式实时操作系统VRTX的体系结构、任务调度机制以及基于VRTX系统的软件开发技术。VRTX操作系统提供了面向对象的C 语言的应用编程接口和可视化的集成开发环境,使软件开发变得方便、快捷、嵌入式系统的采用,减弱了软件对硬件的依赖性,可以使硬件和软件的开发分开进行,所以现已成为通信产品开发的主流技术。