10.3969/j.issn.1000-386X.2002.03.002
程序正确性测试的相关技术进展
本文介绍了程序正确性测试的基本原理,并讨论了有关的测试技术,包括以程序规约为基准的黑箱测试和以程序实现结构为基准的白箱测试两个方面.随后探讨了相关技术向分布式程序的拓展问题.
程序测试、黑箱测试、白箱测试、分布式程序测试
19
TP31(计算技术、计算机技术)
国家科技攻关项目98-780-01-07-03
2004-01-15（万方平台首次上网日期，不代表论文的发表时间）
共6页
5-9，47
