马保
- 作品数：3 被引量：6H指数：2
- 供职机构：复旦大学更多>>
- 发文基金：环境保护公益性行业科研专项国家科技重大专项更多>>
- 相关领域：自动化与计算机技术更多>>
- OSEK/VDX操作系统功能测试研究被引量：2
- 2012年
- 传统OSEK/VDX操作系统测试采用分类树的测试方法,导致测试路径不完全和冗余性高。为此,提出以系统服务接口为目标的面向符合类的流框图测试方法。通过评估接口重要度,准确判断接口的各种调用组合方式,提高测试覆盖率,实现测试代码的复用,其测试工作量比原方法减少三分之一。
- 马保罗晓敏涂时亮沈灏仇睿
- 关键词：分类树
- 入侵物种沿青藏铁路扩散的仿真研究被引量：4
- 2012年
- 通过引入偏微分方程Cauchy问题,进行了入侵物种的一维单源点扩散的模型及模型的离散化问题研究。在此基础上,对给定的入侵物种扩散系数,结合青藏铁路沿线的地理特征,采用Matlab和ArcGIS9.2软件,进行了入侵物种沿青藏铁路扩散的仿真研究,获得了从以一维到三维的仿真结果。这一理论研究结果适用于一般入侵物种扩散的仿真研究,具有广泛的应用前景和实用价值。
- 唐旭清马保金英花徐海根
- 关键词：生物入侵CAUCHY问题扩散率仿真
- 基于OSEK/VDX操作系统的测试研究和应用
- 随着汽车工业和信息技术的迅猛发展，现代汽车集成了越来越多的复杂电子元器件。为满足管理日益增多的电子控制单元的需求，实现应用软件间的可移植性以及不同厂商所生产的控制模块的兼容性，迫切需要一种统一的系统管理平台。OSEK/V...
- 马保
- 关键词：软件测试自动化测试
