您的位置: 专家智库 > >

“十五”国家科技攻关计划(2002BA904B13)

作品数:3 被引量:15H指数:2
相关作者:白晓颖王钊戴桂兰纪元杨爱华更多>>
相关机构:清华大学更多>>
发文基金:国家科技重大专项国家自然科学基金更多>>
相关领域:自动化与计算机技术更多>>

文献类型

  • 3篇中文期刊文章

领域

  • 3篇自动化与计算...

主题

  • 1篇有色PETR...
  • 1篇软件测试
  • 1篇软件可靠性增...
  • 1篇软件可靠性增...
  • 1篇软件配置管理
  • 1篇配置管理
  • 1篇自动生成
  • 1篇可靠性增长模...
  • 1篇GUI
  • 1篇J-M模型
  • 1篇测试用例
  • 1篇测试用例生成
  • 1篇测试用例自动...

机构

  • 3篇清华大学

作者

  • 3篇白晓颖
  • 1篇戴桂兰
  • 1篇赵冲冲
  • 1篇纪元
  • 1篇杨爱华
  • 1篇王钊

传媒

  • 3篇清华大学学报...

年份

  • 1篇2008
  • 2篇2006
3 条 记 录,以下是 1-3
排序方式:
改进的Jelinski-Moranda软件可靠性增长模型被引量:4
2006年
Je linsk i-M oranda(J-M)模型是基于失效间隔时间的较理论化的可靠性增长模型,用于软件系统测试阶段的可靠性度量。J-M模型存在的问题是假设条件理想化,实际应用环境难以满足,而且模型的失效间隔时间数据收集很困难,实用性差。该文提出一种改进的J-M可靠性增长模型,在J-M原模型基础上改进并引入更加合理的假设条件,改进后的模型基于缺陷计数,数据收集更容易。结合盐湖城奥运会信息系统软件测试数据对改进的模型进行检验,证明改进的模型预测有效性好,同时还保持了原模型的简单性。
纪元白晓颖徐睿
关键词:可靠性增长模型J-M模型
基于逻辑元素间关系的软件配置管理模型被引量:1
2006年
为了在逻辑层次上跟踪软件系统的版本演变,支持变更影响分析和系统一致性验证,提出了一种基于逻辑元素间关系的软件配置管理模型LEBM(log ica l e lem en t basedm ode l)。LEBM通过配置项类型抽象区分不同类型的软件工件及其特性;通过配置项版本记录软件工件的演变;通过配置版本记录系统组成的变更;维护配置项版本之间的关系演变并通过关系跟踪实现变更影响范围分析和系统一致性验证。以W eb服务的方式设计并实现了基于LEBM的软件配置管理工具并用于实施软件测试工件的配置管理,验证了LEBM的可行性和实用性。
杨爱华白晓颖赵冲冲
关键词:软件配置管理
基于有色Petri网模型的GUI测试用例自动生成技术被引量:10
2008年
通过图形用户接口(GUI)测试已经成为软件测试的主要手段,但现阶段GUI测试自动化程度不高。针对这一问题,提出了一种基于模型的GUI测试用例自动生成技术。给出了基于有色Petri网模型的GUI对象建模方法。定义了2种测试覆盖标准,设计了基于不同测试覆盖标准的测试路径和测试数据生成算法。介绍了支持工具GUI测试用例生成器(GTCG)的设计与实现。实验表明:该模型可有效地描述GUI系统的状态和行为,该技术有助于提高GUI测试的效率和质量。
王钊白晓颖戴桂兰
关键词:软件测试测试用例生成有色PETRI网
共1页<1>
聚类工具0