软件测试研究进展

从软件测试的技术与过程、持续的软件测试、软件测试的充分性准则等方面简要介绍软件测试的基本思想;讨论软件测试中的若干问题,包括面向路径的测试数据自动生成、测试预言、期望结果的自动生成、回归测试等;并且探讨软件测试的发展趋势,包括构件测试、软件的易测试性与基于合约的构件易测试性设计和Web Services测试等。     

面向组件的软件测试技术

使用组件,特别是第三方商业组件集成开发而成的软件越来越多,面向组件的测试技术的需求越来越大。UML是目前软件开发业应用最广泛的可视化标准建模语言,它能应用于整个软件开发过程的各阶段。UML的许多特点与面向组件的软件测试需求相吻合。基于UML的软件测试技术在对面向组件的软件开发具有广阔的研究和应用前景。     

基于XP的一种改进的测试模型

软件测试是软件质量保证的一个重要元素,在测试过程中使用合理的软件测试模型可以降低测试在开发活动中的花费和开发时间。通过对XP中测试和传统测试模型W模型的分析,找出W模型的不足,提出一种适用于XP的新的测试模型。该模型将测试驱动的思想贯穿于软件开发周期的各个阶段,并且加入了回归测试的范围,可以尽早发现软件中的错误,降低成本。     

农业专家系统开发平台测试方案研究

主要阐述了对农业专家系统开发平台测试方案的研究及一些测试技术在其中的应用，提出了针对这类开发平台的一种分阶段、分步骤、分领域的测试方案，并运用案例分析了黑盒测试、应用操作覆盖测试和Web应用软件测试技术在测评这类开发平台中的应用。     

面向对象软件测试技术研究

软件测试在整个软件项目开发过程中有着举足轻重的地位,测试技术的发展对于缩短软件开发周期、降低成本、提高软件质量都有着十分重要的意义。本文介绍了面向对象与软件测试相关知识,并对面向对象软件测试技术进行了深入研究。     

分布式并发软件生命周期模型研究

针对软件开发原有生命周期模型主要针对传统的顺序集中式开发、已无法适应新的开发需要的问题,提出了针对分布式并发软件开发的菱形软件生命周期模型．分析了传统软件生命周期的缺点,给出了新的生命周期模型定义,以及模型组件的相互关系,分析了模型组件间的有效关系和无效关系,探讨了新模型如何弥补传统软件生命周期模型的不足．该模型定义清晰,使用简单,便于分析分布式并发软件的开发过程．     

弹载软件系统测试平台设计方案

软件系统测试在整个弹载软件开发过程中,位于软件设计、编码之后,是不可缺少的验证手段.软件系统测试平台的目的是为快速构造满足功能和性能要求的软、硬件提供环境支撑.根据需求,对软件系统测试平台的建立进行了有效的探索,提出了完整的弹载软件系统测试平台设计方案.系统测试平台设计方案组件化程度高、可扩展能力强,支持仿真模型、故障脚本、试验设计等开发组件,具有高效、可复用性好的特点;采用实时通讯机制和实时脚本等技术的有效结合,合理地利用系统的资源,有效保证了系统良好的实时性和灵活性.     

体系结构描述语言——WRIGHT

软件体系结构设计已成为软件工程的一部分,为体系结构开发提供工具和环境也就更加重要。本文介绍一个支持体系结构规范说明的语言ＷＲＩＧＨＴ,它注重连接器的定义（即协议）,提供了形式化推理和体系结构一致性检查的工具。实现了体系结构设计的要求。     

浅谈软件的重用

软件重用会为软件开发带来巨大利益。简要地介绍了软件重用的定义、形式及其分类,重点对软件重用技术的研究与发展进行了阐述,并提出了提高可重用软件开发能力的原则。     

关于ABEL软件若干应用技术问题的探讨

ABEL软件是新一代高效可编程逻辑器件(PLD)设计工具。本文对ABEL开发软件的GAL器件库定义、逻辑功能描述方法、测试向量的确定以及源文件的处理等关键应用技术问题进行了深入探讨。正确运用这些技术对于提高可编程器件的逻辑设计效率和可靠性具有实际意义。     

软件敏捷测试实践教学方法探索

针对应用型本科软件测试课程的教学目标及教学内容,探索软件敏捷测试实践教学方法。该方法以用户需求为中心,着眼于软件测试的速度与适应性,高度强调对测试对象及其新增功能开展快速迭代测试、持续集成测试、以及构建验证测试活动,来达到调整与适应测试需求不断变化的目的。从而与当前业内普遍采用的中、小(微)软件项目的敏捷测试形成无缝衔接,能够真正满足业内对应用型软件测试类人才的用人需求。最后把该方法充分运用于指导软件测试课程的实践教学环节中,并提出了相关后续研究工作。     

