国家高技术研究发展计划(2009AA010313)
- 作品数：2 被引量：8H指数：2
- 相关作者：张刚李宁詹海潭王崑声经小川更多>>
- 相关机构：中国航天科技集团公司西北工业大学中国航天科技集团更多>>
- 发文基金：国家高技术研究发展计划国家自然科学基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 航天嵌入式软件运行时错误静态分析方法被引量：4
- 2013年
- 提出一种基于属性模型的运行时错误静态分析方法.该方法将运行时的错误按照发生原因进行分类,提取每类错误的属性模式,对属性模式进行形式化建模形成属性有限状态机;并对程序流图中与属性相关的路径进行分析,对照属性有限状态机运用路径敏感和上下文敏感的方法分析运行时错误.实验结果显示,该方法与现有主流方法相比,在准确率和效率之间可取得良好平衡.
- 王崑声詹海潭经小川李宁张刚
- 关键词：上下文敏感
- 基于遗传算法的技术成熟困难度计算方法被引量：4
- 2011年
- 为避免基于表单的技术成熟困难度评价方法的主观性和片面性,提出了一种基于遗传算法的技术成熟困难度计算方法.该方法以技术成熟度评价结果为基础,对待评价技术的现有成熟状态作可视化处理,以二维坐标图的形式显示,再由预先建立的积分公式得出技术成熟困难度的计算结果,积分公式中的权重系数通过遗传算法的种群初始化、选择、交叉和变异等操作进行选择.实验证明,该方法能够客观准确地得出待评价技术从某一等级成熟度发展为另一等级成熟度的困难程度.
- 张刚杨海成经小川王潇茵
- 关键词：技术成熟度遗传算法积分计算
- A Case Study of Using SOFL to Specify A Concurrent Software System
- ＜正＞SOFL[1][2],a formal engineering method which was designed by integrating different notations and techniques...
- Yuting Chen School of Electronic
- 文献传递
- A Bidirectional Graph Transformation Approach to Analysis of Concurrent Software Models
- ＜正＞The application of model driven software development still faces strong challenges.One challenge we focus o...
- Yuting Chen School of Electronic
- 关键词：BIG
- 文献传递
