陈柯
- 作品数：6 被引量：3H指数：1
- 供职机构：南京航空航天大学更多>>
- 发文基金：国家自然科学基金中央级公益性科研院所基本科研业务费专项更多>>
- 相关领域：自动化与计算机技术更多>>
- 基于随机Petri网的嵌入式软件测试方法研究与工具开发
- 随着软件系统应用范围的日益广泛，高效的实时性嵌入式软件由于具有严格的时间响应要求，已经在航空航天、军事、核电技术等特殊工程领域得到重要应用，对于这类软件系统的测试工作显得尤为关键。对待测系统准确的建模和高效自动化的测试分...
- 陈柯
- 关键词：随机PETRI网嵌入式软件测试测试用例粒子群优化
- 一种基于云计算的无人机自动检测及故障诊断方法
- 本发明涉及一种基于云计算的无人机自动检测及故障诊断方法，使用云计算平台，结合虚拟仪器labview，使检测系统具有网络化的特点，方便地组建网络化虚拟仪器检测系统实现实时数据采集。将实时采集到的数据上传到云端的数据服务器并...
- 刘久富梁娟娟朱丹丹陈柯陈哲王正谦
- 文献传递
- 基于含不可观变迁Petri网的码垛机器人零件加工系统故障检测方法被引量：1
- 2013年
- 研究了基于含不可观变迁Petri网的码垛机器人零件加工系统故障检测问题。结合机器系统运行过程中的故障特征,对Petri网在机器系统故障诊断中的应用进行了研究,提出了包含不可观变迁Petri网的基本可达树和诊断分析函数的概念及基本可达树故障检测算法。以码垛机器人零件加工系统为例,建立了Petri网系统模型,应用基本可达树故障检测算法进行检测,故障检测结果符合码垛机器人零件加工系统实际运行情况,验证了该方法的有效性。
- 刘久富陈柯梁娟娟叶文华王志胜
- 关键词：故障检测PETRI网可达树
- 基于符号执行的软件静态测试研究被引量：2
- 2013年
- 文中基于符号执行理论,设计了一种面向C语言的静态分析方法。通过词法分析和语法分析构建了程序的抽象语法树,并在此过程中对源代码进行规范性检查,再根据函数调用关系与抽象语法树来确定程序分析层次,并通过约束求解器确定程序中每一条可执行路径,最后依照程序的可执行路径得到每个变量最终的符号执行结果。该方法支持基于C语言文法的程序规范性检查,便于代码质量度量。利用该方法得到的抽象语法树,可开展静态构架分析,同时利用变量值的符号表达式可辅助测试用例生成,有助于提高测试的效率和质量。
- 梁娟娟刘久富朱丹丹陈柯
- 关键词：抽象语法树
- 一种3G警用移动机器人双余度控制系统
- 本发明公布了一种3G警用移动机器人双余度控制系统。其硬件结构主要包含远程控制平台、本地控制系统和警用移动机器人等部分，远程控制平台与本地控制系统之间依靠3G网络进行通信；软件设计开发采用模块化思想。实现了对警用移动机器人...
- 刘久富陈哲王正谦梁娟娟朱丹丹陈柯
- 文献传递
- 基于MPPSO的软件结构测试数据生成方法
- 2013年
- 软件测试中到达待覆盖的目标分支为多条独立路径时,应用基本粒子群优化算法生成测试数据的效率较低。为此,提出多种群粒子群优化算法的软件结构测试数据自动生成方法,包括改进个体迁移策略、重新定义谓词约束函数与采用并行性的搜索方法。实验结果表明,该方法的迭代数和执行时间分别为基本粒子群算法的1/7和1/3,在执行和搜索效率上有着明显的优势。
- 陈柯刘久富朱丹丹梁娟娟
- 关键词：谓词约束函数多路径
