王博

作品数：6被引量：46H指数：4
导出分析报告
供职机构：清华大学信息科学技术学院计算机科学与技术系更多>>
发文主题：嵌入式软件接口自动机可组合性相容性测试用例生成更多>>
发文领域：自动化与计算机技术更多>>
发文期刊：《计算机学报》《航空科学技术》《计算机研究与发展》《软件学报》更多>>
所获基金：国家自然科学基金国家高技术研究发展计划国家重点基础研究发展计划北京市自然科学基金更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-6
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于执行序列的嵌入式软件时序异常检测被引量：7
《计算机学报》2017年第12期2635-2657,共23页王博 白晓颖 陈文光 SONG Xiaoyu 
国家自然科学基金(91218302;61472197);北京市自然科学基金(4132062)资助~~
时序特性是嵌入式软件的重要特性,实时嵌入式软件运行的正确性不仅依赖于任务执行结果,更依赖于任务执行时间.执行任务往往具有多个时间约束,且相互之间可能存在制约关系,对时间约束进行验证和确认是嵌入式软件测试的一个重要问题.文中...
关键词：接口自动机 时间约束 执行片段 相关性分析 时序缺陷检测 软件测试 嵌入式软件 
模型驱动的IMA标准符合性测试自动化技术研究被引量：3
《航空科学技术》2015年第11期83-89,共7页王博 陆皓 白晓颖 
随着现代航空电子系统的规模、复杂度不断提升,综合模块化航电系统(Integrated Modular Avionics,IMA)在新一代作战飞机中逐渐得到全面应用。IMA将预先定制的任务单元作为多样化任务的处理平台,并集成为综合处理机,实现数据的高速集中...
关键词：综合模块化航电系统 模型驱动 自动化测试 标准符合性 开放式软件架构 
基于接口自动机与符号执行的嵌入式软件测试用例生成被引量：9
《计算机学报》2015年第11期2125-2144,共20页王博 白晓颖 张超 贺飞 SONG Xiao-Yu 
国家自然科学基金(91218302;61472197);国家"九七三"重点基础研究发展规划项目基金(2011CB302505);国家"八六三"高技术研究发展计划项目基金(2013AA01A215);北京市自然科学基金(4132062)资助~~
随着嵌入式软件规模、复杂度的持续增长,基于构件的设计技术已在大规模嵌入式系统开发中得到广泛应用.嵌入式构件测试是保证构件质量以及构件间集成构造的重要手段.基于模型的测试是嵌入式软件测试的重要方法,通过基础模型描述系统预期...
关键词：扩展语义接口自动机 符号执行 测试用例生成 
可组合嵌入式软件建模与验证技术研究综述被引量：18
《软件学报》2014年第2期234-253,共20页王博 白晓颖 贺飞 Xiaoyu SONG 
国家自然科学基金(61073003;91218302)
可组合嵌入式软件以构件开发技术为基础,研究嵌入式构件的建模、组合性质、构件间组合机制以及组合验证等理论、方法和技术.从组合理论、建模与验证技术这3个方面对可组合嵌入式软件的研究现状进行调研分析.组合理论研究给出构件可组合...
关键词：可组合嵌入式软件 可组合性 相容性 组合模型 组合机制 组合验证 
几种虚拟机镜像格式及其性能测评被引量：8
《计算机应用》2013年第A01期22-25,共4页许艳军 姜进磊 王博 杨广文 
国家自然科学基金资助项目(61170210);国家973计划项目(2011CB302505);国家863计划项目(2011AA01A203)
在虚拟化环境中,虚拟机镜像文件由于其灵活、方便的特性,应用非常广泛。不同的镜像文件格式由于其实现上的差异,性能也各不相同。介绍了几种常用虚拟机镜像格式的基本原理、寻址方式等,并通过实验测试一些小文件的读写性能来检测它们的...
关键词：云计算 虚拟机 镜像格式 性能测评 
多核体系下的并行任务构建被引量：1
《计算机研究与发展》2012年第4期818-825,共8页王博 尚世锋 武永卫 郑纬民 
国家自然科学基金项目(60803121;60773145;60911130371;90812001;60963005);国家"八六三"高技术研究发展计划基金项目(2009AA01A130;2006AA01A101;2006AA01A108;2006AA01A111;2006AA01A117)
基于多核体系下的系统运行效率越来越受到各行业的关注,一个系统往往是由若干软件子模块构成的.一个完整的系统可以由Tomcat,Httpd以及Lucene这3个软件模块构成.这些软件本身均进行了一定的优化,各自运行效率都良好,可是如果将它们整合...
关键词：并行化 多核系统 子任务 重排 同步 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部