航天嵌入式软件可信性度量方法与系统

91018003
2010
F0203.软件理论、软件工程与服务
周宽久
重大研究计划
教授
大连理工大学
50万元
动态测试用例生成;缺陷模式匹配;中断调度;静态代码检测;全数字仿真验证平台
2011-01-01到2011-12-31
  • 中英文摘要
  • 结题摘要
  • 结题报告
  • 项目成果
  • 项目参与人
查看更多信息请先登录或注册
查看更多信息请先登录或注册
查看更多信息请先登录或注册
重置
序号 标题 类型 作者
1 基于耦合映像格子的软件相继故障研究 期刊论文 周宽久|兰文辉|冯金金|
2 基于Contourlet变换的抗几何攻击数字水印算法 期刊论文 孙晰锐|石慧|林闯|李明楚|
3 基于关系语法树的C/C++代码静态检测方法研究 期刊论文 周宽久|刘春燕|郑红波|赖晓晨|
4 一种面向软件可信性的测试用例生成与优化方法 会议论文 周宽久|王洁|王丽|
5 Software Reliability Test Based on Markov Usage Model 期刊论文 Jie Wang|Kuanjiu Zhou|Shanbin Ai|Xiaolong Wang|Gang Hou|
6 软件执行过程的加权复杂网络 期刊论文 周宽久|冯金金|兰文辉|
7 Supervised Gabor-based Kernel Locality Preserving Projections for face recognition 会议论文 Feng Xia|Xirui Sun|Kuanjiu Zhou|Chuang Lin|
8 基于遗传算法的嵌入式软件中断过载动态检测 期刊论文 王洁|李显杰|周宽久|崔凯|
9 Defects Detection of Parallel Programs Based on Log Mining 期刊论文 LAI Xiao-chen,ZHOU Kuan-jiu, QIU Pei-feng|
10 Verification of All-digital SPARC Instruction Set Based on FPGA 期刊论文 Kai Cui, KuanJiu Zhou, Jie Wang, Sun Hao|
11 一种嵌入式系统WCSD动态检测方法 期刊论文 苏翰|崔凯|王洁|周宽久|李显杰|
12 Research of Static Detection of C_C++ Source Code Based on Syntax Tree 会议论文 LAI Xiaochen, ZHOU Kuanjiu, QIU Peifeng|
13 Programmable NoC scheduling based on multi-core processor 会议论文 Kai, Cui|Xianjie, Li|Kuanjiu, Zhou|Jie, Wang|Shen, Shen|
14 基于控制流切片的代码安全缺陷检测方法 期刊论文 姚艳双|崔凯|周宽久|赖晓晨|杨广|
查看更多信息请先登录或注册

相关项目

趋势报告

经验分享