-
公开(公告)号：CN114385179A
公开(公告)日：2022-04-22
申请号：CN202111537354.6
申请日：2021-12-15
Applicant: 北京轩宇信息技术有限公司
IPC: G06F8/41 , G06F16/901
Abstract: 本发明公开了一种面向人工智能的基于计算图模型的代码生成方法及装置。所述方法包括：获取计算图和输出节点；从输出节点开始，根据计算图中的有向边进行向前查找，直至找到所有的输入节点；以查找路径上的所有节点为集合，构建计算逻辑树；根据所有节点的节点类型，对所有节点进行预处理；从计算逻辑树中的层数最大的叶节点之一N1进行向上生成，N1和其兄弟节点、父节点生成为新的叶节点；重复执行从计算逻辑树中的层数最大的叶节点之一N1进行向上生成，N1和其兄弟节点、父节点生成为新的叶节点，直至根节点作为父节点。本发明可以解决在星载计算机上存储空间有限，无法容纳相应的依赖库和运行时占用的内存的问题。
-
公开(公告)号：CN112506521A
公开(公告)日：2021-03-16
申请号：CN202011496767.X
申请日：2020-12-17
Applicant: 北京轩宇信息技术有限公司
IPC: G06F8/41
Abstract: 本发明公开了一种面向数据流模型的高阶调用代码生成方法及装置。方法包括：对数据流中的计算模块进行解析，得到计算模块的解析结果；根据解析结果，确定计算模块是否为子模块调用模块；在计算模块为子模块调用模块，或计算模块为非子模块调用模块且计算模块为矩阵函数运算模块的情况下，确定计算模块对应的数组维度与预先设定的最大展开次数之间的大小关系；在数组维度大于最大展开次数的情况下，基于循环调用的方式进行函数调用，生成所述计算模块对应的高阶调用代码；在所述数组维度小于所述最大展开次数的情况下，根据所述数组维度展开调用函数，生成所述计算模块对应的高阶调用代码。本发明可以简化生成的代码，生成符合用户查看的简洁代码。
-
公开(公告)号：CN112560273B
公开(公告)日：2023-11-10
申请号：CN202011519760.5
申请日：2020-12-21
Applicant: 北京轩宇信息技术有限公司
IPC: G06F30/20
Abstract: 本发明公开了一种面向数据流模型的模型组件执行顺序确定方法及装置。方法包括：获取数据流图中的待排序模块；将待排序模块作为邻接矩阵的顶点，构建三个邻接矩阵；三个邻接矩阵分别为数据流关系邻接矩阵(简称数据流阵)、控制流关系邻接矩阵(简称控制流阵)和数据流与控制流的合成关系邻接矩阵(简称合成阵)；根据数据流阵、控制流阵和合成阵对应的查找顺序，查找三个邻接矩阵中的无前置顶点的目标顶点；在查找得到目标顶点的情况下，删除目标顶点，并对删除目标顶点对应的其它顶点进行排序，以得到待排序模块对应的执行顺序。本发明可以对控制流线，数据流线不全部成环的情况进行排序，可以避免数据流线构成代数环后无法排序的情况。
-
公开(公告)号：CN109086215B
公开(公告)日：2021-11-16
申请号：CN201811216675.4
申请日：2018-10-18
Applicant: 北京轩宇信息技术有限公司
IPC: G06F11/36
Abstract: 本发明提供了一种嵌入式软件单元测试用例生成方法及系统。所述方法包括：对嵌入式软件源程序文件进行静态分析，生成输入驱动文件；在所述输入驱动文件中定义一驱动函数；其中，所述驱动函数用于指定输入待求解的表达式或桩函数；依据解释执行和符号执行相结合的方式对所述表达式或所述桩函数进行求解；将嵌入式软件中IO端口特殊编码为多重符号，求解得到值序列；基于求解结果和所述值序列，生成测试用例。本发明可以简化生成测试用例的操作步骤，降低由于插桩带来的性能开销，自动生成的输入驱动文件能满足绝大部分需求，并且无论是哪种嵌入式平台的软件都可以解释执行，大幅降低了配置目标环境带来的时间成本和人力成本。
-
公开(公告)号：CN112506521B
公开(公告)日：2024-05-14
申请号：CN202011496767.X
申请日：2020-12-17
Applicant: 北京轩宇信息技术有限公司
IPC: G06F8/41
Abstract: 本发明公开了一种面向数据流模型的高阶调用代码生成方法及装置。方法包括：对数据流中的计算模块进行解析，得到计算模块的解析结果；根据解析结果，确定计算模块是否为子模块调用模块；在计算模块为子模块调用模块，或计算模块为非子模块调用模块且计算模块为矩阵函数运算模块的情况下，确定计算模块对应的数组维度与预先设定的最大展开次数之间的大小关系；在数组维度大于最大展开次数的情况下，基于循环调用的方式进行函数调用，生成所述计算模块对应的高阶调用代码；在所述数组维度小于所述最大展开次数的情况下，根据所述数组维度展开调用函数，生成所述计算模块对应的高阶调用代码。本发明可以简化生成的代码，生成符合用户查看的简洁代码。
-
Patent Agency Ranking
公开(公告)号：CN111176994B
公开(公告)日：2023-03-31
申请号：CN201911349540.X
申请日：2019-12-24
Applicant: 北京轩宇信息技术有限公司
IPC: G06F11/36
Abstract: 本发明实施例提供了一种针对嵌入式软件IO端口的单元测试用例生成方法及装置。所述方法包括：对待测试程序进行静态分析，获取所述待测试程序中的关键数据；启动基于解释器的符号执行引擎；在所述解释器中建立一个IO区域查询表和分配一段IO专用内存区域；采用所述符号执行引擎根据所述IO区域查询表、所述IO专用内存区域、IO端口输入映射到IO专用内存和所述关键数据，确定所述待测试程序对应的测试用例。本发明实施例能够自动识别IO端口，无需人工配置，生成用例效率提升，且解决了IO端口地址作为输入时生成的用例覆盖率低的问题。
-
公开(公告)号：CN109491922B
公开(公告)日：2021-12-07
申请号：CN201811522286.4
申请日：2018-12-13
Applicant: 北京轩宇信息技术有限公司
IPC: G06F11/36
Abstract: 本发明公开了一种基于模型驱动的测试方法和装置，该方法包括：确定各可测试项；为各所述可测试项定义测试组成；依据所述测试组成以及预设的接口模型、测试模型与被测系统三者之间的关系，生成测试模型；将所述测试模型与测试脚本进行关联，生成测试用例；调用所述测试用例对待测试数据进行测试，生成测试报告。本发明通过维护测试模型来间接管理测试用例，测试需求的变更会影响测试模型的更新，测试模型的更新会自动生成新的测试用例，因此，测试模型的可复用性高，测试用例的可维护性强。
-
公开(公告)号：CN111221532A
公开(公告)日：2020-06-02
申请号：CN201911339885.7
申请日：2019-12-23
Applicant: 北京轩宇信息技术有限公司
Abstract: 本发明实施例提供了一种动态链接库的生成方法及装置。所述方法包括：根据仿真嵌入式项目中的协议，获取协议配置信息；基于所述协议配置信息，生成协议代码；对所述协议代码进行编译，生成用于进行数据通信协议处理的动态链接库。本发明实施例可以将共通性较好的数据存储功能、数据生成功能、数据模型对接功能、第三方软件数据支持功能封装成通用的动态库；将功能独立、处理复杂、影响虚拟系统运行效率的数据功能也封装成独立的通用动态库并启用独立线程进行逻辑处理。
-
公开(公告)号：CN109491922A
公开(公告)日：2019-03-19
申请号：CN201811522286.4
申请日：2018-12-13
Applicant: 北京轩宇信息技术有限公司
IPC: G06F11/36
Abstract: 本发明公开了一种基于模型驱动的测试方法和装置，该方法包括：确定各可测试项；为各所述可测试项定义测试组成；依据所述测试组成以及预设的接口模型、测试模型与被测系统三者之间的关系，生成测试模型；将所述测试模型与测试脚本进行关联，生成测试用例；调用所述测试用例对待测试数据进行测试，生成测试报告。本发明通过维护测试模型来间接管理测试用例，测试需求的变更会影响测试模型的更新，测试模型的更新会自动生成新的测试用例，因此，测试模型的可复用性高，测试用例的可维护性强。
-
公开(公告)号：CN112560273A
公开(公告)日：2021-03-26
申请号：CN202011519760.5
申请日：2020-12-21
Applicant: 北京轩宇信息技术有限公司
IPC: G06F30/20
Abstract: 本发明公开了一种面向数据流模型的模型组件执行顺序确定方法及装置。方法包括：获取数据流图中的待排序模块；将待排序模块作为邻接矩阵的顶点，构建三个邻接矩阵；三个邻接矩阵分别为数据流关系邻接矩阵(简称数据流阵)、控制流关系邻接矩阵(简称控制流阵)和数据流与控制流的合成关系邻接矩阵(简称合成阵)；根据数据流阵、控制流阵和合成阵对应的查找顺序，查找三个邻接矩阵中的无前置顶点的目标顶点；在查找得到目标顶点的情况下，删除目标顶点，并对删除目标顶点对应的其它顶点进行排序，以得到待排序模块对应的执行顺序。本发明可以对控制流线，数据流线不全部成环的情况进行排序，可以避免数据流线构成代数环后无法排序的情况。
-
-
-
-
-
-
-
-
-
Search Results
12
records
(took 0.061 seconds)
