-
公开(公告)号：CN117724967A
公开(公告)日：2024-03-19
申请号：CN202311735343.8
申请日：2023-12-15
摘要： 本发明涉及安全关键领域模型验证的技术领域，尤其是一种针对飞行控制系统软件的状态机自动生成代码的自动检查方法和装置。所述自动检查方法包括：从状态机模型的XML文件解析出状态机结构，包括状态转移关系、每个状态内部动作；从状态机模型自动生成的代码文件中解析出代码结构，识别出嵌套分支结构；获取代码中所有变量与状态机模型中变量的对应关系；基于状态机模型的结构，依据状态嵌套、连接关系依次遍历每个状态；基于状态机模型中的语句生成预期代码语句或代码段；在实际的代码文件中找到相应的代码语句或代码段；将预期代码和实际代码进行比较，判断是否相同，若不相同，则表示被测状态机自动生成代码的检查结果不通过。
-
公开(公告)号：CN117688771A
公开(公告)日：2024-03-12
申请号：CN202311734660.8
申请日：2023-12-15
IPC分类号： G06F30/20 , G06T11/20 , G06T11/40 , G06F111/04
摘要： 本申请提供一种图形化模型与文本模型的语义一致性比较方法，所述方法包括：步骤1：将图形化表示的模型M1转换为第一有向状态图G1；将文本化表示的模型M2转换为第二有向状态图G2；步骤2：对第一有向状态图G1和第二有向状态图G2分别进行分割和分层处理，形成与第一有向状态图G1对应的第一元素集合Set1，与第二有向状态图G2对应的第二元素集合Set2；步骤3：比较Set1和Set2中元素的数量，如不一致则提示模型信息不一致并结束，否则进行下一步；步骤4：对层级列表Set1_i和Set2_i中的元素Element进行着色；步骤5：比较集合Set1和Set2中的每一个元素是否相同，如果存在则认为对应的模型M1和M2信息等价，即二者一致；否则认为模型M1和M2信息不等价即不一致。
-
公开(公告)号：CN114116470A
公开(公告)日：2022-03-01
申请号：CN202111373836.2
申请日：2021-11-18
IPC分类号： G06F11/36
摘要： 本发明公开了一种自动化的静态模型检查方法，包括：根据需求制定一个或多个规则检查项，并依次执行每一个规则检查项，执行完毕后收集所有检查结果，生成定制化规则检查报告；其中每一个规则检查项的执行过程包括：基于模型的使用场景和要求，制定对模型进行限制的一个检查规则，然后在模型的设计平台上建立所述检查规则的脚本，并在脚本中对所述检查规则进行量化描述；根据制定的检查规则，在脚本中提取所述检查规则的相关模型特征；基于检查规则的量化描述和提取的相关模型特征，进行符合性检查，判断模型特征是否符合规则的量化描述，输出检查结果。本方法提高了模型设计的效率和的正确率；通用性强，提高了模型的质量和可靠性。
-
公开(公告)号：CN114138658B
公开(公告)日：2024-10-29
申请号：CN202111487471.6
申请日：2021-12-06
IPC分类号： G06F11/36
摘要： 本发明涉及安全关键领域软件测试的技术领域，尤其是一种针对飞行控制系统软件的基于时间序列场景的去抖功能测试方法及测试装置。所述测试方法包括：编写去抖函数；基于时间序列场景设计测试用例向量；将所述测试用例向量注入所述去抖函数，计算得到测试用例预期输出；判断所述预期输出与被测飞行控制系统软件的实际输出是否相等，若不相等，则表示被测软件测试结果不通过。
-
公开(公告)号：CN117762038A
公开(公告)日：2024-03-26
申请号：CN202311734166.1
申请日：2023-12-15
摘要： 本申请提供一种用于飞控系统设计模型仿真的排序方法，包括：根据飞控系统的设计模型生成配置文件；从配置文件中提取设计模型中的基本元素和数据流连接关系，生成任务序列；任务序列内部的延时模型元素解环；任务序列内部的模型元素执行顺序解析；综合任务序列和其内部模型元素执行序列求解设计模型。
-
公开(公告)号：CN116302918A
公开(公告)日：2023-06-23
申请号：CN202211495542.1
申请日：2022-11-27
IPC分类号： G06F11/36
摘要： 本发明提出了一种用于验证自动飞行系统复杂逻辑的形式化验证方法，该方法包括：步骤1，根据自动飞行系统的复杂逻辑需求构建出形式化验证测试样例；步骤2，采用指定的形式化验证工具，基于自动飞行系统的逻辑模型，运行形式化验证测试样例，生成形式化验证检测报告，用于指示逻辑模型与自动飞行系统逻辑需求的一致性。本发明实施例提供的技术方案，解决了采用现有验证手段对复杂逻辑系统进行验证，由于依赖设计人员对测试用例的设计，从而导致验证方案存在覆盖率不足，验证工作量大等缺点，且不具备保证复杂逻辑系统设计安全性的能力的问题。
-
公开(公告)号：CN114138658A
公开(公告)日：2022-03-04
申请号：CN202111487471.6
申请日：2021-12-06
IPC分类号： G06F11/36
摘要： 本发明涉及安全关键领域软件测试的技术领域，尤其是一种针对飞行控制系统软件的基于时间序列场景的去抖功能测试方法及测试装置。所述测试方法包括：编写去抖函数；基于时间序列场景设计测试用例向量；将所述测试用例向量注入所述去抖函数，计算得到测试用例预期输出；判断所述预期输出与被测飞行控制系统软件的实际输出是否相等，若不相等，则表示被测软件测试结果不通过。
-
公开(公告)号：CN117669247A
公开(公告)日：2024-03-08
申请号：CN202311733209.4
申请日：2023-12-15
IPC分类号： G06F30/20 , G06F111/20
摘要： 本发明提出了一种基于有向图理论的模型桌面集成方法，包括：获取每个工程模型的输入/输出接口信息；构建初版的相应的有向图结构；对构建的初版有向图结构，将各工程模型的输入/输出端口的连接关系存储进有向图结构中，得到第一次优化处理后的有向图结构；对第一次优化处理后的有向图结构，分析出数据流的环路，得到有向图中的环结构；对有向图中的环结构进行去重处理，得到最终的有向图结构；根据最终的有向图结构，对上述各工程模型进行自动布局排版，得到集成模型；分析各工程模型之间的所连接的输入/输出接口信息的匹配关系，并获得输入/输出接口信息错误匹配结果；对得到的输入/输出接口信息错误匹配结果进行处理。
-
公开(公告)号：CN117724968A
公开(公告)日：2024-03-19
申请号：CN202311736951.0
申请日：2023-12-15
摘要： 本发明提出了一种针对状态机模型的部件级测试方法和装置，属于民机飞行控制软件测试领域。该方法包括识别模型文件，按队列顺序的方式自动导入待测模型，对待测模型进行封装，生成harness模型，调用指定测试用例生成软件，对harness模型进行自动测试用例生成；对模型中状态机进行配置，保存原始模型配置参数，将测试用例加载到模型中进行仿真；对待测模型状态机中所有的状态、转移条件、真值表以及graph function进行遍历解析，识别出所有的含有逻辑运算的表达式，统计出状态机中所有的低级需求目标；识别出每一时刻测试用例加载到模型中所经过的状态机路径；计算出测试用例对低级需求目标的所有覆盖情况。
-
-
-
-
-
-
-
-
搜索结果
9 条记录 (耗时 0.042 秒)
