【技术实现步骤摘要】
一种航天装备软件逆向分析测试需求建模方法及装置
[0001]本专利技术涉及软件
，具体涉及一种航天装备软件逆向分析测试需求建模方法及装置。
技术介绍
[0002]随着科技技术的不断发展，装备软件系统的规模和复杂程度呈指数级上升，给软件测试人员的测试验证工作带来了巨大的挑战。在测试验证过程中，测试需求分析是至关重要的环节，且往往受制于软件设计人员提供的文档。而以自然语言描述的软件需求具有不确定性、二义性且缺乏对软件需求进行严格检查的有效途径，因此无法确保软件需求的正确性、完善性和合理性，这对开发和测试高可信装备软件带来重要隐患。
[0003]形式化是一种基于数学的软件开发方法，其主要思想是通过严格的数学逻辑推理方式，对装备软件系统所有可能出现的状态进行验证，具有精确性、无歧义、完整性等特点，是保证软件质量和提高软件生产率的有效方法。
[0004]目前主流的利用形式化对软件需求展开分析主要是通过软件设计人员提供的文档。形式化描述的优劣、精细程度很大一部分取决于设计文档描述的颗粒度以及测试人员的专业水平。一方...
【技术保护点】
【技术特征摘要】
1.一种航天装备软件逆向分析测试需求建模方法，其特征在于，具体包括以下步骤：创建用于对源代码进行逆向分析的逆向分析测试需求建模工具，并导入待分析源代码至逆向分析测试需求建模工具；基于导入的待分析源代码，选择确定待分析的函数名称，以及需要转换的形式化描述方案；根据设定逆向分析建模规则自动解析待分析源代码，并以形式化流程图形式对分析结果进行展示。2.如权利要求1所述的一种航天装备软件逆向分析测试需求建模方法，其特征在于，所述基于导入的待分析源代码，选择确定待分析的函数名称，以及需要转换的形式化描述方案，具体步骤包括：基于逆向分析测试需求建模工具的输入界面，输入待分析源代码的待分析函数名称，以及需要转换的形式化描述方案。3.如权利要求1所述的一种航天装备软件逆向分析测试需求建模方法，其特征在于，所述根据设定逆向分析建模规则自动解析待分析源代码，并以形式化流程图形式对分析结果进行展示，具体步骤包括：逆向分析测试需求建模工具对待分析源代码的关键字进行分析，并根据设定逆向分析建模规则自动解析待分析源代码的执行流程；逆向分析测试需求建模工具的显示界面以形式化流程图形式对分析结果进行展示。4.如权利要求3所述的一种航天装备软件逆向分析测试需求建模方法，其特征在于：所述关键字为代码中的条件表达式。5.如权利要求1所述的一种航天装备软件逆向分析测试需求建模方法，其特征在于，在以形式化流程图形式对分析结果进行展示的同时，还包括：逆向分析测试需求建模工具以XML文件形式对形式化流程图进行记录。6.一种航天装备软件逆向分析测试...
【专利技术属性】
技术研发人员：刘梦达，蔡梦琳，原野，张卫平，刘丹，余杰，莫小杰，李翔宇，陈军花，周松，
申请(专利权)人：湖北航天技术研究院总体设计所，
类型：发明
国别省市：
还没有人留言评论。发表了对其他浏览者有用的留言会获得科技券。