-
公开(公告)号：CN111176991B
公开(公告)日：2023-07-14
申请号：CN201911341042.0
申请日：2019-12-23
Applicant: 北京轩宇信息技术有限公司
IPC: G06F11/36
Abstract: 本发明公开了一种嵌入式软件接口用例自动化生成方法，包括：根据各待测试接口用例的需求，构建与各待测试接口用例的需求相关联的接口图模型，并创建测试用例标识；按照待测试接口用例的接口输入、输出以及转移条件，构建每个接口图模型的状态转移图；对各待测试接口用例的每个输入流，创建接口协议模型；根据各接口协议模型中选择的数据模型值域顺序以及用例生成方式，产生相应的测试路径；将测试路径与状态转移图进行匹配，获取各测试路径在对应的状态转移图中的相匹配的关键字，并进行数据填充，完成各待测试接口用例的实例化。通过本发明可实现嵌入式软件接口用例的自动规划、生成、执行与评估。
-
公开(公告)号：CN111124723B
公开(公告)日：2023-04-14
申请号：CN201911067304.9
申请日：2019-11-04
Applicant: 北京轩宇信息技术有限公司
IPC: G06F11/07
Abstract: 本发明公开了一种基于干扰变量的中断驱动型程序整数溢出模型检测方法，该方法包括：对待处理程序进行解析，得到干扰变量集合；根据干扰变量集合中的干扰变量信息，对中断函数进行抽象处理，得到中断函数摘要；在主程序中插入中断函数摘要，得到顺序化后的程序；获得顺序化程序的静态单赋值形式SSA，并进行程序模型状态空间约简处理，得到约简后的程序；使用有界模型检测工具CBMC，对约简后的程序进行整数溢出检测。本发明在保证整数溢出问题检出率的前提下，不仅能够提高分析效率，还使得已有的模型检测技术能够适用于中断驱动型程序整数溢出检测。
-
公开(公告)号：CN112015639A
公开(公告)日：2020-12-01
申请号：CN202010762816.3
申请日：2020-07-31
Applicant: 北京轩宇信息技术有限公司
IPC: G06F11/36
Abstract: 本申请公开了一种星载软件测试用例的生成方法及装置，该方法包括：根据预设的星载软件需求信息建立状态机模型，其中，所述状态机模型是指采用状态机图描述软件系统中功能的状态图元以及转移图元；将所述状态机模型转换为有向图以及确定所述有向图中所有路径集合，并根据预设的路径约束条件从所有路径集合中确定出可执行路径集合；根据预设的测试用例覆盖策略从所述可执行路径集合中确定出可执行测试路径集合，根据所述可执行测试路径集合自动生成测试用例集。本申请提高了所生成的测试用例的质量。
-
公开(公告)号：CN109388573A
公开(公告)日：2019-02-26
申请号：CN201811232920.0
申请日：2018-10-23
Applicant: 北京轩宇信息技术有限公司
IPC: G06F11/36
Abstract: 本发明公开了一种无漏报的中断驱动型程序运行时错误检测方法和系统。该方法，包括：对待处理程序进行抽象处理，得到用抽象数值表达的抽象程序；根据所述抽象程序，建立共享变量数值抽象集；对所述共享变量数值抽象集进行解析，得到中断间干扰集；根据所述中断间干扰集进行模块化分析，得到模块化分析结果；根据所述模块化分析结果，遍历所述抽象程序，得到遍历结果，并根据遍历结果确定待处理程序是否存在运行时错误。本发明降低了运行时错误检测对测试人员经验和能力的依赖，提高了高安全要求软件开发和测试的效率，提升了软件的安全性。
-
公开(公告)号：CN112015639B
公开(公告)日：2024-03-15
申请号：CN202010762816.3
申请日：2020-07-31
Applicant: 北京轩宇信息技术有限公司
IPC: G06F11/36
Abstract: 本申请公开了一种星载软件测试用例的生成方法及装置，该方法包括：根据预设的星载软件需求信息建立状态机模型，其中，所述状态机模型是指采用状态机图描述软件系统中功能的状态图元以及转移图元；将所述状态机模型转换为有向图以及确定所述有向图中所有路径集合，并根据预设的路径约束条件从所有路径集合中确定出可执行路径集合；根据预设的测试用例覆盖策略从所述可执行路径集合中确定出可执行测试路径集合，根据所述可执行测试路径集合自动生成测试用例集。本申请提高了所生成的测试用例的质量。
-
Patent Agency Ranking
公开(公告)号：CN111176991A
公开(公告)日：2020-05-19
申请号：CN201911341042.0
申请日：2019-12-23
Applicant: 北京轩宇信息技术有限公司
IPC: G06F11/36
Abstract: 本发明公开了一种嵌入式软件接口用例自动化生成方法，包括：根据各待测试接口用例的需求，构建与各待测试接口用例的需求相关联的接口图模型，并创建测试用例标识；按照待测试接口用例的接口输入、输出以及转移条件，构建每个接口图模型的状态转移图；对各待测试接口用例的每个输入流，创建接口协议模型；根据各接口协议模型中选择的数据模型值域顺序以及用例生成方式，产生相应的测试路径；将测试路径与状态转移图进行匹配，获取各测试路径在对应的状态转移图中的相匹配的关键字，并进行数据填充，完成各待测试接口用例的实例化。通过本发明可实现嵌入式软件接口用例的自动规划、生成、执行与评估。
-
公开(公告)号：CN111124723A
公开(公告)日：2020-05-08
申请号：CN201911067304.9
申请日：2019-11-04
Applicant: 北京轩宇信息技术有限公司
IPC: G06F11/07
Abstract: 本发明公开了一种基于干扰变量的中断驱动型程序整数溢出模型检测方法，该方法包括：对待处理程序进行解析，得到干扰变量集合；根据干扰变量集合中的干扰变量信息，对中断函数进行抽象处理，得到中断函数摘要；在主程序中插入中断函数摘要，得到顺序化后的程序；获得顺序化程序的静态单赋值形式SSA，并进行程序模型状态空间约简处理，得到约简后的程序；使用有界模型检测工具CBMC，对约简后的程序进行整数溢出检测。本发明在保证整数溢出问题检出率的前提下，不仅能够提高分析效率，还使得已有的模型检测技术能够适用于中断驱动型程序整数溢出检测。
-
公开(公告)号：CN108710551A
公开(公告)日：2018-10-26
申请号：CN201810398608.2
申请日：2018-04-28
Applicant: 北京轩宇信息技术有限公司
CPC classification number: G06F11/2236 , G06F11/261
Abstract: 基于SPARC处理器单粒子翻转故障注入的测试系统，包含故障注入测试数据生成模块、故障注入自动化测试执行模块、故障注入自动化输出测试报告模块。本发明解决了SPARC处理器单粒子翻转故障类型繁多、缺乏故障注入的专项测试、缺乏故障注入的精确控制、硬平台测试环境手工操作效率低等缺陷和不足。通过软件仿真故障注入建立模型，对注入的单粒子翻转故障精确的监控和执行序列化操作，具有配置脚本激励灵活、全数字仿真系统建模高速运行、模拟SPARC处理器单粒子故障驱动、动态运行时分析验证等优点。对提升我国航天型号软件可靠性与安全性确认测试与验证具有重要的意义。
-
公开(公告)号：CN109388573B
公开(公告)日：2022-03-04
申请号：CN201811232920.0
申请日：2018-10-23
Applicant: 北京轩宇信息技术有限公司
IPC: G06F11/36
Abstract: 本发明公开了一种无漏报的中断驱动型程序运行时错误检测方法和系统。该方法，包括：对待处理程序进行抽象处理，得到用抽象数值表达的抽象程序；根据所述抽象程序，建立共享变量数值抽象集；对所述共享变量数值抽象集进行解析，得到中断间干扰集；根据所述中断间干扰集进行模块化分析，得到模块化分析结果；根据所述模块化分析结果，遍历所述抽象程序，得到遍历结果，并根据遍历结果确定待处理程序是否存在运行时错误。本发明降低了运行时错误检测对测试人员经验和能力的依赖，提高了高安全要求软件开发和测试的效率，提升了软件的安全性。
-
公开(公告)号：CN108710551B
公开(公告)日：2021-12-07
申请号：CN201810398608.2
申请日：2018-04-28
Applicant: 北京轩宇信息技术有限公司
Abstract: 基于SPARC处理器单粒子翻转故障注入的测试系统，包含故障注入测试数据生成模块、故障注入自动化测试执行模块、故障注入自动化输出测试报告模块。本发明解决了SPARC处理器单粒子翻转故障类型繁多、缺乏故障注入的专项测试、缺乏故障注入的精确控制、硬平台测试环境手工操作效率低等缺陷和不足。通过软件仿真故障注入建立模型，对注入的单粒子翻转故障精确的监控和执行序列化操作，具有配置脚本激励灵活、全数字仿真系统建模高速运行、模拟SPARC处理器单粒子故障驱动、动态运行时分析验证等优点。对提升我国航天型号软件可靠性与安全性确认测试与验证具有重要的意义。
-
-
-
-
-
-
-
-
-
Search Results
10
records
(took 0.028 seconds)
