软件测试研究进展

被引：140

作者：

单锦辉

姜瑛

孙萍

机构：

[1] 北京大学信息科学技术学院软件研究所

[2] 酒泉卫星发射中心北京

[3] 酒泉卫星发射中心

[4] 北京

[5] 昆明理工大学信息工程与自动化学院

[6] 昆明

来源：

北京大学学报(自然科学版) | 2005年 / 01期

基金：

中国博士后科学基金;

关键词：

软件测试; 软件质量; 软件的易测试性; 构件测试;

D O I：

10.13209/j.0479-8023.2005.020

中图分类号：

TP311 [程序设计、软件工程];

学科分类号：

081202 ; 0835 ;

摘要：

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

引用

页码：134 / 145

页数：12

共 16 条

[1]

面向路径的测试数据自动生成方法研究.[D].单锦辉.国防科学技术大学.2002, 01

[2]

UML测试技术的研究与实现.[D].李留英.中国人民解放军国防科学技术大学.2000, 01

[3]

The applicability of program schema results to programs.[J].Elaine J. Weyuker.International Journal of Computer & Information Sciences.1979, 5

[4]

软件工程.[M].齐治昌等编著;.高等教育出版社.2001,

[5]

软件质量保障与测试.[M].朱鸿;金凌紫著;.科学出版社.1997,

[6]

软件工程进展.[M].杨芙清;何新贵主编;.清华大学出版社.1996,

[7]

软件可靠性工程基础.[M].蔡开元著;.清华大学出版社.1995,

[8]

计算机软件测试技术.[M].郑人杰主编;.清华大学出版社.1992,

[9]

程序设计方法学基础.[M].陈火旺编著;.湖南科学技术出版社.1987,

[10]

Inter-Class Test Technique between Black-Box-Class and White-Box-Class for Component Customization Failures..Yoon H; Choi B;.In: Proceedings of the 6th Asia-Pacific Software Engineering Conference; Takamatsu.1999,

← 1 2 →