期刊文献+

软件测试研究进展 被引量:138

Research Progress in Software Testing
下载PDF
导出
摘要 从软件测试的技术与过程、持续的软件测试、软件测试的充分性准则等方面简要介绍软件测试的基本思想 ;讨论软件测试中的若干问题 ,包括面向路径的测试数据自动生成、测试预言、期望结果的自动生成、回归测试等 ;并且探讨软件测试的发展趋势 ,包括构件测试、软件的易测试性与基于合约的构件易测试性设计和WebServices测试等。 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.
出处 《北京大学学报(自然科学版)》 EI CAS CSCD 北大核心 2005年第1期134-145,共12页 Acta Scientiarum Naturalium Universitatis Pekinensis
基金 国家"八六三"高技术研究发展计划(2001AA113070) 国家自然科学基金(60373003) 国家重点基础研究发展规划(973计划)(2002CB31200003) 中国博士后科学基金(2003034077)资助项目
关键词 软件测试 软件质量 软件的易测试性 构件测试 software testing software quality testability of software component testing
  • 相关文献

参考文献53

  • 1赵元聪,朱三元.面向对象软件测试的认识[J].计算机应用与软件,1996,13(3):1-4. 被引量:19
  • 2金凌紫.面向对象软件测试技术进展[J].计算机研究与发展,1998,35(1):6-13. 被引量:46
  • 3杨芙清,王千祥,梅宏,陈兆良.基于复用的软件生产技术[J].中国科学(E辑),2001,31(4):363-371. 被引量:110
  • 4王志言,刘椿年.区间算术在软件测试中的应用[J].软件学报,1998,9(6):438-443. 被引量:19
  • 5杨芙清,梅宏,吕建,金芝.浅论软件技术发展[J].电子学报,2002,30(12A):1901-1906. 被引量:163
  • 6宫云战 刘海燕 万琳 等.软件测试性的分析与设计技术研究[A]..2000年全国测试学术会议(CTC2000)[C].北京,2000.271-274.
  • 7邵维忠 王立福 梅宏 等 见:杨芙清 何新贵主编.面向对象的软件测试--方法研究及系统设计[A].见:杨芙清, 何新贵主编.软件工程进展[C].北京: 清华大学出版社,1996.115-122.
  • 8King S, Hammond J, Chapman R, et al. Is Proof More Cost-Effective Than Testing? IEEE Transactions on Software Engineering, 2000, 26(8): 675-686.
  • 9Weyuker E J. Evaluation Techniques for Improving the Quality of Very Large Software Systems in a Cost-Effective Way. The Journal of Systems and Software, 1999, 47: 97-103.
  • 10Korel B. Automated Software Test Data Generation. IEEE Transactions on Software Engineering, 1990, 16(8): 870-879.

二级参考文献4

共引文献345

同被引文献1052

引证文献138

二级引证文献425

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部