摘要：随机测试是实践中广泛采用的一种黑盒测试方法.近年来提出的适应性随机测试方法改进了随机测试的不足,仿真实验结果表明,改进效果取决于软件失效域的特征.提出以测试约束刻画软件失效域在输入域上的分布,探讨了基于现有的程序分析技术构造测试约束的过程,讨论了基于测试约束的软件失效域的特征分析方法.以一个实例软件验证所提出的测试约束构造过程及其软件失效域特征分析方法.测试约束揭示了软件故障的触发与传播的内在机制,基于测试约束的软件失效域的特征分析方法有助于改进测试用例的设计质量以及评价适应性随机测试方法的适用性.

摘要：为了设计和生成系统工作流程的测试用例 ,引入测试大纲模型的概念 ,设计出从UML(UnifiedModelingLanguage)活动图模型到测试大纲模型 ,再到测试用例模型的三级转换过程和一组消除活动图模型中的非结构化特征、将其转化为模块化的测试大纲模型 ,以及把并发子过程实例化为一组典型测试场景的基本规则 .还研究了针对每一个输入操作 ,选择基本输入数据集 ,并将其赋予测试大纲模型之上 ,从而构造测试用例模型的方法 ,以及最终基于测试用例模型生成完备的测试用例集合的方法 .

摘要：近年来,面向服务的架构(SOA)正逐渐成为分布式系统开发的新范型.为了满足快速变化的需求,服务组装应具备足够的适应性.针对目前广泛采纳的服务组装语言BPEL在适应性支持方面存在的不足,对标准BPEL进行扩展,开发了VxBPEL,支持服务组装中的可变性设计.为了在运行时刻解释与执行服务组装中的可变性定义与可变性配置,基于开源BPEL引擎ActiveBPEL开发了VxBPEL引擎VxBPELEngine.通过实例系统验证了基于可变性设计的适应性服务组装方法的可行性,评估了VxBPELEngine引擎的性能.

摘要：软件测试是一种广泛使用的软件质量保证手段.变异测试是一种基于故障的软件测试方法,广泛用于评估测试用例集的充分性与软件测试技术的有效性.数量庞大的变异体导致变异测试的成本非常高.提出一种数据流分析指导的变异体精简方法(DFSampling),设计了启发式规则,基于这些规则对随机选择技术与基于路径感知的变异体精简技术(PAMR)进行了改进.采用经验研究的方式评估了DFSampling的有效性,比较了DFSampling与随机选择技术、PAMR技术的有效性,实验结果表明DFSampling是一种有效的变异体精简策略,提高了变异测试的效率.

摘要：万物互联、数据驱动的智能化时代来临.软件系统帮助人类定义更快的网络、更智能地控制设备、采集更多样的数据、完成更丰富的处理和分析,从而提升人类的工作效率和生活体验.软件的智能化,以及软件开发和质量保证技术的智能化控制是越来越重要的研究与实践主题.智能化软件的研发可以从经典的控制理论得到丰富的模型借鉴,因为智能软件系统的反馈和优化本质上就是自动控制领域长久以来追求的目标.软件控制论从提出之日起,始终倡导计算机软件领域与控制领域的跨学科交叉研究,其核心科学问题是,建立软件系统行为的控制模型、设计方法和控制理论,实现对软件制品及其研发过程进行有效、定量化的控制.软件控制论通过将软件(软件工程)问题归结为控制问题,以及将控制理论引入到软件领域,研究这2个领域的交叉与融合发展,并共同服务于新时期技术进步.研究智能化时代的智能化软件和软件控制论对未来信息技术的持续发展具有重要意义.

摘要：计算机应用系统的日益复杂和庞大,使得软件体系结构的研究成为当前的研究热点。软件体系结构设计已经成为软件生命周期中的一个重要环节。但是,如果无法对一个软件体系结构进行客观的、可行的定量和定性分析和评价,那么这种软件体系结构是不可靠的。现代软件的需求不断变化、业务规则和新的软件技术变化不停。

摘要：不同于传统C,C++或Java程序,BPEL(Business Process Execution Language)程序由一组活动及其之间的交互组成,同时引入了并发、序列化、XML表示等新特征,这些新特点使得定位BPEL程序的故障具有一定的挑战性。针对现有故障定位技术在有效性方面的不足,提出一种基于变异分析的BPEL程序故障定位技术,依据BPEL程序的特点及其变异算子的特点设计了一组优化策略,开发了相应的支持工具。通过一组BPEL程序实例来评估所提方法的有效性,比较了所提方法与现有BPEL程序故障定位技术的定位效果。实验结果表明,与现有方法相比,所提方法具有较高的召回率,故障定位代价基本相当,提出的优化策略进一步降低了所提方法的变异执行开销。

摘要：文章将场景技术用于软件测试工具系列Safepro的开发，在讨论测试工具开发共性的基础上，还兼顾个别测试工具的一些特别之处。文中简要介绍了软件测试工具的研究现状，随后给出了系统的测试场景，并基于场景分析了系统的构成模式，讨论了测试数据流模型，包括测试过程的数据流模型，数据流的性能改进，以及基于消息的数据分发和缓冲计数的应用。文章还介绍了采用Makefile规则实现测试分析过程组织的方法。

摘要：软件时间性能分析与评估技术是实时软件开发中的一个重要课题.提出了一种基于控制流程图的程序执行时间的可视化分析框架,研究了中间代码段与源程序中语句的对应关系的自动分析、源程序语句行的CPU周期数的提取和计算方法、基于控制流程图的点到点最大时间分析算法和CPU周期的绝对时间估计方法.设计并实现了一个实用的基于控制流程图的程序执行时间静态分析与评估工具.最后,对研究工作进行了相关比较和总结.

摘要：本文通过参与、观摩和总结国外著名大学软件工程技术的教学实践，提出了一种适用于计算机软件工程技术、教辅并重的小班教学模式，并以荷兰格罗宁根大学计算机本科生课程“软件分析与设计”课程教学为例，详细探讨了该模式的教学组织与管理。最后，针对我国高校计算机软件工程技术课程教学的现状，指出了实施教辅并重的小班教学模式必须注意的问题。