1、TTCN - 3：软件与系统测试的前沿技术

TTCN - 3：软件与系统测试的前沿技术

1. 会议与测试技术背景

在软件和系统开发领域，测试的重要性与日俱增。随着计算机科学各领域的不断发展，新的挑战和长期存在的问题促使大量研究投入到测试领域。测试从早期临时且未受重视的系统开发环节，逐渐演变成一个重要且活跃的研究领域。

2010 年召开的第 22 届国际软件与系统测试会议（ICTSS 2010）是两个传统重要活动的融合成果。这两个活动分别是 TestCom（国际通信系统测试会议）和 FATES（国际软件形式化测试研讨会），它们共同为测试界提供了一个讨论测试领域进展的重要平台。

TestCom 是由国际信息处理联合会（IFIP）赞助的一系列国际会议，早期也被称为国际协议测试系统研讨会（IWPTS）或国际通信系统测试研讨会（IWTCS），专注于通信系统的测试，包括通信协议、服务、分布式平台和中间件的测试。其过往会议举办地点遍布世界各地，如加拿大温哥华、德国柏林等。FATES 则是一系列致力于在软件测试中使用形式化方法的研讨会，之前分别在丹麦奥尔堡、捷克布尔诺等地举办。从 2007 年开始，TestCom 和 FATES 开始联合举办会议，先后在爱沙尼亚塔林、日本东京和荷兰埃因霍温等地举行。

ICTSS 2010 的目标是为学术界和工业界的研究人员、开发人员和测试人员提供一个展示、讨论和学习软件与系统测试新方法、理论、工具的平台。本次会议的论文集收录了从 60 篇投稿中选出的 16 篇完整论文，并邀请了德国弗劳恩霍夫研究所的 Ina Schieferdecker 和美国海军研究实验室的 Connie Heitmeyer 进行演讲。此外，会议还展示了短篇论文，这些论文由 CRIM 单独作为技术报告发表。