基于UML的软件设计信息抽取及其在重构中的应用

运用统一建模语言UML(Unified Modeling Language),提出了一种关系型建模方法,并实现了一个原型系统,能够对UML中蕴含的部分设计信息进行建模与抽取.所得到设计信息能够应用于软件重构及面向方面编程中,能够挖掘设计阶段形成的语义信息,有效地帮助开发人员进行软件重构.     

基于仿真的汽车电子控制器软件开发方法研究

以车身控制系统中的车窗控制器和雨刮控制器为例,研究一种基于仿真及代码自动生成的汽车电子控制器软件的新型开发方法.利用Simulink/Stateflow建立汽车电子控制器算法模型,进行离线仿真验证和快速模型验证,然后通过RTW自动生成可执行的代码,最后可将自动生成的代码直接嵌入到控制器硬件中,实现了汽车电子控制系统的软件开发.通过与Simulink中仿真结果进行对比,验证了该方法的可行性和正确性.经过实践证明该开发模式可以大大缩短控制系统的开发周期,对于汽车电子系统的开发具有一定的实用价值.另外,在软件开发的各个阶段对设计功能进行测试验证,提高设计开发的正确性.     

基于Web的组态界面软件架构的设计与实现

随着互联网的不断发展,基于Web的软件开发需求也越来越引起关注。传统的网络开发周期长、功能的复用率低、扩展性差,这些问题给开发和使用人员带来了极大的困扰,其开发效率已逐渐无法适应多变的网络环境和需求。将组态的概念引入基于网络软件应用中则有可能改变这一现状。所谓组态就是用应用软件中提供的工具、方法,完成工程中某一具体任务的过程,在传统上组态软件已大量应用于工业领域。利用组态软件的灵活性,介绍和发展了一种基于Web的组态软件架构的定义和实现。通过将组态软件的系统结构和模型应用于Web软件开发中,提高Web软件应用开发的效率,使Web软件应用具有更好的扩展性。     

软件测试应用性人才培养模式的探索与实践

软件测试已发展成为软件产业的一个独特市场。软件测试行业的迅猛发展,急需大量高素质的软件测试人才。分析软件测试应用性人才培养的特点,针对软件测试应用性人才的素质要求,对本科教育中软件测试应用性人才的培养模式及课程体系进行了探讨和实践。     

软件测试自动化关键技术的研究

软件测试是软件开发生命周期的重要组成部分,也是目前和今后相当长一段时间内保证软件质量和可靠性的关键手段。为了提高软件测试的效率,开发软件测试自动化工具是十分必要的。本文在已经实现了的面向对象语言的软件测试自动化工具-Panorama的基础上,介绍了开发软件测试自动化工具中的一些关键技术的实现原理。     

A Requirements Engineering Environment for Embedded Real-Time Software—SREE

The paper presents the embedded real-time software-oriented requirements engineering environment—SREZ. It involves the whole process of software requirements engineering, including the definition, analysis and checking of requirements ,specifications. We first explain the principles of the executable specification language RTRSM. Subsequently, we introduce the main functions of SREE, illustrate the methods and techniques of checking requirements specifications, especially how to perform simulation execution, combining prototyping method with RTRSM and animated representations. At last, we compare the SREE with other requirements specifications methods and make a summary for SREE＇s advantages.     

基于构件技术的软件测试问题探讨

描述了构件技术的特点，介绍了构件及构件软件的概念、特点和由此引发的测试问题，以及现有构件软件测试方法的研究情况。     

一种前置测试的软件开发方法

测试是研发过程中的一个重要环节，但同其他过程相比，测试往往没有得到应有的重视，开发人员会将测试工作视为阻碍其按期完成开发进度的额外的负担。同时，传统的测试模型会推后发现错误的时间。本文介绍一种前置测试的开发方法，在开发之前就提前定义好该如何对程序进行测试，这不仅可以早期发现问题，并能够有效缩短开发时间。本文通过一个实例描述了该方法的基本原理。     

一种前置测试的软件开发方法

测试是研发过程中的一个重要环节，但同其他过程相比，测试往往没有得到应有的重视，开发人员会将测试工作视为阻碍其按期完成开发进度的额外的负担。同时，传统的测试模型会推后发现错误的时间。本文介绍一种前置测试的开发方法，在开发之前就提前定义好该如何对程序进行测试，这不仅可以早期发现问题，并能够有效缩短开发时间。本文通过一个实例描述了该方法的基本原理。