杨芳
- 作品数：4 被引量：37H指数：4
- 供职机构：中国航天科工集团公司更多>>
- 相关领域：自动化与计算机技术更多>>
- 嵌入式软件目标码仿真测试平台的研究与设计被引量：10
- 2009年
- 为了满足当前提出的对安全关键软件进行目标码测试的要求,改变目标码测试工具缺乏的现状,提出了一种目标码仿真测试平台的设计方案。分析了目标码测试的特点,在此基础上提出了一种基于虚拟软件测试环境的支持嵌入式软件目标码测试的仿真测试平台的设计结构,给出了虚拟运行平台构建、目标文件静态分析、测试用例加载、测试信息采集记录和目标码覆盖率统计的解决方法。通过设计TMS320C67x目标码仿真测试平台,验证了该设计的有效性。
- 杨芳贺红卫谢鹏饶京宏
- 关键词：目标码嵌入式软件软件测试仿真测试平台
- 嵌入式软件中断系统资源冲突检测技术研究被引量：13
- 2010年
- 由于中断触发的随机性和不确定性,导致中断缺陷引发的问题时有发生,而且通常是不易追踪的严重软件故障,因此对中断系统软件的测试就提出了很高的要求,但是目前可用于中断系统资源冲突检测的工具缺乏。为有效检测由中断的资源冲突引发的软件问题,在分析了与中断相关的典型故障模式的基础上,提出了一种针对嵌入式软件中断系统的资源冲突进行检测的技术和方法。实验结果表明,该方法可有效检测出软件中与中断相关的资源冲突问题。
- 杨芳齐璇董丽叶东升
- 关键词：资源冲突形式化描述副作用分析嵌入式软件
- 基于BPMN的复杂网络指挥控制流程优化被引量：5
- 2019年
- 为满足指挥控制流程对任务内容动态更改的需求,缩短流程执行周期,针对传统工作流中流程节点静态、固化的现状,分析并扩展基于业务流程建模语言的任务状态空间,提出对流程节点增加部分提交,实现流程任务的最大化并行执行,研究增加任务状态与流程核心业务逻辑间的耦合关系,保证流程的正确性和可靠性,提出通过对流程节点状态持续监控,实现动态控制的优化算法。通过对扩展后业务流程处理时间、完成效率等分析,验证使用扩展的BPMN语言可有效缩短指挥控制流程处理时间,提升流程的并行性和动态性。
- 魏然江山杨芳
- 关键词：指挥控制工作流复杂网络
- 基于虚拟化的移动应用架构研究和设计被引量：9
- 2019年
- 为解决目前大多数移动应用的两层架构即客户端/服务器架构存在的客户端发布、管理以及数据安全等方面问题,分析并探讨虚拟化技术,重点研究桌面与应用虚拟化技术的原理和实现。在移动应用两层架构的基础上,融入虚拟化的技术手段,通过搭建虚拟化平台设计基于虚拟化技术的三层架构,对具体的客户端与服务端交互方式、图像处理方法、终端资源调用机制、信息推送机制等进行设计与实现。通过搭建环境与编程,验证了该架构的可行性。
- 叶蔚常青杨芳
- 关键词：虚拟化应用架构虚拟化平台
