您的位置： 专家智库 > >

陈柏强

作品数：3 被引量：2H指数：1
供职机构：中国科学院软件研究所更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 2篇专利
  • 1篇期刊文章

领域

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

主题

  • 2篇多参量
  • 2篇实例化
  • 2篇自然数
  • 2篇检错
  • 2篇参量
  • 2篇测试数据
  • 1篇代码
  • 1篇数组
  • 1篇数组越界
  • 1篇JAVA程序
  • 1篇JAVA代码

机构

  • 3篇中国科学院软...
  • 1篇中国科学院研...
  • 1篇中国信息安全...

作者

  • 3篇陈柏强
  • 2篇张健
  • 1篇严俊
  • 1篇郭涛
  • 1篇阮辉

传媒

  • 1篇计算机应用

年份

  • 1篇2012
  • 1篇2011
  • 1篇2009
共 3 条 记 录，以下是 1-3
全选 清除 导出
排序方式：
一种多参量软件测试方法
本发明涉及了一种多参量软件测试方法，其步骤包括：1)生成强度为t的组合测试数据；2)识别所述组合测试数据的非敏感元素，所述非敏感元素指该元素取值的改变不影响所述组合测试数据的强度t；3)实例化上述非敏感元素，使得实例化后...
陈柏强张健
Java程序中数组越界和空指针错误的静态分析被引量：2
2009年
介绍了静态分析的相关背景知识,对Java程序中数组越界和空指针错误的常见表现形式进行了归类,并通过实验评估了现有的Java静态分析工具功能,指出了其在跨过程分析中的不足,并对如何改进进行了讨论。
陈柏强郭涛阮辉严俊
关键词：JAVA代码数组越界
一种多参量软件测试方法
本发明涉及了一种多参量软件测试方法，其步骤包括：1)生成强度为t的组合测试数据；2)识别所述组合测试数据的非敏感元素，所述非敏感元素指该元素取值的改变不影响所述组合测试数据的强度t；3)实例化上述非敏感元素，使得实例化后...
陈柏强张健
文献传递
全选 清除 导出
共1页<1>
聚类工具0