王宝
- 作品数：2 被引量：5H指数：1
- 供职机构：北京航天自动控制研究所更多>>
- 相关领域：自动化与计算机技术更多>>
- 航天软件测试用例设计方法应用被引量：4
- 2006年
- 介绍了航天软件测试中常用的测试用例设计方法,描述了航天软件常采用的可靠性措施(如“三取二”冗余设计、时序冗余控制等),提出了采用等价类划分和因果图进行用例设计的方法,给出了其工程应用实例,并总结了软件测试需求分析、用例设计的基本思路和步骤。
- 岳海王宝
- 关键词：软件测试测试用例设计
- 基于模型驱动的图像处理算法实现及优化被引量：1
- 2019年
- 作为嵌入式软件领域的一个重要发展方向,基于模型驱动的软件开发方法越来越受到开发人员重视。SCADE作为一种较为成熟的模型驱动开发工具,已得到了一定的应用,但其是否对各种建模场景均适用还有待研究。本文对利用SCADE建立图像处理算法模型进行了尝试,针对Sobel算法,设计了正确的算法模型,并对模型进行分析,总结了相应的优化方案。经过实验验证,优化方案可有效地提升程序执行效率。
- 王子豪禹春竹王宝韩翔宇
- 关键词：模型驱动开发SCADESOBEL算法
