机读格式显示(MARC)

• 000 01349nam0 2200277 450

• 001 0000402495

• 005 20041109101700.0

• 010 __ |a 7-115-11860-4 |d CNY23.00

• 099 __ |a CAL 012004015079

• 100 __ |a 20040226d2004 em y0chiy0121 ea

• 101 0_ |a chi

• 102 __ |a CN |b 110000

• 105 __ |a ak a 000yy

• 106 __ |a r

• 200 1_ |a 通信软件测试技术基础 |A tong xin ruan jian ce shi ji zhu ji chu |f 赵会群等编著

• 210 __ |a 北京 |c 人民邮电出版社 |d 2004

• 215 __ |a 216页 |c 图 |d 26cm

• 320 __ |a 有书目 (第215-216页)

• 330 __ |a 本书首先介绍了软件测试的基本概念、基本内容和测试方法的分类，作为软件测试的基础，重点介绍了软件测试的白箱法和黑箱法，在此基础上深入讨论了通信协议软件测试的基本方法，全面介绍了协议软件测试的建模工具树表描述语言ＴＴＣＮ和时序说明语言ＬＯＴＯＳ/Ｅ－ＬＯＴＯＳ。ＴＴＣＮ和ＬＯＴＯＳ/Ｅ－ＬＯＴＯＳ是国际标准化组织颁布的协议软件测试的形式化建模技术标准，所以ＴＴＣＮ和ＬＯＴＯＳ/Ｅ－ＬＯＴＯＳ也是本书的重点。为了使读者能够更好地理解ＴＴＣＮ和ＬＯＴＯＳ/Ｅ－ＬＯＴＯＳ，本书给出了一些典型的应用实例。

• 333 __ |a 读者对象：大专院校计算机专业、通信专业高年级学生、研究生，软件学院学生，通信软件开发人员

• 606 0_ |a 通信软件 |A tong xin ruan jian |x 软件测试

• 690 __ |a TP311.5 |v 4

• 701 _0 |a 赵会群 |A zhao kuai qun |4 编著

• 801 _0 |a CN |b BUPT |c 20040226

• 801 _2 |a CN |b JHUL |c 20041109

• 905 __ |a JHUL |d TP311.5/137