国家高技术研究发展计划(2009AA01Z147)

作品数：17被引量：139H指数：5
导出分析报告
相关作者：徐宝文董云卫陈林周毓明董国伟更多>>
相关机构：南京大学西北工业大学东南大学南京航空航天大学更多>>
相关期刊：《东南大学学报（自然科学版）》《西安电子科技大学学报》《计算机与数字工程》《科学通报》更多>>
相关主题：软件测试嵌入式软件AADL模态互信息更多>>
相关领域：自动化与计算机技术更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
一致闭的禁忌交互集生成算法
《计算机学报》2015年第11期2279-2289,共11页周吴杰 张德平 徐宝文 
国家自然科学基金(90818027;91018005);国家"八六三"高技术研究发展计划项目基金(2009AA01Z147);国家"九七三"重点基础研究发展规划项目基金(2009CB320703)资助~~
组合测试是侦测软件系统中各因素或配置之间是否有交互作用导致软件系统故障的重要方法,当因素之间的取值组合出现约束时如何生成尽可能少的测试用例是组合测试中的热点问题之一.该文研究了约束出现时由约束导致的禁忌交互集的结构形式...
关键词：组合测试 约束条件 禁忌覆盖表 禁忌交互 一致闭禁忌交互集 类AETG算法 
基于互信息的无监督特征选择被引量：72
《计算机研究与发展》2012年第2期372-382,共11页徐峻岭 周毓明 陈林 徐宝文 
国家自然科学基金项目(61073029;90818027;60633010);国家"八六三"高技术研究发展计划基金项目(2009AA01Z147);国家"九七三"重点基础研究发展计划基金项目(2009CB320703)
在数据分析中,特征选择可以用来降低特征的冗余,提高分析结果的可理解性和发现高维数据中隐藏的结构.提出了一种基于互信息的无监督的特征选择方法(UFS-MI),在UFS-MI中,使用了一种综合考虑了相关度和冗余度的特征选择标准UmRMR(无监督...
关键词：特征选择 无监督特征选择 互信息 最小冗余-最大相关 无监督最小冗余-最大相关 
基于模态的嵌入式软件动态重构技术研究被引量：7
《计算机科学》2012年第2期175-178,194,共5页覃杨森 董云卫 
国家自然基金重点课题(60736017);国家863计划课题(2009AA01Z147)资助
机载航空电子系统设计采用综合化系统体系结构,可实现计算系统及其计算资源和计算设施的"物理集成";以及机载嵌入式软件系统的"功能集成";提供对系统计算功能的动态配置管理和实时动态冗余,以期得到较高的计算性能和保障系统的高可靠性...
关键词：软件体系结构 动态重构 模态 
组态化嵌入式软件仿真系统设计被引量：3
《计算机工程》2011年第21期225-227,231,共4页姬祥 董云卫 王宇英 凌恒 
国家自然科学基金资助重点项目(60736017);国家"863"计划基金资助项目(2009AA01Z147)
为缩短开发周期,提高嵌入式软件仿真系统的设计水平,提出一种组态化嵌入式系统设计。集成仿真建模工具、仿真模型代码生成工具,实现仿真运行环境搭建和对仿真数据的实时监控,采用组态化的仿真方法,根据用户需求生成监控界面。实验结果表...
关键词：嵌入式软件 实时监控 组态软件 仿真系统 
基于SystemC的AADL软构件仿真代码转换技术
《计算机科学》2011年第8期161-164,196,共5页马春燕 董云卫 陆伟 朱晓燕 
国家高技术研究发展计划(863计划)(2009AA01Z147);陕西省自然科学基础研究计划项目(2009JM8003-5);西工大科技创新基金(2008KJ02045);西北工业大学引进高层次人才科研启动费资助项目及西北工业大学软件与微电子学院"R"孵化基金(2010R005)资助
目前,AADL在任务关键和安全关键嵌入式领域有着良好的应用。如何在设计阶段对AADL模型进行仿真,并根据仿真结果迭代构造和精化设计模型,以尽早发现设计模型中存在的问题,保障设计模型的质量,进而减少系统开发的代价,是目前急需解决的技...
关键词：AADL SYSTEMC 转换技术 仿真 
基于AADL的软件重构工具设计与实现被引量：1
《计算机科学》2011年第7期121-125,共5页李龙 董云卫 覃杨森 张凡 
国家自然基金重点课题(60736017);国家863计划课题(2009AA01Z147);2009年度西北工业大学基础研究基金(JC200917)资助
模态(Mode)表示的是软件可操作配置的状态,在一个或多个模态内可对资源和属性进行重新配置,即重构。目前,在对VxWorks系统下C程序的AADL架构进行模态的提取和蓝图制定过程中,还没有现成的工具。因而,设计一个基于AADL架构的软件重构工...
关键词：模态 重构 AADL 蓝图 
构件化嵌入式软件可靠性预测模型被引量：1
《西安电子科技大学学报》2011年第1期171-175,共5页李长德 周兴社 董云卫 
国家自然科学基金重点资助项目(60736017);国家863高技术研究发展计划资助项目(2009AA01Z147)
由于传统的基于黑盒的可靠性建模方法不适合构件化软件开发,所以如何利用软构件的可靠性,预测分析嵌入式系统的可靠性成为一个亟待解决的问题.考虑到构件开发者与使用者相分离的特征以及构件化软件的组装方式,综合应用构件可靠度属性、...
关键词：构件 可靠性 架构 嵌入式软件 
通过增大边际权重提高基于频谱的错误定位效率被引量：10
《计算机学报》2010年第12期2335-2342,共8页谭德贵 陈林 王子元 丁晖 周毓明 徐宝文 
国家自然科学基金(90818027;60873050);国家"八六三"高技术研究发展计划专题项目基金(2009AA01Z147);国家"九七三"重点基础研究发展规划项目基金(2009CB320703);上海市科委重点实验室基金(09DZ2272600)资助~~
基于频谱的错误定位技术通常利用覆盖信息来求出程序中每条语句的可疑度,并将语句按照可疑度降序排序以寻找错误语句.文中对已有的基于频谱的错误定位算法进行改进,将失败测试用例的边际权重引入到可疑度计算的过程中,即针对某一特定语...
关键词：软件测试 程序分析 错误定位 覆盖信息 
AADL测试模型的构造研究被引量：2
《西北工业大学学报》2010年第6期968-973,共6页马春燕 董云卫 朱宇峰 陆伟 
国家高技术研究发展计划(2009AA01Z147);陕西省自然科学基础研究计划(2009JM8003-5);西工大科技创新基金(2008KJ02045);西北工业大学引进高层次人才科研启动费;西北工业大学软件与微电子学院"R"孵化基金(2010R005)资助
目前,结构分析和设计语言AADL在任务关键嵌入式系统领域有着良好的应用。为了保障任务关键软件的质量,文章提出基于AADL测试模型对AADL设计模型进行测试,以发现设计模型中存在的错误。研究给出了体现系统拓扑结构的AADL测试模型的形式...
关键词：AADL AADL设计模型 AADL测试模型 
一种面向对象的Web Application测试模型被引量：3
《计算机科学》2010年第7期134-136,151,共4页路晓丽 董云卫 赵宏斌 
国家863计划课题(No.2009AA01Z147)资助
为了保证Web应用的质量和可靠性,需要不断加强对Web应用软件的测试研究。Web应用软件的有效测试依赖于对其进行充分的分析和理解,提出良好的测试模型,并基于测试模型提出测试策略和测试方法。提出了一种面向对象的Web应用软件测试模型WA...
关键词：WEB应用软件 测试模型 Web应用软件测试 
全选清除导出
共2页<12>
检索报告 对象比较 聚类工具 使用帮助 返回顶部