航天软件模型化测试技术研讨会成功召开

北京皮炎医院简介 http://pf.39.net/bdfyy/zqbdf/210611/9052601.html
12月5日,航天软件模型化测试技术方法研讨会以在线会议方式举行,中国航天科技集团有限公司软件专家组、信息化与软件技术专业组及北京大学、西南交通大学专家参加了研讨。研讨会由中国航天科技集团有限公司软件专家组副组长王瑞研究员主持。王瑞研究员做了《基于模型的软件测试技术在航天型号软件测试中的应用》的技术报告。以航天型号为对象,利用不同建模工具,进行软件测试技术的顶层建模,对有关工具产品和技术模式进行对比分析。基于模型的软件测试技术方法论主要从技术标准、管理标准、模型方法、工具四个方面进行阐述,分解的具体内容有过程管理、工程管理、项目管理和支持管理,任务中心、数据中心、工具中心和经验中心等。北京大学谢涛教授做了《智能化软件测试》的技术报告。智能化软件工程为实现软件自动化带来了新机遇,不断累积的软件工程大数据中蕴含了丰富的软件开发知识,使得基于软件工程大数据用智能化手段构建可以媲美人类程序员的软件自动化工具有了新的可能性。谢教授对软件自动化最新研究进展及支撑低代码、无代码开发的技术进行系统性介绍,阐述了软件自动化的基本概念、主要挑战和解决方法,介绍了程序分析、程序综合、深度学习、自然语言理解以及知识图谱的一系列前沿技术,并通过实际案例说明了软件自动化在开发、测试、维护、运维以及商业智能的应用前景。西南交通大学王恪铭教授做了《模型检测技术在安全苛求系统开发测试阶段的应用》的技术报告,在轨道交通控制系统中,使用一种形式化方法进行建模与验证,通过对不变式的证明,最终得到可以生成C执行代码的高可靠模型,验证了系统设计中的安全、时间特性,检查出了需求规范分析中的缺陷,提出了增强系统稳健性的改进方案,并对符号执行路径爆炸问题的处理策略进行了描述。参会专家对相关内容进行了热烈的研讨,对国内外基于模型的软件测试技术方法工具、基于模型的航天软件测试应用体系等内容进行了深入的交流,介绍了测试用例自动生成、软件测试评价一体化等具体实践。通过此次研讨,中国航天科技集团有限公司软件人员和高校增加了沟通和交流,同时总结了航天型号软件的特点以及针对航天型号软件的测试方法及应用情况,部分形成了基于模型的航天软件测试应用体系认知。历史文章航天领域应用MBSE方法的思考和建议(下)航天软件测试验证技术方法研讨会成功召开面向装备物联的云计算技术概述让软件更安全可靠让测试更可信高效预览时标签不可点收录于话题#个上一篇下一篇



转载请注明地址:http://www.henanledxianshiping.com/jwrjgcs/22580.html
  • 上一篇文章:
  • 下一篇文章: