内容简介
本书首先介绍软件测试的基本概念、基本内容和测试方法的分类，作为软件测试的基础，重点介绍了软件测试的白箱法和黑箱法。在此基础上深入讨论了通信协议软件测试的基本方法，全面介绍协议软件测试的建模工具树表描述语言TTCN和时序说明语言LOTOS/E-LOTOS。TTCN和LOTOS/E-LOTOS是国际标准化组织颁布的协议软件测试的形式化建模技术标准，在协议软件测试领域中占有主导地位，大多数协议软件测试工具都是基于上述两大标准设计开发的，所以TTCN和LOTOS/E-LOTOS也是本书的重点。为了使读者能够更好地理解TTCN和LOTOS/E-LOTOS，本书给出了一些典型的应用实例。 本书内容新颖，参考性强，可以作为大专院校计算机专业、通信专业高年级学生、研究生和软件学院学生的教材，也可以作为通信软件开发人员、软件测试技术的科研人员的参考书。