件测试专.PDFVIP

《软件测试》专辑前言 张　健　　徐宝文 近年来，随着计算机技术的进步，以软件系统为核心的计算机应用已经渗透到各行各业，在国民经 济、国防领域以及人们的日常生活中发挥着越来越重要的作用．因此，当今社会对高质量软件的需求也 越来越迫切．但是，随着软件规模的不断增长，软件质量问题逐渐成为制约计算机发展和应用的瓶颈之 一．各种类型的软件错误层出不穷，不仅给人们日益信息化的日常工作和生活带来极大的不便，在很多 任务关键领域甚至会造成极大的财产损失乃至人身伤害．为了提高软件质量，尽可能地减少软件中的错 误，人们尝试使用各种先进的软件开发技术，并辅之以更加合理的生产管理手段，以提高软件产品的质 量．其中一个重要手段就是软件测试． 软件测试是使用人工或自动手段来运行、检测软件系统的过程，是软件开??必不可少的环节和软件 工程实践的重要组成部分．随着可信软件和新型软件模式的兴起，软件测试已成为目前软件工程领域的 热点研究问题，吸引了国内外很多专家学者和软件开发人员． 为了反映我国学者在软件测试领域取得的重要研究成果和应用实践，探讨软件测试的发展趋势和 目标，推进国内软件企业的技术革新，《计算机学报》组织和出版了本期软件测试专辑．本期专辑得到了 研究人员的热烈响应，经过严格评审，最终录用１５篇稿件． 本专辑收录的论文涵盖了软件测试领域的诸多方面，包括自动化测试、基于模型的测试、类间集成 测试、Ｗｅｂ服务测试和验证、静态测试、缺陷分析与预测等．每篇论文都有独到的学术创新和贡献，希望 能够为软件测试同行提供有益的参考，并有助于推动相关领域的深入研究． 论文“一种目标制导的混合执行测试方法”提出了一种结合静态分析和混合执行测试技术的目标制导 的混合执行测试方法，使用静态分析工具分析待测程序中可能含有缺陷的可疑语句及其缺陷类型，将静态 分析所报告的可疑语句作为目标指导测试，并实现了一个测试缓冲区溢出缺陷的原型工具：ＴＡＲＧＥＴ． 论文“基于ＦＳＭ的测试理论、方法及评估”讨论了若干基于ＦＳＭ模型的测试方法及其相关理论，提 出构造区分序列的理论及测试序列集合冗余约简的理论和基于ＦＳＭ的测试方法评估的５项量化指标；实 现了若干基于ＦＳＭ的测试生成算法并进行了实验评估，最后给出了一些基于ＦＳＭ测试的经验建议． 论文“面向ＴＴＣＮ３性能测试的负载生成方法”提出了一种模型驱动方法以更加有效地支持面向 ＴＴＣＮ３的负载生成，该方法能够完成从模型到ＴＴＣＮ３测试系统的自动转换；ＴＴＣＮ３测试系统可 在负载控制点的支持下得以执行，从而模拟出满足模型描述的负载场景． 论文“基于模型的网构软件可达性检测方法研究”针对网构软件可达性检测中存在状态空间“爆炸” 等问题，提出了一种基于网构软件代数模型的可达性检测方法，扩展了网构软件代数模型．将可达性判 定转化成递归表达式判定；将网构线性相关判定问题转化成齐次线性方程组非零解的判定．转换过程把 线性相关的网构进行压缩，从而有效地抑制了状态空间的增长． 论文“基于模型的Ｗｅｂ应用测试”提出了包括建模、测试用例生成、测试用例的执行、模型以及测试 用例的可视化等关键技术的Ｗｅｂ应用测试方法，设计并实现了一个基于模型的Ｗｅｂ应用测试系统．以 ＦＳＭ作为被测Ｗｅｂ应用的形式测试模型，集成了模型转换器、测试目标分析器、测试序列生成器、ＦＳＭ 和测试序列可视化以及Ｗｅｂ应用测试执行引擎等工具． 论文“用户需求驱动的Ｗｅｂ服务测试”建立了用户需求特征模型，引入层次关系、控制结构、约束条 件等要素；对照目标级、服务组合、原子服务需求，分别进行基于等价类划分、数据流分析和变异测试的 测试用例生成选择；当需求变动时，通过波动分析能迅速定位到服务的相关路径和变量；以用户需求来 驱动Ｗｅｂ服务测试，更切合现状且能提升测试效率． 论文“一种基于认知模型检测的Ｗｅｂ服务组合验证方法”将Ｗｅｂ服务组合建模为多主体系统，在 分析ＢＰＥＬ语言控制流程基础上，提出ＢＰＥＬ活动的形式化模型，给出活动执行语义；以迁移七元组为 中间形式，开发从ＢＰＥＬ流程到迁移七元组集合，以及从这些迁移七元组到ＭＣＴＫ输入语言的自动转 换算法，最终通过ＭＣＴＫ进行验证．