景涛
- 作品数:8 被引量:100H指数:4
- 供职机构:北京航空航天大学更多>>
- 发文基金:国家高技术研究发展计划中国航空科学基金国家自然科学基金更多>>
- 相关领域:自动化与计算机技术理学更多>>
- 软件测试的控制论方法被引量:19
- 2002年
- 软件测试被认为是软件开发过程中理解最为不清的一环。部分原因是虽然有很多策略被定义和分析 ,但很少有策略被设计和优化。软件测试的反馈机制迄今尚未形成。基于此种情况 ,软件测试的控制论方法将软件测试问题当作控制问题 ,被测软件当作被控对象 ,软件测试策略当作相应的控制器 ,被测软件和测试策略构成一个闭环反馈控制系统。软件控制论是一门探讨软件理论和工程与控制理论和工程交叉的学科 ,软件测试的受控马尔可夫链方法利用受控马尔可夫链理论设计和优化软件测试策略 ,是软件控制论思想的体现。在受控马尔可夫链方法的框架内讨论软件系统的自适应测试 ,并与随机测试进行比较 ,发现自适应测试方法相对于传统的随机测试方法具有较大的优越性。
- 蔡开元李永超景涛白成刚
- 关键词:软件测试自适应测试
- 软件关联缺陷的一种检测方法被引量:26
- 2005年
- 软件中的关联缺陷是一种比较普遍的现象,某些缺陷的存在与否可能导致其他缺陷检测率的变化.软件关联缺陷是造成软件失效关联的根源.给出了关联缺陷的定义,通过一个软件实例验证了缺陷的关联关系,提出了一种缺陷放回的测试方法用来剔除关联缺陷,并通过实验数据分析了缺陷放回方法的能力和效率.实验数据表明,该方法能有效检测软件关联缺陷.
- 景涛江昌海胡德斌白成刚蔡开元
- 关键词:软件测试
- 构件软件的测试问题综述被引量:53
- 2002年
- 基于构件的软件设计方法是软件设计的新趋势。文章介绍了构件及构件软件的概念、特点和由此引发的测试问题,介绍了现有的构件软件的测试方法和测试工具的研究情况。
- 景涛白成刚胡庆培蔡开元
- 关键词:软件测试软件设计方法面向对象软件工程软件开发
- 软件关联缺陷检测方法
- 软件关联缺陷检测方法,其特征在于按下列步骤进行测试:(1)根据需要初始化缺陷描述数组;(2)以概率0.01随机重新打开一个已剔除的缺陷j;(3)从测试用例库中随机选一个测试用例进行测试;(4)如果发现新的缺陷,则剔除该缺...
- 蔡开元景涛白成刚胡德斌
- 文献传递
- 软件动态聚类测试方法
- 软件动态聚类测试方法,包括下列步骤:(1)划分测试用例库为3类,第0类称为无效类,第1类为初始类,第2类称为有效类。开始时所有测试用例在第1类,其它两类均为空;(2)如果第2类不为空,则从第2类中随机选取一个测试用例进行...
- 蔡开元景涛白成刚
- 文献传递
- 软件可靠性分析、测试与评估工具——SRATE介绍被引量:5
- 2005年
- 软件可靠性分析、测试及评估工具(SRATE)是一个集软件可靠性分析、测试及评估于一体的软件工具。该工具支持多种测试策略下的软件自动化测试及评估试验,包括随机测试策略、自适应测试策略等。该工具还集成了包括欧洲航天局的space软件、浙大CAD&CG国家重点实验室的Intra3D构件库在内的多个典型被测对象。根据工具接口要求可以方便的添加新的测试策略和测试对象。具有自动化程度高、通用性强、配置灵活、易于扩展的特点,是进行软件可靠性分析研究工作的有力工具。
- 景涛江昌海刘永祥胡德斌白成刚蔡开元
- 关键词:软件可靠性分析软件可靠性测试软件可靠性评估
- 软件关联缺陷检测方法
- 软件关联缺陷检测方法,其特征在于按下列步骤进行测试:(1)根据需要初始化缺陷描述数组defects,若要测试全部缺陷,令defects[i][0]=1(表示缺陷是打开的),defects[i][1]=0(表示缺陷未知),...
- 蔡开元景涛白成刚胡德斌
- 文献传递
- 软件动态聚类测试方法
- 软件动态聚类测试方法:(1)划分测试用例库为3类,第0类称为无效类,第1类为初始类,第2类称为有效类。开始时所有测试用例在第1类,其它两类均为空;(2)如果第2类不为空,则从第2类中随机选取一个测试用例进行测试,否则从第...
- 蔡开元景涛白成刚
- 文献传递