软件测试研究进展

北京大学学报（自然科学版）

软件测试研究进展

单锦辉^1,2,姜瑛^1,3,孙萍²

¹北京大学信息科学技术学院软件研究所，北京，100871，E-mail: {shanjh, jiangy}@sei.pku.edu.cn；²酒泉卫星发射中心；³昆明理工大学信息工程与自动化学院，昆明，650093

收稿日期:2003-10-13 出版日期:2005-01-20 发布日期:2005-01-20

Research Progress in Software Testing

SHAN Jinhui^{1, 2}, JIANG Ying^{1, 3}, SUN Ping²

¹Software Institute, Peking University, Beijing, 100871, E-mail: {shanjh, jiangy}@sei.pku.edu.cn; ²Jiuquan Satellite Launch Center; ³Faculty of Information Engineering and Automation, Kunming University of Science and Technology, Kunming 650093

Received:2003-10-13 Online:2005-01-20 Published:2005-01-20

摘要/Abstract

摘要： 从软件测试的技术与过程、持续的软件测试、软件测试的充分性准则等方面简要介绍软件测试的基本思想；讨论软件测试中的若干问题，包括面向路径的测试数据自动生成、测试预言、期望结果的自动生成、回归测试等；并且探讨软件测试的发展趋势，包括构件测试、软件的易测试性与基于合约的构件易测试性设计和Web Services测试等。

关键词: 软件测试, 软件质量, 软件的易测试性, 构件测试

Abstract: Software testing is one of the most important techniques used to assure the quality of software products. Software testing keeps a high proportion during the whole software life cycle. Gradually, software testing develops towards the former phase of software development and inosculates with the design and coding phases of software development. This paper introduces the basic ideas of software testing from the techniques and the process of software testing, persistent software testing, adequate criteria of software testing and so on. Then, this paper discusses some problems in software testing, including automated path-wise test data generation, test oracle, automated expected results generation, regression testing and so on. At last, this paper explores the development tendency of software testing, such as component testing, software testability, design by contract for testability in components and Web Services testing.

Key words: software testing, software quality, testability of software, component testing

中图分类号: