软件测试的控制论方法

 软件测试被认为是软件开发过程中理解最为不清的一环。部分原因是虽然有很多策略被定义和分析,但很少有策略被设计和优化。软件测试的反馈机制迄今尚未形成。基于此种情况,软件测试的控制论方法将软件测试问题当作控制问题,被测软件当作被控对象,软件测试策略当作相应的控制器,被测软件和测试策略构成一个闭环反馈控制系统。软件控制论是一门探讨软件理论和工程与控制理论和工程交叉的学科,软件测试的受控马尔可夫链方法利用受控马尔可夫链理论设计和优化软件测试策略,是软件控制论思想的体现。在受控马尔可夫链方法的框架内讨论软件系统的自适应测试,并与随机测试进行比较,发现自适应测试方法相对于传统的随机测试方法具有较大的优越性。     

军用嵌入式软件测试技术研究

随着军用软件规模和数量的不断增长及其在信息能力方面的提升,军用软件质量已成为确保军事工程质量的关键,而推行软件测试以提高军用软件质量更是成为紧迫之举。但当前无论是在软件测试的认识层面,还是对软件测试的管理和技术支撑等方面仍然存在一些问题,软件测试工作形势依然严峻,急需得到改进和加强。本文主要分析了军用软件测试现状、存在的问题和原因,并综合设计体系结构提出对策措施,为整体推进软件测试工作提供了可行的解决方案。     

缩减软件测试工作量的途径

本文从软件自身的结构、软件测试模型、软件测试用例选择及软件测试工具等四个方面进行了探讨,力图据此达到缩减软件测试工作量的目的。     

基于数据操作的航天测控软件测试复用模型

测试复用技术是提高软件测试效率和质量的重要技术手段,在分析航天测控软件行为模式的基础上提出了基于数据操作的航天测控软件测试复用模型,给出了测试用例搜索和匹配算法;以航天测控外测数据处理软件的可靠性测试为例给出了模型的具体应用。结果表明,基于给定模型的测试复用方法可提供该软件约65%的测试用例,有效提高了测试效率,所提出的模型和方法对专业领域软件测试效率和质量的提高具有一定的借鉴意义。     

基于CMMI的软件测试项目过程管理

针对独立的第三方软件测试项目特点,运用基于CMM I的软件项目管理方法,将需求管理、测试项目策划、项目监督与控制、质量保证和配置管理要求贯彻在软件测试过程中,给出了软件测试项目过程管理解决方案。该方案保证了软件测试项目的质量,提高了测试项目的技术水平和管理水平。     

软件测试及其在某重点型号中的实施

本文简要介绍了软件测试的定义和方法，以及某重点型号中软件测试的组织和实施。     

软件测试—提高软件可靠性的关键手段

本文介绍了提高软件可靠性的关键手段，即软件测试。详细论述了软件测试管理系统、测试用例的自动生成以及一些软件测试工具。     

软件测试典型案例的研究及思考

软件测试是软件能力成熟度模型集成的重要活动,通过对软件测试典型问题的分析和研究,提出了解决方法,对软件质量的提升具有实际意义。     

弹载专用计算机工作软件测试分析

弹载专用计算机软件是影响导弹飞行的关键软件,在研制单位进行软件测试后,应由监造单位组织第三方独立的测试。文中介绍了软件测试的体会,强调对飞行控制软件的测试需要一定的理论支持和丰富的实践经验,在软件测试中,对软件设计提出了修改意见,以加强软件研制的质量监督。     

重视软件测试,提高软件的质量和可靠性水平

从提高软件质量的重要性出发,简要介绍了软件测试的目的和原则,分析了当前智能设备应用软件在开发、管理和测试方面存在的主要问题以及重视软件测试,提高软件质量和可靠性水平应采取的措施。     

航空电子软件仿真测试环境软件体系结构研究

首先介绍航空电子软件的特点,分析航空电子软件测试对测试环境的需求,提出一种分布式仿真测试环境的软件体系结构设计.基于RUP模型,以不同视图系统地对航空电子软件测试环境的体系结构进行了描述.应用代理模式,解决了分布式测试环境节点间实时通讯的关键技术.据此设计和实现的分布式仿真测试平台系统DSTE V1.0已成功地应用于多个航空电子软件系统测试工程中.     

一个模糊软件可靠性确认模型

模糊软件可靠性模型不仅适用于刻划测试阶段的软件可靠性行为,而且适用刻划确认(验收)阶段的软件可靠性行为。并给出在确认(验收)阶段判定软件是否达到可靠性目标的准则。     

某测试软件输入模块的可靠性测试方法研究

采用黑盒测试方法对某数据采集系统的测试软件进行了测试.通过对软件需求和性能的分析,建立了软件的运行剖面和测试案例,进行了可靠性测试,得到了该软件输入模块的可靠性测试结果.     

Bayesian图模型的化简及在软件测试中的应用

介绍了一种基于贝叶斯图模型的软件测试新方法,该方法为具有不确定性的软件测试问题的逻辑结构提供了形式化机制。分析了该方法的优点和不足,并进行了改进。提出了简化模型,给出了测试过程,通过实例介绍了该模型。表明通过基于贝叶斯图模型的测试方法所构造的模型可以作为软件测试的动态表示,并用于驱动测试设计,为测试者提供决策支持。     

基于并行工程的航空嵌入式软件测试过程研究

航空嵌入式软件市场不断动荡与激烈竞争的局面对航空嵌入式软件测试提出了新的挑战,商业化的第三方软件测试面临着质量、进度、成本等问题,而良好的软件过程与持续的过程改进是解决这些问题的一个途径。从对并行工程的研究入手,将并行工程的方法运用到航空嵌入式软件测试实践中,寻求基于并行工程的航空嵌入式软件测试过程,用于解决以上问题。     

一种嵌入式软件覆盖和分析测试方法

如何进行嵌入式软件的覆盖测试和性能测试,是嵌入式软件测试工程师较为关心的热点问题之一。介绍了一种基于PowerPc755目标板的嵌入式软件覆盖和分析测试方法。方法借助于嵌入式软件测试工具TestBed和实时硬件数据采集工具RTInsight,搭建了嵌入式软件动态测试平台,并在该嵌入式软件动态测试平台上进行了覆盖测试和性能测试,同时给出了相关的覆盖率测试和时间性能测试的测试结果。     

灰盒测试方法在软件可靠性测试中的应用

 阐述了软件可靠性测试的概念和灰盒测试方法在软件可靠性测试中生成测试数据方面的应用,给出了方法用于可靠性测试中的工作流程,分析了其与传统的可靠性测试方法相比的优越性以及尚未解决的局限性,展望了未来的研究方向。     

星载软件测试用例设计方法的研究

主要针对航天型号星载软件,结合三种测试方法的各自特点,归纳整理出测试方法在实际测试用例设计中使用情况以及产生的典型案例。并通过三种测试方法的比较得到每种测试方法的适用情况以及在实际卫星型号星载软件测试工程实践中的运用。目的是通过对三种测试方法的研究和典型案例的分析进一步提高软件评测的技术能力。