摘要
本文介绍了程序正确性测试的基本原理,并讨论了有关的测试技术,包括以程序规约为基准的黑箱测试和以程序实现结构为基准的白箱测试两个方面。随后探讨了相关技术向分布式程序的拓展问题。
The principles of testing for software program verification are described in this paper. Relevant testing technologies,including the white -box testing, which is based on program implementation,and the black- box testing, which is based on program specification,are presented.Interrelated technologies applied to distributed software testing are also discussed.
出处
《计算机应用与软件》
CSCD
北大核心
2002年第3期5-9,47,共6页
Computer Applications and Software
基金
国家"九五"攻关重点项目资助(编号:98-780-01-07-03)
关键词
程序正确测试
软件开发
黑箱测试
计算机
Program testing Balck - box testing White - box testing Distributed software testing