您的位置： 专家智库 > >

张健

作品数：33 被引量：47H指数：1
供职机构：中国科学院软件研究所更多>>
发文基金：国家自然科学基金国家重点基础研究发展计划更多>>
相关领域：自动化与计算机技术交通运输工程机械工程农业科学更多>>

合作作者

文献类型

  • 16篇专利
  • 7篇期刊文章
  • 5篇会议论文
  • 4篇科技成果
  • 1篇学位论文

领域

  • 16篇自动化与计算...
  • 1篇机械工程
  • 1篇交通运输工程
  • 1篇农业科学
  • 1篇自然科学总论

主题

  • 6篇软件测试
  • 6篇卫星
  • 6篇仿真
  • 6篇仿真测试
  • 4篇自动驾驶
  • 4篇自动驾驶系统
  • 4篇驾驶
  • 4篇驾驶系统
  • 3篇测试数据
  • 2篇迭代
  • 2篇多参量
  • 2篇多参数系统
  • 2篇星载
  • 2篇星载软件
  • 2篇形式规约
  • 2篇形式化
  • 2篇硬件
  • 2篇映射
  • 2篇在轨测试
  • 2篇在轨卫星

机构

  • 33篇中国科学院软...
  • 3篇中国科学院大...
  • 2篇国防科学技术...
  • 2篇中国人民大学
  • 2篇华为技术有限...
  • 1篇北京大学
  • 1篇北京信息科技...
  • 1篇南京大学
  • 1篇北京交通大学
  • 1篇清华大学
  • 1篇武汉大学
  • 1篇中国科学院
  • 1篇首都师范大学
  • 1篇中国科学技术...
  • 1篇安徽省计算与...

作者

  • 33篇张健
  • 6篇詹乃军
  • 6篇赵军锁
  • 5篇晏荣杰
  • 4篇吴凤鸽
  • 3篇蔡彦
  • 2篇陈柏强
  • 2篇梁彬
  • 2篇张文辉
  • 2篇严俊
  • 2篇王晓旭
  • 2篇张衡
  • 2篇徐辰
  • 2篇张智强
  • 2篇马菲菲
  • 1篇周丽娟
  • 1篇范植华
  • 1篇陈立前
  • 1篇徐帆江
  • 1篇林惠民

传媒

  • 2篇软件学报
  • 1篇自然杂志
  • 1篇计算机科学
  • 1篇计算机科学与...
  • 1篇中国科学：信...
  • 1篇科技纵览
  • 1篇2004年全...
  • 1篇第六届中国人...
  • 1篇中国科学院计...
  • 1篇第九届中国科...

年份

  • 2篇2024
  • 3篇2023
  • 1篇2022
  • 4篇2021
  • 3篇2020
  • 3篇2019
  • 2篇2018
  • 1篇2016
  • 1篇2014
  • 1篇2013
  • 1篇2012
  • 2篇2011
  • 1篇2007
  • 2篇2005
  • 1篇2004
  • 1篇2002
  • 2篇2001
  • 1篇1994
  • 1篇1992
共 33 条 记 录，以下是 1-10
全选 清除 导出
排序方式：
一种星载软件的测试系统
本发明提供了一种星载软件的测试系统，涉及软件测试的技术领域，包括：虚拟卫星，桌面卫星，虚拟在轨卫星和数据处理装置，其中，虚拟卫星用于对待测试星载软件进行代码测试；桌面卫星用于在虚拟卫星对待测试星载软件进行代码测试之后，对...
李丹赵军锁潘晏涛吴凤鸽张健詹乃军
文献传递
一种面向自动驾驶系统的仿真测试场景生成方法
本发明公开了一种面向自动驾驶系统的仿真测试场景生成方法。本方法包括：1)根据测试需求确定待生成测试场景中的场景元素及其可选值，以及场景元素取值组合的约束；2)设定抽象场景数量N和覆盖强度K，迭代地生成N个满足场景元素取值...
晏荣杰李昌文张健
基于附加测试的多参数系统错误模式快速定位方法
本发明公开了一种基于附加测试的多参数系统错误模式快速定位方法，本发明所述方法主要包括以下步骤：1)确定待测系统的输入参数个数k和每个输入参数v<Sub>i</Sub>的取值范围s<Sub>i</Sub>，i取值范围为1到...
张智强张健
虚拟卫星、基于虚拟卫星的软件与算法的测试平台及方法
本发明提供了一种虚拟卫星、基于虚拟卫星的软件与算法的测试平台及方法，涉及虚拟卫星技术领域，该平台包括：卫星控制与状态监视工具对虚拟卫星进行测控和软件/算法的注入，并接收虚拟卫星下传数据；内部测试工具对软件/算法的行为进行...
李丹赵军锁潘晏涛张衡张健詹乃军
文献传递
基于EFSM的测试数据自动生成及静态分析工具
目前,很多静态分析和测试工具还需要人工挑选输入数据,处理的变量也仅限于整型和实型.本文介绍了一个能够生成测试数据的自动工具EFAT,它能够处理整型、实型变量和一维数组.EFAT先将程序转换为扩展的有限自动机(EFSM),...
王晓旭徐辰张健
关键词：有限状态自动机测试数据
文献传递
一种基于软件定义卫星的软件测试床
本发明提供了一种基于软件定义卫星的软件测试床，涉及软件测试的技术领域，包括：开发云，测试云，服务云和测控云，开发云用于获取软件开发者上传的待测试软件，并按照第一测试方式对待测试软件进行软件测试；测试云用于获取开发云测试之...
李丹赵军锁潘晏涛吴凤鸽张健詹乃军
文献传递
高可信软件的形式化理论与方法
林惠民张健陈海明柳欣欣张文辉李广元
该项目主要研究基于严格数学理论和形式化计算模型的高可靠性软件研制方法和技术。在基础理论（特别是并发实时系统的形式模型和验证）方面，可望得到国际一流的原创性研究成果。同时，将实现一组辅助的软件工具。它们将有助于软件工程师及...
关键词：
关键词：模态逻辑
一种星载软件的测试系统
本发明提供了一种星载软件的测试系统，涉及软件测试的技术领域，包括：虚拟卫星，桌面卫星，虚拟在轨卫星和数据处理装置，其中，虚拟卫星用于对待测试星载软件进行代码测试；桌面卫星用于在虚拟卫星对待测试星载软件进行代码测试之后，对...
李丹赵军锁潘晏涛吴凤鸽张健詹乃军
文献传递
一种面向自动驾驶系统的仿真测试场景生成方法
本发明公开了一种面向自动驾驶系统的仿真测试场景生成方法。本方法包括：1)根据测试需求确定待生成测试场景中的场景元素及其可选值，以及场景元素取值组合的约束；2)设定抽象场景数量N和覆盖强度K，迭代地生成N个满足场景元素取值...
晏荣杰李昌文张健
一种基于硬件和线程本地时序的数据竞争采样检测方法
本发明涉及一种基于硬件和线程本地时序的数据竞争采样检测方法，属于软件测试领域和软件可靠性领域，步骤包括：按给定采样率随机选择内存访问指令，对这些指令插桩；并识别同步语句，对每个线程设置一个本地时序，该时序随着同步语句的执...
蔡彦张健
文献传递
全选 清除 导出
共4页<1234>
聚类工具0