程序正确性测试的相关技术进展

• 作者: 于勐 孙钟秀 谢立 陈道蓄 顾庆
• 来源期刊: 计算机应用与软件
• 学科: 工学
• 关键词: 程序测试 黑箱测试 白箱测试 分布式程序测试
• 年，卷（期）: 2002,（3）
• 所属期刊栏目: 基金项目论文
• 页码范围: 5-9，47
• 页数: 6页
• 分类号: TP31
• 字数: 7697字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-386X.2002.03.002

摘要

本文介绍了程序正确性测试的基本原理,并讨论了有关的测试技术,包括以程序规约为基准的黑箱测试和以程序实现结构为基准的白箱测试两个方面.随后探讨了相关技术向分布式程序的拓展问题.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	顾庆	南京大学计算机软件新技术国家重点实验室	48	633	16.0	22.0
2	陈道蓄	南京大学计算机软件新技术国家重点实验室	138	2089	25.0	40.0
3	谢立	南京大学计算机软件新技术国家重点实验室	240	3931	32.0	55.0
4	孙钟秀	南京大学计算机软件新技术国家重点实验室	15	267	6.0	15.0
5	于勐	南京大学计算机软件新技术国家重点实验室	8	267	5.0	8.0