首页 | 本学科首页   官方微博 | 高级检索  
     

程序正确性测试的相关技术进展
引用本文:顾庆,谢立,于勐,陈道蓄,孙钟秀.程序正确性测试的相关技术进展[J].计算机应用与软件,2002,19(3):5-9,47.
作者姓名:顾庆  谢立  于勐  陈道蓄  孙钟秀
作者单位:南京大学计算机软件新技术国家重点实验室,南京,210093
基金项目:国家“九五”攻关重点项目资助(编号:98-780-01-07-03)
摘    要:本文介绍了程序正确性测试的基本原理,并讨论了有关的测试技术,包括以程序规约为基准的黑箱测试和以程序实现结构为基准的白箱测试两个方面。随后探讨了相关技术向分布式程序的拓展问题。

关 键 词:程序测试  黑箱测试  白箱测试  分布式程序测试

THE DEVELOPMENT OF TESTING TECHNOLOGIES FOR PROGRAM VERIFICATION
Gu Qing Xie Li Yu Meng Chen Daoxu Sun Zhongxiu.THE DEVELOPMENT OF TESTING TECHNOLOGIES FOR PROGRAM VERIFICATION[J].Computer Applications and Software,2002,19(3):5-9,47.
Authors:Gu Qing Xie Li Yu Meng Chen Daoxu Sun Zhongxiu
Abstract: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.
Keywords:Program testing Balck - box testing White - box testing Distributed software testing  
本文献已被 CNKI 维普 万方数据 等数据库收录!
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号