浏览会议记录

本文介绍了一种新的测试数据生成方法，它结合了等价划分、边值分析和因果分析的优点。它适用于两个或多个。。。

软件测试研究人员长期以来一直在寻找能够很好地检测故障的测试套件配方。在文献中，对测试技术的实证研究比比皆是，但在给定的情况下检测所需类型的故障的理想技术。。。

验证通常在软件的高级视图上执行，无论是规范还是程序源代码。然而，在某些情况下，当在机器代码级别执行时，验证更为相关。本文的重点是自动化。。。

结构测试通常仅限于单元测试，并且基于对源代码覆盖率的明确定义。特别是，全路径标准要求在被测函数的每个可行路径上至少有一个测试用例，该标准被识别。。。

故障定位是程序调试中最昂贵的活动。传统的即席方法可能既耗时又无效，因为它们依赖于程序员的直观猜测，而这可能既不准确也不可靠。一个更好的解决方案。。。

突变测试已被证明是评估程序和测试套件的最强测试标准之一。全面的变体集需要强大的测试集才能实现可接受的测试覆盖率。此外，变异算子。。。

Sulu是一种专门为自动化单元测试而设计的编程语言。Sulu的一个目标是演示如何将自动化软件测试更加集成到当前的软件开发过程中。Sulu的运行时和工具。。。

直觉表明，面向对象程序的随机测试应该在两次相同持续时间的不同运行中检测到的故障数量上表现出显著差异。因此，随机测试相当不可预测。我们。。。

我们提出了一种基于模型的测试生成的最低限度方法。我们的方法利用被测应用程序的域和行为模型中提供的信息，在不需要额外用户的情况下生成一组小而有效的测试用例。。。

在之前的工作中，我们报告并试验了一种压力测试方法，以基于设计UML模型检测分布式实时系统（DRTS）中与网络流量相关的实时（RT）故障。压力法，简称。。。

实时嵌入式系统通常包括不同优先级的并发任务，具有访问公共资源的时间相关操作。在这种情况下，不同步的并行执行可能会导致诸如种族……等造成的危险情况。。。

实时系统必须及时响应事件；在硬实时系统中，错过最后期限的惩罚很高。因此，有必要设计硬实时系统，以便可以预测任务的计时行为。。。

Ajax通过为异步请求的执行以及页面结构和内容的动态更新提供原语，支持rich-client Web应用程序的开发。通常，Ajax Web应用程序由一个页面组成，该页面。。。

Cookie是HTTP状态管理机制，是许多web应用程序的主干。尽管cookie的使用率很高，但学术界实际上尚未探索cookie。本文给出了一个EBNF语法定义和一个三。。。

Web应用程序已迅速成为许多组织业务的关键部分。然而，网络应用程序使用量的增加并没有随着可靠性的相应提高而得到回报。独特的特点，例如快速周转。。。

本文提出了一种基于自动跟踪的单元测试方法来测试面向对象程序。大多数自动化测试工具通过单独测试类C的每个方法来测试类C。如果规范只是。。。

继承树深度（DIT）被认为是影响测试成本的一个因素。如果DIT很高，测试应该会更昂贵。本文将DIT分析与每个类中要测试的方法数量联系起来。我们的研究。。。

有证据表明，随着软件的老化，设计模式的原始实现仍然存在，设计模式实现的参与者会积累“污垢”——与模式无关的代码。这项研究考察了污垢。。。

重构是一种在不改变程序外部行为的情况下改进程序结构的方法。重构是一种有前途的方法，可以帮助实现可靠和安全的软件进化。然而，在面向方面编程（AOP）中，它不一定是。。。

本文提出了一种基于代数规范的组件测试方法。提出了一种生成可检查测试用例的算法。开发了一个名为CASCAT的原型测试工具，用于测试Java En-terprise Beans。它有。。。

当多个线程在没有适当同步的情况下同时访问共享数据，并且至少有一个线程正在写入时，就会发生数据争用。具有数据竞赛的系统是不确定的，即使具有相同的输入，也可能产生不同的输出。。。

通过网格计算技术，可以在动态虚拟组织中实现分布式资源的集体和协调使用，以解决问题。为了分发和解决任务，网格应用程序涉及一个复杂的。。。

工程（Engineering）软件系统是一项多学科活动，其中必须同步创建和维护多个工件。在本文中，我们通过探索项目的。。。