-
陈振邦
-
-
- 所属机构:国防科学技术大学
- 所在地区:湖南省 长沙市
- 研究方向:自动化与计算机技术
- 发文基金:国家自然科学基金
相关作者
- 董威
- 作品数：180被引量：582H指数：11
- 供职机构：国防科学技术大学
- 研究主题：软件工程 配置项 UML 语义 监控器
- 陈立前
- 作品数：128被引量：129H指数：6
- 供职机构：国防科学技术大学
- 研究主题：配置项 浮点 污点 插桩 训练数据
- 王戟
- 作品数：223被引量：1,655H指数：19
- 供职机构：国防科学技术大学
- 研究主题：软件测试 软件开发 软件工程 自动机 时序逻辑
- 李姗姗
- 作品数：135被引量：312H指数：10
- 供职机构：国防科学技术大学
- 研究主题：配置项 污点 无线传感器网络 插桩 数据库
- 刘万伟
- 作品数：92被引量：138H指数：8
- 供职机构：国防科学技术大学
- 研究主题：自动机 迭代 勘探开发 操作系统 词法分析
- 一种基于错误状态树的IC3算法优化方法及系统
- 本发明公开了一种基于错误状态树的IC3算法优化方法及系统，本发明方法包括获取被验证程序的带有属性<Image file="ZY_1.GIF" he="69" imgContent="drawing" imgFormat=...
- 尹良泽李钰涵董威王戟李暾陈振邦刘万伟
- 一种从全局任务自动合成多机器人分布式控制器的方法
- 本发明公开了一种从全局任务自动合成多机器人分布式控制器的方法，包括：获取合成多机器人控制器规约；提取合成多机器人控制器规约中的全局任务，并通过GR(1)综合算法合成关于全局任务的全局策略，将全局策略向每一个机器人节点的命...
- 董威李睿陈立前尹良泽陈振邦赵旭东史浩
- 文献传递
- 一种基于程序语义的配置故障预测方法
- 本发明公开了一种基于程序语义的配置故障预测方法，目的是解决配置参数约束信息提取能力不足，无法防止配置故障发生的问题。技术方案是：构建由配置参数相关代码对象提取模块、日志信息相关程序对象提取模块、配置相关日志信息识别模块、...
- 李姗姗周书林郑思董威贾周阳陈振邦陈立前张元良王腾廖湘科
- 一种基于API使用概率模型的程序合成方法
- 本发明公开了一种基于API使用概率模型的程序合成方法，包括：计算任务描述与指定的范围库中每个API在网络资源中对应文本的相似度后求得API与任务相关度的概率信息，根据API与任务相关度的概率信息为可达图模型的每条边添加概...
- 董威刘斌斌尹良泽陈立前陈振邦王戟
- 文献传递
- 一种基于污点分析的软件配置故障检测方法
- 本发明公开了一种基于污点分析的软件配置故障检测方法，目的是有效检测出软件系统中的配置故障。技术方案为：构建由配置参数分析与定位模块、数据流分析模块、控制流分析模块、配置约束提取模块、配置约束检查模块组成的配置故障检测系统...
- 李姗姗王腾何浩辰陈振邦陈立前董威张元良贾周阳黄响兵胡柳敏张晶莹
- 一种面向性能调优的软件配置项预选方法
- 本发明公开了一种面向性能调优的软件配置项预选方法，目的是解决现有对配置项进行的性能调优方法存在耗时长、仅考虑单一意图的问题。技术方案为：构建由配置项意图数据自动扩增模块和配置项预选模块构成的面向性能调优的软件配置项预选系...
- 李姗姗贾周阳马俊李小玲何浩辰董威陈立前陈振邦周成龙
- 一种基于不可满足核的IC3加速验证方法及系统
- 本发明公开了一种基于不可满足核的IC3加速验证方法及系统，本发明包括将待验证的程序模型输入采用SMT求解器的IC3算法模型进行求解以获得待验证的程序模型是否满足指定的安全属性或规范的验证结果，且包括初始化不可满足核库，每...
- 尹良泽 龚欣怡董威王戟李姗姗陈振邦刘万伟
- 嵌入式软件安全关键性质的形式验证理论
- 王戟董威陈振邦陈立前尹良泽刘万伟
- 嵌入式软件作为信息物理融合系统的核心，其安全性和可靠性至关重要。传统软件测试、代码审查等方法对共享内存的并发性质、事件关联的时序性质、复杂数值计算与控制性质、以及概率关键性质等安全关键性质保证缺乏理论和工具支持，从而缺失...
- 关键词：
- 关键词：信息物理融合系统
- 基于三阶段棋类游戏开发的程序设计实践课程改革被引量：2
- 2019年
- 针对计算机程序设计实践类课程的实践选题难以满足教学实际需求,分析了这类课程的具体需求和存在的问题,提出了基于三阶段棋类游戏开发实验的实践选题,并在课程组织和成绩评价等方面采取了多项改革措施,取得了良好的教学效果。
- 徐建军陈振邦尹良泽
- 关键词：程序设计实践课程
- 一种面向大规模网络环境的分布式K近邻节点搜索方法
- 本发明公开了一种面向大规模网络环境的分布式K近邻节点搜索方法，要解决的技术问题是：提出一种面向大规模网络环境的分布式K近邻节点搜索方法，低成本高精度实现节点邻近性的测量。技术方案是采用直接测量方式为每个节点构建邻居集，并...
- 王意洁符永铨孙伟东李小勇马行空李东升褚瑞张一鸣陈振邦彭宇行车永刚徐传福王勇献
