您的位置： 专家智库 > >

朱云龙

作品数：7 被引量：10H指数：2
供职机构：南京航空航天大学更多>>
发文基金：教育部留学回国人员科研启动基金国家自然科学基金中央高校基本科研业务费专项资金更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 4篇专利
  • 2篇期刊文章
  • 1篇学位论文

领域

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

主题

  • 3篇代码
  • 3篇源代码
  • 3篇编译器
  • 2篇语法分析
  • 2篇语法树
  • 2篇种源
  • 2篇自动判断
  • 2篇自适
  • 2篇自适应
  • 2篇自适应方法
  • 2篇组件
  • 2篇计算机
  • 2篇计算机软件
  • 2篇抽象语法
  • 2篇抽象语法树
  • 1篇形式化
  • 1篇形式化规约
  • 1篇有限状态自动...
  • 1篇语言
  • 1篇语言描述

机构

  • 7篇南京航空航天...

作者

  • 7篇朱云龙
  • 6篇陈哲
  • 6篇黄志球
  • 4篇魏欧
  • 2篇王哲民
  • 1篇李绪蓉

传媒

  • 2篇小型微型计算...

年份

  • 1篇2018
  • 1篇2017
  • 3篇2016
  • 2篇2015
共 7 条 记 录，以下是 1-7
全选 清除 导出
排序方式：
复杂约束条件下多组件软件部署的自动化与自适应方法及其部署管理系统
本发明公开了一种复杂约束条件下多组件软件部署的自动化与自适应方法及其部署管理系统，属于计算机软件部署和维护技术领域。首先使用部署描述语言描述多组件软件的部署需求及其部署约束条件，然后通过使用设备状态信息探测器、约束求解器...
陈哲朱云龙黄志球魏欧
文献传递
一种源代码中值计算错误的自动检测和定位方法
本发明公开了一种源代码中值计算错误的自动检测和定位方法，属于计算机软件测试领域，该方法利用编译器对源代码进行语法分析，构造抽象语法树，通过遍历抽象语法树，基于表达式类型和用户指定检测的值计算错误类型，判断是否存在值计算错...
陈哲朱云龙魏欧黄志球
文献传递
复杂约束条件下多组件软件部署的自动化与自适应方法及其部署管理系统
本发明公开了一种复杂约束条件下多组件软件部署的自动化与自适应方法及其部署管理系统，属于计算机软件部署和维护技术领域。首先使用部署描述语言描述多组件软件的部署需求及其部署约束条件，然后通过使用设备状态信息探测器、约束求解器...
陈哲朱云龙黄志球魏欧
文献传递
C程序运行时监控和验证的插桩方法研究与应用
随着软件在社会生活应用中的不断深入，软件系统的体积和复杂度都呈现出迅速增长的态势，软件可靠性问题也相应成为软件行业发展不容忽视的重要方面。在现有的软件验证技术中，运行时验证作为一种轻量级的验证技术，综合了运行时监控技术和...
朱云龙
关键词：软件测试编译器
参数化运行时验证研究和工具实现被引量：2
2016年
随着软件规模的不断增大,如何保证软件的可靠性和安全性成为学术界和工业界越来越关注的问题.运行时验证是一种新型的程序自动验证技术,弥补了静态分析和模型检测等常用方法的缺点.设计一种针对C程序的监控器规约语言,用于描述针对C程序的形式化规约.该语言支持基于有限状态自动机和正则表达式的参数化运行时验证.本文借助开源工具flex和bison实现了支持该语言的参数化运行时验证工具M OVEC.为了对运行时产生的大量监控器进行索引,我们提出并实现了一种层次哈希森林的数据结构.实验证明该工具是可行且高效的.
王哲民陈哲朱云龙黄志球
关键词：形式化规约有限状态自动机
针对C语言的面向方面语言设计与实现被引量：6
2016年
C语言是使用率仅次于Java的编程语言,在实时控制、嵌入式系统、硬件驱动等领域有着广泛的应用.发展自面向对象的面向方面编程(AOP)思想是对横切关注点的有效模块化方法,如何将AOP的概念引入到面向过程的C语言中,提高开发效率和代码复用率,是一个非常有实际意义的课题.针对该课题,本文设计并实现一种针对C的AOP语言MOVEC.分析了AOP的基本概念并将现有针对C的AOP语言进行了对比;设计了更加完善的针对C的AOP语言MOVEC;给出了基于开源编译器Clang和源代码插桩的M OVEC语言实现;通过实验从时间和空间效率上证明了M OVEC语言的可行性.
朱云龙陈哲王哲民李绪蓉黄志球
关键词：C语言源代码
一种源代码中值计算错误的自动检测和定位方法
本发明公开了一种源代码中值计算错误的自动检测和定位方法，属于计算机软件测试领域，该方法利用编译器对源代码进行语法分析，构造抽象语法树，通过遍历抽象语法树，基于表达式类型和用户指定检测的值计算错误类型，判断是否存在值计算错...
陈哲朱云龙魏欧黄志球
文献传递
全选 清除 导出
共1页<1>
聚类工具0