您的位置: 专家智库 > >

陈俊洁

作品数:6 被引量:0H指数:0
供职机构:北京大学更多>>
相关领域:自动化与计算机技术更多>>

文献类型

  • 6篇中文专利

领域

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

主题

  • 4篇编译器
  • 2篇代码
  • 2篇调度
  • 2篇迭代
  • 2篇多样性
  • 2篇随机数
  • 2篇排序
  • 2篇群算法
  • 2篇子群
  • 2篇自动构造
  • 2篇历史数据
  • 2篇粒子群
  • 2篇粒子群算法
  • 2篇测试程序
  • 2篇测试数据
  • 2篇程序代码
  • 2篇触发
  • 1篇软件测试
  • 1篇函数
  • 1篇测试用例

机构

  • 6篇北京大学

作者

  • 6篇郝丹
  • 6篇陈俊洁
  • 4篇张洪宇
  • 4篇谢冰
  • 4篇张路
  • 2篇张洁
  • 2篇梅宏

年份

  • 1篇2021
  • 2篇2020
  • 2篇2017
  • 1篇2015
6 条 记 录,以下是 1-6
排序方式:
基于机器学习的编译器测试加速方法
本发明公布了一种编译器测试加速方法,采用机器学习方法构造用于预测测试程序触发缺陷的概率的能力模型和用于预测每个测试程序的执行时间的时间模型,通过计算每个测试程序单位时间内触发缺陷的概率,实现对测试程序的排序,从而实现编译...
陈俊洁白彦威郝丹熊英飞张洪宇张路谢冰
文献传递
基于机器学习的编译器测试加速方法
本发明公布了一种编译器测试加速方法,采用机器学习方法构造用于预测测试程序触发缺陷的概率的能力模型和用于预测每个测试程序的执行时间的时间模型,通过计算每个测试程序单位时间内触发缺陷的概率,实现对测试程序的排序,从而实现编译...
陈俊洁白彦威郝丹熊英飞张洪宇张路谢冰
一种面向软件升级的软件测试方法
一种面向软件升级的软件测试方法,所述方法基于等式描述的蜕变关系自动构造。在软件升级前,测试人员针对现有软件,构造每个程序的蜕变关系;所述程序指的是实现特定函数计算功能的程序代码;在软件升级后,针对修改后的程序,测试人员产...
张洁陈俊洁郝丹 熊英飞谢冰梅宏
一种面向软件升级的软件测试方法
一种面向软件升级的软件测试方法,所述方法基于等式描述的蜕变关系自动构造。在软件升级前,测试人员针对现有软件,构造每个程序的蜕变关系;所述程序指的是实现特定函数计算功能的程序代码;在软件升级后,针对修改后的程序,测试人员产...
张洁陈俊洁郝丹 熊英飞谢冰梅宏
文献传递
基于历史数据的编译器测试输入生成方法和系统
本发明涉及一种基于历史数据的编译器测试输入生成方法和系统。该方法基于历史测试数据,通过历史测试过程中生成的测试输入,挖掘测试输入特征和编译器缺陷的内在联系,推断出能够生成揭错概率高的配置选项的生成空间;使用粒子群算法,通...
王冠成陈俊洁郝丹熊英飞张洪宇张路
文献传递
基于历史数据的编译器测试输入生成方法和系统
本发明涉及一种基于历史数据的编译器测试输入生成方法和系统。该方法基于历史测试数据,通过历史测试过程中生成的测试输入,挖掘测试输入特征和编译器缺陷的内在联系,推断出能够生成揭错概率高的配置选项的生成空间;使用粒子群算法,通...
王冠成陈俊洁郝丹熊英飞张洪宇张路
文献传递
共1页<1>
聚类工具0