王立杰
- 作品数：5 被引量：9H指数：2
- 供职机构：江苏自动化研究所更多>>
- 发文基金：国防基础科研计划更多>>
- 相关领域：自动化与计算机技术军事更多>>
- 面向国产平台的程序并发性能分析技术被引量：1
- 2019年
- 随着国产处理器和国产操作系统的逐步推广应用,越来越多的开发人员在国产平台下开发多线程程序.目前国产平台普遍采用的Qt Creator 工具中缺乏可视化的并发性能分析工具,使得优化由于多线程同步/互斥和资源竞争带来的性能问题变得特别困难.设计一种Qt Creator 下的并发性能分析方案,通过实时监控程序并发事件,采集程序运行过程中的并发性能数据,分析程序并发性能瓶颈和死锁原因,并以插件形式进行多视图数据显示.通过实验表明,该并发性能分析方案可以方便、快捷地辅助用户开发多线程并发程序,提高软件开发效率.
- 王立杰胡先浪张大方
- 关键词：多线程QT死锁检测
- 可信软件研究被引量：3
- 2013年
- 可信软件是近年来软件工程领域研究的热点,装备软件可信性的研究有助于提升我国国防武器装备的作战效能。首先分析了进行装备软件可信相关研究的必要性;然后阐述可信软件技术的研究现状,主要包括软件可信度量和评估、可信软件的构造与验证、可信软件的演化与控制等三个方面;最后分析了研究可信装备软件面临的挑战。
- 俞烈彬王立杰
- 面向国产嵌入式系统的代码覆盖率实时分析工具
- 2023年
- 传统的代码覆盖率分析方式存在操作烦琐、执行耗时、效率低下、可能改变程序执行逻辑等弊端。针对国产嵌入式操作系统,设计了一套代码覆盖率实时分析工具,通过在项目中的应用验证表明,该设计方案可以实时分析、图形化显示嵌入式软件的代码覆盖率,在实用性、易用性等方面较传统方式有很大提升。
- 张大方王立杰
- 关键词：嵌入式代码覆盖率
- 基于MDA的MARTE模型形式化转换被引量：2
- 2012年
- 非形式化/半形式化模型到形式化模型之间的转换是当前软件工程领域的研究热点。根据异构模型转换,提出了基于MDA的MARTE模型到Object-Z规约之间的转换方法。针对Object-Z在实时领域表达能力不足的问题,首先扩展Object-Z元模型;然后在MDA的元元模型体系下,定义了MARTE元模型和扩展的Object-Z元模型之间的转换规则。MARTE模型可以重用这些转换规则以实现到Object-Z形式化描述之间的转换,进而可以对模型进行形式化验证;最后通过一个实例使用该方法完成模型转换,具体说明了转换规则的应用。
- 王立杰刘昌禄俞烈彬
- 关键词：元模型
- 基于国产平台的智能跟踪调试技术被引量：3
- 2019年
- 随着龙芯、飞腾、申威等国产处理器的诞生,目前涌现出了一批支持国产处理器的国产操作系统,如JARI-Works、中标麒麟等.但是,与国产软硬平台配套的调试工具发展却相对滞后,严重制约着国产平台下的软件调试效率.本文针对国产软硬平台,设计了一种基于Eclipse平台的智能调试方案.通过在Eclipse平台下集成面向国产平台的工具链和智能跟踪调试插件,自动启动并智能跟踪调试流程,从而实现调试功能的图形化和智能化,进而构建出一套界面友好、使用便捷、自主可控的集成开发环境.通过实验表明,该调试方案能够有效简化调试流程,提高国产平台下的软件调试效率.
- 张大方胡先浪王立杰
- 关键词：ECLIPSE插件
