薛静
- 作品数：5 被引量：14H指数：2
- 供职机构：北京航天自动控制研究所更多>>
- 相关领域：自动化与计算机技术航空宇航科学技术更多>>
- LDRA TESTBED在航天软件测试中的应用被引量：8
- 2007年
- 提出采用LDRA(Liverpool Data Research Associates Ltd.)TESTBED测试工具辅助完成高可靠性的军用软件测试工作,并通过测试实例阐述了该工具在航天软件测试中的应用方案。结果证明,合理使用该工具,能够有效避免人为失误,提高软件测试的效率和信息采集的准确度。
- 李中萍岳海薛静
- 关键词：软件测试测试工具LDRATESTBED
- 一种基于软总线的数据同步及交换方法
- 本发明公开了一种基于软总线的数据同步及交换方法，在冗余设计软件的全数字仿真环境基础上，使用基于PC值同步的方法，解决了在以往的系统级全数字仿真环境中无法满足短时间内多次交互的需求。本发明的基于软总线的数据同步及交换方法，...
- 王亚飞王洋申彪彭亮宋子溦王瀚超薛静黄鹂杨娇茹林桂芳阳徽费亚男
- 基于资源扩展活动图的并发测试用例生成方法被引量：1
- 2019年
- 对UML(统一建模语言)活动图进行共享资源的属性扩展,利用扩展的活动图对并发系统间任务的同步及数据的竞争关系建模,充分考虑并发软件运行原理、故障模式及测试效率,提出并发系统的测试覆盖原则及基于扩展活动图的并发测试用例生成方法。进一步通过举例验证该方法能够正确的生成并发测试用例同时又可防止用例数量爆炸,提高了并发软件测试的可靠性及效率。
- 朱晓程薛静杨彬闫雪丽
- 关键词：并发软件活动图共享资源测试用例生成方法
- 一种高速系统级虚拟测试环境实现技术被引量：4
- 2019年
- 提出一种针对航天嵌入式软件的系统级虚拟测试环境实现技术。通过该技术实现的系统级虚拟测试环境准确同步每个弹上处理器的运行时间,并模拟各处理器板之间的硬件接口,使基于多处理器的嵌入式软件测试摆脱了半实物环境的制约,提高了测试有效性,缩短了测试周期。该技术利用操作系统提供的进程间通讯机制,构造了可扩展的弹上软件系统级测试环境,并且在实现系统互连的前提下保证了虚拟环境执行的高效率。
- 王洋薛静刘春龙武咏晗
- 关键词：进程间通讯软件测试
- 一种基于单件模式的主控软件资源冲突问题解决方案被引量：1
- 2018年
- 为解决主控软件资源冲突问题,提高软件可靠性,本文以某主控软件多线程访问同一资源导致软件异常的具体问题为例,提出单件模式解决问题的思路并给出具体解决方案,讨论了传统设计方法与单件模式方式的区别,总结单件模式的优势。进一步分析主控软件重用框架对资源唯一性的要求,给出3个非功能要求的单件模式设计方法。事实表明,单件模式应用在主控软件设计上,可以提高设计效率,还可以提高软件可靠性和维护性。
- 闫雪丽薛静王洋杨彬
- 关键词：单件模式主控软件资源冲突
