张健
- 作品数：32 被引量：43H指数：1
- 供职机构：中国科学院软件研究所更多>>
- 发文基金：国家自然科学基金国家重点基础研究发展计划更多>>
- 相关领域：自动化与计算机技术交通运输工程机械工程农业科学更多>>
- 一种星载软件的测试系统
- 本发明提供了一种星载软件的测试系统，涉及软件测试的技术领域，包括：虚拟卫星，桌面卫星，虚拟在轨卫星和数据处理装置，其中，虚拟卫星用于对待测试星载软件进行代码测试；桌面卫星用于在虚拟卫星对待测试星载软件进行代码测试之后，对...
- 李丹赵军锁潘晏涛吴凤鸽张健詹乃军
- 文献传递
- 基于附加测试的多参数系统错误模式快速定位方法
- 本发明公开了一种基于附加测试的多参数系统错误模式快速定位方法，本发明所述方法主要包括以下步骤：1)确定待测系统的输入参数个数k和每个输入参数v<Sub>i</Sub>的取值范围s<Sub>i</Sub>，i取值范围为1到...
- 张智强张健
- 虚拟卫星、基于虚拟卫星的软件与算法的测试平台及方法
- 本发明提供了一种虚拟卫星、基于虚拟卫星的软件与算法的测试平台及方法，涉及虚拟卫星技术领域，该平台包括：卫星控制与状态监视工具对虚拟卫星进行测控和软件/算法的注入，并接收虚拟卫星下传数据；内部测试工具对软件/算法的行为进行...
- 李丹赵军锁潘晏涛张衡张健詹乃军
- 文献传递
- 基于EFSM的测试数据自动生成及静态分析工具
- 目前,很多静态分析和测试工具还需要人工挑选输入数据,处理的变量也仅限于整型和实型.本文介绍了一个能够生成测试数据的自动工具EFAT,它能够处理整型、实型变量和一维数组.EFAT先将程序转换为扩展的有限自动机(EFSM),...
- 王晓旭徐辰张健
- 关键词：有限状态自动机测试数据
- 文献传递
- 一种基于软件定义卫星的软件测试床
- 本发明提供了一种基于软件定义卫星的软件测试床，涉及软件测试的技术领域，包括：开发云，测试云，服务云和测控云，开发云用于获取软件开发者上传的待测试软件，并按照第一测试方式对待测试软件进行软件测试；测试云用于获取开发云测试之...
- 李丹赵军锁潘晏涛吴凤鸽张健詹乃军
- 文献传递
- 高可信软件的形式化理论与方法
- 林惠民张健陈海明柳欣欣张文辉李广元
- 该项目主要研究基于严格数学理论和形式化计算模型的高可靠性软件研制方法和技术。在基础理论（特别是并发实时系统的形式模型和验证）方面，可望得到国际一流的原创性研究成果。同时，将实现一组辅助的软件工具。它们将有助于软件工程师及...
- 关键词：
- 关键词：模态逻辑
- 一种星载软件的测试系统
- 本发明提供了一种星载软件的测试系统，涉及软件测试的技术领域，包括：虚拟卫星，桌面卫星，虚拟在轨卫星和数据处理装置，其中，虚拟卫星用于对待测试星载软件进行代码测试；桌面卫星用于在虚拟卫星对待测试星载软件进行代码测试之后，对...
- 李丹赵军锁潘晏涛吴凤鸽张健詹乃军
- 文献传递
- 一种面向自动驾驶系统的仿真测试场景生成方法
- 本发明公开了一种面向自动驾驶系统的仿真测试场景生成方法。本方法包括：1)根据测试需求确定待生成测试场景中的场景元素及其可选值，以及场景元素取值组合的约束；2)设定抽象场景数量N和覆盖强度K，迭代地生成N个满足场景元素取值...
- 晏荣杰李昌文张健
- 一种基于硬件和线程本地时序的数据竞争采样检测方法
- 本发明涉及一种基于硬件和线程本地时序的数据竞争采样检测方法，属于软件测试领域和软件可靠性领域，步骤包括：按给定采样率随机选择内存访问指令，对这些指令插桩；并识别同步语句，对每个线程设置一个本地时序，该时序随着同步语句的执...
- 蔡彦张健
- 文献传递
- 自动推理技术在求解组合数学难题中的研究进展
- 2023年
- 自动推理是一种以符号演算的方式来自动模拟人类逻辑推理能力的技术,其总体目标是利用计算机构建一个将不同形式的推理机械化的系统。虽然该领域的理论框架尚未实现对人类全部推理能力的模拟,但该领域的发展已经可以帮助研究人员解决一些数学和逻辑领域的开放性问题,并提供了计算科学中的重要应用。文中简要回顾了利用自动推理技术处理组合数学开放性难题时的代表性方法,重点梳理了该领域的国内外最新进展,分析了各种方法的优势与不足,介绍了近年来出现的增强自动推理结果可信性的技术方法,并探讨了未来的研究方向和面临的挑战。
- 黄沛刘明昊马菲菲张健
- 关键词：组合数学计算逻辑人工智能
