王立杰

作品数：5被引量：9H指数：2
导出分析报告
供职机构：江苏自动化研究所更多>>
发文主题：插件ECLIPSE软硬件平台MDAMAR更多>>
发文领域：自动化与计算机技术军事更多>>
发文期刊：《指挥控制与仿真》《计算机系统应用》《通信电源技术》更多>>
所获基金：国防基础科研计划更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-5
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
面向国产嵌入式系统的代码覆盖率实时分析工具
《通信电源技术》2023年第5期62-64,共3页张大方 王立杰 
国防基础科研计划资助(JCKY2020206B068)。
传统的代码覆盖率分析方式存在操作烦琐、执行耗时、效率低下、可能改变程序执行逻辑等弊端。针对国产嵌入式操作系统,设计了一套代码覆盖率实时分析工具,通过在项目中的应用验证表明,该设计方案可以实时分析、图形化显示嵌入式软件的...
关键词：嵌入式 代码覆盖率 实时分析 
基于国产平台的智能跟踪调试技术被引量：3
《计算机系统应用》2019年第8期101-108,共8页张大方 胡先浪 王立杰 
随着龙芯、飞腾、申威等国产处理器的诞生,目前涌现出了一批支持国产处理器的国产操作系统,如JARI-Works、中标麒麟等.但是,与国产软硬平台配套的调试工具发展却相对滞后,严重制约着国产平台下的软件调试效率.本文针对国产软硬平台,设...
关键词：ECLIPSE 平台 插件 国产软硬件平台 智能跟踪调试 
面向国产平台的程序并发性能分析技术被引量：1
《计算机系统应用》2019年第6期100-104,共5页王立杰 胡先浪 张大方 
随着国产处理器和国产操作系统的逐步推广应用,越来越多的开发人员在国产平台下开发多线程程序.目前国产平台普遍采用的Qt Creator 工具中缺乏可视化的并发性能分析工具,使得优化由于多线程同步/互斥和资源竞争带来的性能问题变得特别困...
关键词：国产平台 多线程 并发 QT Creator插件 死锁检测 
可信软件研究被引量：3
《指挥控制与仿真》2013年第4期8-11,31,共5页俞烈彬 王立杰 
总装备部"十二五"基金项目
可信软件是近年来软件工程领域研究的热点,装备软件可信性的研究有助于提升我国国防武器装备的作战效能。首先分析了进行装备软件可信相关研究的必要性;然后阐述可信软件技术的研究现状,主要包括软件可信度量和评估、可信软件的构造与...
关键词：可信软件 可信度量与评估 可信构造与验证 可信演化与控制 
基于MDA的MARTE模型形式化转换被引量：2
《指挥控制与仿真》2012年第6期128-133,共6页王立杰 刘昌禄 俞烈彬 
总装备部"十二五"基金项目
非形式化/半形式化模型到形式化模型之间的转换是当前软件工程领域的研究热点。根据异构模型转换,提出了基于MDA的MARTE模型到Object-Z规约之间的转换方法。针对Object-Z在实时领域表达能力不足的问题,首先扩展Object-Z元模型;然后在MD...
关键词：模型驱动 MARTE模型 Object-Z规约 元模型 模型转换 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部