蒲戈光
- 作品数：31 被引量：33H指数：3
- 供职机构：华东师范大学更多>>
- 发文基金：国家自然科学基金创新研究群体科学基金更多>>
- 相关领域：自动化与计算机技术文化科学自然科学总论交通运输工程更多>>
- 一种面向安卓平台的测试用例自动化生成方法及生成系统
- 本发明公开了一种面向安卓平台的测试用例自动化生成方法，利用安卓应用测试框架AndroidViewClient和安卓应用进行交互，录制安卓图形用户界面的事件序列，生成相应的录制测试脚本；通过程序分析方法，将录制测试脚本转换...
- 李俊馨苏亭蒲戈光何积丰
- 一种基于时间自动机的软硬件最优划分的可视化方法
- 本发明公开了一种基于时间自动机的软硬件最优划分的可视化方法，包括以下步骤：工作流建模步骤：利用图形建模框架创建多个模块，根据各模块的偏序关系绘制工作流模型；时间自动机模型设计步骤：为每个模块设计时间自动机，构建工作流模型...
- 陈铭松黄赛杰蒲戈光
- 一种基于概率模型的移动应用自动化测试方法
- 本发明公开了一种基于概率模型的移动应用自动化测试方法，包括如下步骤：通过分析被测应用获取当前界面上的可执行事件；综合权衡可执行事件的控件类型、控件执行次数以及后继子节点的数量确定每个可执行事件的综合权重值，并选择出下一个...
- 蒲戈光苏亭武轲杨伟明曹棋敏姚瑶
- 文献传递
- NSFC形式化方法领域基金项目申请资助情况分析
- 2023年
- 针对历年来国家自然科学基金委员会(NSFC)在形式化方法领域各类型基金申请和资助情况进行统计和分析,并对涉及的重大研究计划和重大项目予以重点阐述和分析,最后对NSFC“十四五”发展规划中涉及形式化方法的部分予以解读。
- 陈厅吴国政刘哲蒲戈光赵瑞珍刘克
- 关键词：形式化方法
- 软硬件协同设计中的性能和资源研究
- 本文研究了软硬件协同设计中的性能和资源问题，包括系统的资源和时间估计，软硬件划分的性能优化问题等，并把软件形式化方法应用于这个领域，取得了一些成果。
有了描述系统功能的高层规范之后，设计者首先需要分析满足规范的...
- 蒲戈光
- 关键词：软硬件协同设计硬件资源时间自动机
- 一种基于关键点引导的数据流测试方法及其测试系统
- 本发明公开了一种基于关键点引导的数据流测试方法，包括：通过标准的数据流分析方法获得待测程序中的定义‑使用对；根据控制流分析方法分析所述定义‑使用对中的关键点；将所述定义‑使用对和所述关键点输入符号执行器；所述符号执行器使...
- 蒲戈光苏亭张枨宇武轲姚银波周寒茹
- 文献传递
- 基于SPARDL的模型和程序一致性测试
- 2013年
- 针对周期控制系统的时序一致性进行研究,提出基于SPARDL(space aircraft description language)的模型和程序一致性测试方法,通过模型抽取获取模式迁移图和控制流程图,通过程序插桩获取程序执行路径,实现了自动检测周期控制系统中的模式迁移和模块调用的一致性,给出了基于模式迁移图和控制流程图的覆盖检测并用于指导程序测试用例的生成。结合具体的周期控制系统,验证了一致性测试方法在实际工程中的有效性。
- 陈玉祥蒲戈光綦艳霞陈铭松王政陈朝晖顾斌
- 黑盒验证:无人驾驶系统安全挑战的解决途径
- 2023年
- 无人驾驶是未来交通的必然.当今,无人驾驶汽车在限制场景中已经展示出广泛的应用前景,如园区的物流配送、矿区的自动运载、固定路线的垃圾清除等.在无人驾驶的大规模应用之前,急需解决的挑战是无人驾驶的安全性.全球各国已经充分意识到了无人驾驶安全的重要性,不仅发布了多角度的无人驾驶安全技术标准,也出台了相关政策用以规范无人驾驶车辆的安全管理.黑盒验证是提高无人驾驶系统安全性的关键解决途径.黑盒验证是指无人驾驶的软硬件研发完成之后,对其系统进行测试确认,最大程度保证其系统安全性.
- 蒲戈光
- 关键词：无人驾驶黑盒物流配送
- 航空机载嵌入式控制软件需求建模的形式化工程方法被引量：7
- 2019年
- 嵌入式控制软件是现代航空飞行器的核心部件之一。构建软件需求的形式化规约精确地刻画人们对软件期望的功能和运行场景,是确保此类安全攸关软件质量的根本途径。在工业界,形式化需求建模的大规模应用尽管有成功的案例,但仍面临众多的困难。其根本性难点在于缺少一种系统化的工程方法来引导工业界软件实践者,从原始需求开始最终完成形式化需求规约,并能确认该规约真实、充分地反映了人们对软件期望的功能。针对上述挑战,提出了一种面向机载控制软件需求建模的形式化工程方法ACSDL-MV,以形式化方法为理论基础,结合软件需求工程的基本原理,引导工程人员从原始需求出发以演化式的过程逐步完成需求规约的构建;定制了航空控制软件的形式化描述语言ACSDL,用以构建形式化规约;为了确认软件需求规约准确、充分地描述了人们对软件期望的功能,该方法给出了基于图形的静态审查和基于模型的动态模拟技术。在航空发动机公司中的实验结果表明,该方法相比传统方法探测到了更多的潜在错误。
- 黄怿豪冯劲草郑寒月缪炜恺蒲戈光
- 关键词：形式化方法
- 一种基于时间自动机的软硬件最优划分的可视化方法
- 本发明公开了一种基于时间自动机的软硬件最优划分的可视化方法，包括以下步骤：工作流建模步骤：利用图形建模框架创建多个模块，根据各模块的偏序关系绘制工作流模型；时间自动机模型设计步骤：为每个模块设计时间自动机，构建工作流模型...
- 陈铭松黄赛杰蒲戈光
- 文献传递
