国家自然科学基金(91118007)

作品数：43被引量：99H指数：5
导出分析报告
相关作者：杨孟飞黄晨顾斌董燕于广良更多>>
相关机构：北京控制工程研究所中国空间技术研究院华东师范大学南京大学更多>>
相关期刊：《计算机应用与软件》《计算机应用研究》《小型微型计算机系统》《计算机研究与发展》更多>>
相关主题：浮点形式化验证软件测试分析方法测试用例更多>>
相关领域：自动化与计算机技术航空宇航科学技术交通运输工程电子电信更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于参数类型和访问序的数据冲突静态分析方法被引量：5
《空间控制技术与应用》2018年第6期62-68,共7页董燕 黄晨 王小丽 虞砺琨 于倩 
国家自然科学基金资助项目(91118007)~~
中断数据冲突问题是航天嵌入式软件常见典型问题之一,问题的发生具有较大的偶然性和不确定性,目前缺少较为成熟的技术和有效分析方法,冲突问题仍是时有发生,增大了软件研制周期和维护成本.本文从参数的类型及访问序角度,重点针对数组变...
关键词：参数类型 参数访问序 静态方式 数据冲突 
改进的基于属性的软件可信性度量模型被引量：2
《武汉大学学报（理学版）》2017年第2期151-157,共7页陶红伟 赵杰 
国家自然科学基金资助项目(91118007)
对基于属性的软件可信性度量需要满足的性质集进行了扩充,提出了一种改进的软件可信性度量模型,并通过证明其满足扩充后度量性质集对其进行了理论验证.相关工作比较表明相对于常用的两种基于属性的软件可信性度量模型以及作者之前所提出...
关键词：可信软件评估 可信性度量性质 公理化方法 软件可信性度量 
高速缓存影响的航天器控制软件调度设计方法
《空间控制技术与应用》2017年第1期55-60,共6页于广良 杨孟飞 姜宏 徐建 
国家自然科学基金资助项目(91118007)
针对高速缓存引起的程序执行时间抖动对航天器控制软件任务调度造成的困难,提出一种基于循环调度的调度设计方法,该方法利用任务程序执行时间的概率分布设计具有不同可靠性的系统模式,通过模式切换,使处理器得到充分利用,同时能够提供...
关键词：高速缓存 时间分析 调度设计 航天器控制软件 
基于目标码的测试覆盖不可达分析方法被引量：3
《测控技术》2017年第1期100-103,107,共5页黄晨 董燕 于倩 虞砺琨 
国家自然科学基金资助项目(91118007)
基于目标码的测试覆盖率分析是软件测试过程的必要关键步骤,不可达分析能够保证测试的完整性和充分性。给出嵌入式软件基于覆盖率测试的分析过程,在嵌入式虚拟测试平台的基础上,对程序目标代码插桩,采用语句和分支覆盖率分析准则,将黑...
关键词：嵌入式 目标码 覆盖率 不可达 
基于编译器优化的嵌入式软件缺陷分析方法
《航天控制》2016年第5期64-69,共6页董燕 黄晨 左万娟 于倩 
国家自然科学基金资助项目(91118007)
嵌入式编译器会根据设定的编译选项和级别,对源代码进行优化处理,生成可执行目标码。针对嵌入式编译器的3种典型优化技术:数据预取技术、指令重排序技术和覆盖技术,结合具体实例分析问题引入机理,为有效避免编译器优化引入的软件缺陷,...
关键词：编译器优化 数据预取 指令重排序 覆盖技术 
基于表格的中断数据冲突静态分析方法被引量：8
《空间控制技术与应用》2016年第5期57-62,共6页黄晨 董燕 王小丽 虞砺琨 
国家自然科学基金资助项目(91118007)
中断冲突问题是星载嵌入式软件较为典型的缺陷之一,由于中断冲突发生的不确定性和随机性,在动态测试过程中难以复现和定位.介绍一种基于表格的中断冲突静态分析方法,专门针对数据关联性、操作关联性、时序冲突以实例的方式给出分析方法...
关键词：中断冲突 数据关联性 操作关联性 时序冲突 
基于公理化方法和模糊综合评价方法的企业经营绩效评价方法研究被引量：1
《管理科学与工程》2016年第3期127-138,共12页赵杰 陶红伟 刘春兵 
国家自然科学基金资助(91118007,61472447)。
经营绩效是体现企业能力的一个重要层面,因此,构建科学、合理的企业经营绩效评价体系,对企业实施全面综合的评价,不仅是提高企业自身发展水平的需要,也是应对市场竞争的客观要求。本文构建了一个具有分层结构的企业经营绩效评价指标体系...
关键词：企业经营绩效评价 公理化方法 模糊综合评价方法 
基于程序重写与区间运算的浮点异常检测被引量：1
《计算机工程与设计》2016年第6期1520-1525,共6页袁浩 
国家自然科学基金项目(91118007);上海市教育委员会创新基金项目(14ZZ046)
研究基于IEEE 754浮点标准下的浮点异常问题。针对C语言程序的上溢出、下溢出、被零除和无效运算这4类异常问题,结合C标准库中异常标记函数和区间运算的相关理论,提出两种针对性的异常检测的方法,分别解决对于函数特定值输入的异常检测...
关键词：浮点异常 符号执行 抽象语法树 区间算术 程序重写 
分布式符号执行平台被引量：1
《计算机系统应用》2016年第4期43-48,共6页孙盼盼 董威 
国家自然科学基金(91118007)
在软件工程学中,符号执行技术是一门高效的程序缺陷检测技术.符号执行使用符号值作为程序的输入,将程序的执行转变为相应符号表达式的操作,通过系统地遍历程序的路径空间,实现对程序行为的精确分析.然而,因受路径爆炸问题与约束求解问...
关键词：并行符号执行 分布式系统 WEB平台 缺陷检测 KLEE 
基于变量访问序模式的中断数据竞争检测方法被引量：17
《软件学报》2016年第3期547-561,共15页陈睿 杨孟飞 郭向英 
国家自然科学基金(91118007)~~
在航天嵌入式软件等中断驱动型软件中,中断数据竞争问题十分突出.然而,中断在并发语义、同步机制、调度机制等方面与线程(任务)有诸多不同,具有Ad-hoc特征,难以统一刻画,因此,主流的数据竞争检测方法并不适用.以航天嵌入式软件数据竞争...
关键词：中断驱动型程序 数据竞争 抽象解释 
全选清除导出
共5页<12345>
检索报告 对象比较 聚类工具 使用帮助 返回顶部