付修锋
- 作品数：3 被引量：4H指数：1
- 供职机构：中国航天科工集团公司更多>>
- 相关领域：自动化与计算机技术电气工程更多>>
- 多重中断程序测试框架被引量：4
- 2012年
- 为了解决多重中断的执行不确定性带来的测试困难问题,在多重中断产生并发错误的特点的基础上,提出了一种多重中断程序测试框架。该测试框架通过从外部加载一组合适的中断信号序列控制中断处理程序的执行过程,迫使中断程序经历待测序列,避免了构造复杂的运行时控制环境。实验结果表明,相对于一般的中断错误分析方法,该测试框架能够对顺序程序多重中断环境下可能产生并发错误的时序环境和具体原因进行较为准确地分析。
- 付修锋陈丽容
- 关键词：软件测试不确定性共享资源
- 基于全数字仿真的复杂系统虚拟化仿真环境构建
- 2022年
- 文章针对当前航空航天等高安全、高可靠领域嵌入式软件的测试验证严重依赖专用硬件环境、测试充分性难以保证等问题,立足于处理器虚拟化仿真、分布式总线、基于FMI的联合仿真等技术方案,提出基于全数字仿真的复杂系统数字孪生环境构建方案,并对数字孪生技术的国内外发展现状进行了介绍,详细阐述了基于全数字仿真的复杂系統虛拟化仿真环境构建方案,通过对空间站某舱段多.个配置项的系统级虛拟化仿真实例验证了方案的可行性,相关研究成果和方法已在空间站、某型号控制系統得到应用,具有较强的工程实用性。
- 付修锋贾张涛张霄霄杨铁湃安恒李雅斯孔祥炳金玉川
- 关键词：复杂系统DDS
- 并发错误动态检测方法
- 2016年
- 针对并发程序路径分支多、状态空间大导致并发错误检测时间长且效率低下的问题,在动态偏序化简算法的理论基础上,提出一种分布式的并发错误动态检测方法。该方法包括一个负载均衡节点和若干个计算节点,分别运行负载均衡算法和分布式动态偏序化简算法,依靠分布式系统强大的计算能力,提高并发错误检测的效率。实验结果表明,相对于动态偏序化简算法,该方法极大地缩短了并发错误的检测时间。
- 付修锋邢彦陈丽容
- 关键词：并发程序分布式系统负载均衡
