朱丹丹
- 作品数：8 被引量：2H指数：1
- 供职机构：南京航空航天大学更多>>
- 发文基金：国家自然科学基金中央级公益性科研院所基本科研业务费专项更多>>
- 相关领域：自动化与计算机技术文化科学更多>>
- 一种基于云计算的无人机自动检测及故障诊断方法
- 本发明涉及一种基于云计算的无人机自动检测及故障诊断方法，使用云计算平台，结合虚拟仪器labview，使检测系统具有网络化的特点，方便地组建网络化虚拟仪器检测系统实现实时数据采集。将实时采集到的数据上传到云端的数据服务器并...
- 刘久富梁娟娟朱丹丹陈柯陈哲王正谦
- 文献传递
- 一种基于Agent的码垛机器人控制软件测试方法
- 本发明涉及一种基于Agent的码垛机器人控制软件测试方法，是一种改进的针对码垛机器人控制系统软件进行黑盒与白盒测试的方法，属于嵌入式软件测试领域。本发明主要包括四个步骤：第一步，建立基于Agent的BDI模型TC_Age...
- 刘久富王伟陈魁苏青琴娄坚波朱丹丹梁娟娟
- 文献传递
- 一种基于条件值的软件静态预测方法及工具
- 本发明公布了一种基于条件值的软件静态预测方法及工具，有如下步骤：1、第一阶段分析。其中包括：1.1)将预处理代码输入测试工具中；1.2)利用基于C语言文法的词法分析器对代码进行词法分析；2、第二阶段分析。其中包括：2.1...
- 刘久富娄坚波陈魁苏青琴王伟朱丹丹梁娟娟
- 文献传递
- 基于符号执行的软件静态测试研究被引量：2
- 2013年
- 文中基于符号执行理论,设计了一种面向C语言的静态分析方法。通过词法分析和语法分析构建了程序的抽象语法树,并在此过程中对源代码进行规范性检查,再根据函数调用关系与抽象语法树来确定程序分析层次,并通过约束求解器确定程序中每一条可执行路径,最后依照程序的可执行路径得到每个变量最终的符号执行结果。该方法支持基于C语言文法的程序规范性检查,便于代码质量度量。利用该方法得到的抽象语法树,可开展静态构架分析,同时利用变量值的符号表达式可辅助测试用例生成,有助于提高测试的效率和质量。
- 梁娟娟刘久富朱丹丹陈柯
- 关键词：抽象语法树
- 一种3G警用移动机器人双余度控制系统
- 本发明公布了一种3G警用移动机器人双余度控制系统。其硬件结构主要包含远程控制平台、本地控制系统和警用移动机器人等部分，远程控制平台与本地控制系统之间依靠3G网络进行通信；软件设计开发采用模块化思想。实现了对警用移动机器人...
- 刘久富陈哲王正谦梁娟娟朱丹丹陈柯
- 文献传递
- 基于微信的小学家校沟通管理对策研究-以X市J校为例
- 家校沟通是小学教育管理中拉近学生家长与教师关系的有效途径。在新的时代背景下，教师要重视家校沟通工作，通过这种方式解决学生在学习生活中遇到的各种问题，并给予其有针对性的解决意见。近年来，随着信息技术的不断发展，家校沟通中微...
- 朱丹丹
- 关键词：小学教育家校沟通管理对策
- 嵌入式软件瞬时故障的形式验证方法研究及实现
- 在现代社会中，软件扮演着一个非常重要的角色，广泛应用到各种领域。软件诞生一来，软件安全问题也随之产生。长期以来人们对软件的安全性问题重视不够，致使软件存在一定的潜在风险，有的甚至导致重大的灾难。嵌入式软件广泛应用于航空航...
- 朱丹丹
- 关键词：嵌入式软件瞬时故障可靠性
- 文献传递
- 基于MPPSO的软件结构测试数据生成方法
- 2013年
- 软件测试中到达待覆盖的目标分支为多条独立路径时,应用基本粒子群优化算法生成测试数据的效率较低。为此,提出多种群粒子群优化算法的软件结构测试数据自动生成方法,包括改进个体迁移策略、重新定义谓词约束函数与采用并行性的搜索方法。实验结果表明,该方法的迭代数和执行时间分别为基本粒子群算法的1/7和1/3,在执行和搜索效率上有着明显的优势。
- 陈柯刘久富朱丹丹梁娟娟
- 关键词：谓词约束函数多路径
