“宫云战”申请（专利权）人搜索_中国专利权人_发明人_技术持有人_科研专家_钻瓜专利网

钻瓜专利网为您找到相关结果63个，建议您升级VIP下载更多相关专利

[发明专利]软件需求和代码映射方法及系统-CN202110796925.1有效
发明人： 宫云战;戴鹏;王雅文;金大海 -专利权人：北京邮电大学
申请日： 2021-07-14 - 公布日： 2023-08-22 - 主分类号： G06F8/10 文献下载
摘要：本发明提供一种软件需求和代码映射方法及系统，方法包括：基于需求文档，根据需求文档语义特征提取模型，确定需求文本语义向量；基于源代码文本，根据源代码特征提取模型，确定源代码特征向量；其中，所述源代码特征向量包括：源代码文本语义信息和源代码功能语义信息；基于所述需求文本语义向量和所述源代码特征向量的相似度，确定所述软件需求和代码的映射关系。能够有效建立起从软件的需求到代码间的映射，利用此映射，提高相关的软件活动效率和质量。
软件需求代码映射方法系统

[发明专利]一种面向程序状态的故障分类方法、变异测试方法及设备-CN201810204976.9有效
发明人：王雅文;林欢;宫云战;金大海 -专利权人：北京邮电大学
申请日： 2018-03-13 - 公布日： 2021-03-23 - 主分类号： G06F11/36 文献下载
摘要：本发明提供一种面向程序状态的故障分类方法、变异测试方法及设备。所述方法包括：基于待测源程序的语法对应的变异算子，为所述待测源程序的每条语句构造故障节点集和状态变异点集；基于所述故障节点集、所述状态变异点集、所述每条语句的状态变异之间的触发关系和传播关系，构造所述待测源程序的变异流图；根据所述变异流图的直接后向支配关系，构造故障类支配树，以对所述待测源程序进行故障分类。本发明从一般性的故障测试原理出发，对故障程序进行分类排序，同时支持多种类型的变异算子，具有较好的可扩展性，进而减少测试次数、优化故障集、简化故障分析成本，可以提升变异测试效率。
一种面向程序状态故障分类方法变异测试设备

[发明专利]一种程序隐性约束提取方法及系统-CN201810215371.X有效
发明人： 宫云战;张明哲;王雅文;金大海 -专利权人：北京邮电大学
申请日： 2018-03-15 - 公布日： 2020-06-23 - 主分类号： G06F11/36 文献下载
摘要：本发明提供一种程序隐性约束提取方法及系统，包括：对于待测程序中的任一函数，将任一路径上的入口节点作为当前节点；获取当前节点与任一函数对应的抽象语法树上对应的当前语法节点，若当前语法节点包含目标变量，获取目标变量类型，根据目标变量类型和作用于目标变量的运算符类型匹配隐性约束规则，提取目标变量的隐性约束；否则，将当前节点的下一个节点重新作为当前节点，重复上述步骤，直到任一路径的出口节点为当前节点。本发明提出一种程序隐性约束提取方法及系统，可以实现隐性约束的提取，可以在一定程度上减小目标变量的搜索空间，保证生成测试数据的正确性，进而确保后续测试数据顺利执行。
一种程序隐性约束提取方法系统

[发明专利]一种缺陷检测工具更新方法及装置-CN201610390646.4有效
发明人：金大海;肖一飞;宫云战;王雅文;黄俊飞 -专利权人：北京邮电大学
申请日： 2016-06-06 - 公布日： 2019-06-14 - 主分类号： G06F8/65 文献下载
摘要：本发明实施例公开了一种缺陷检测工具更新方法及装置，方法包括：根据待测试工程中异常出现的位置和时机，将异常划分为至少一种异常类型；针对每一种异常类型的异常，确定所述异常类型对应的异常解决方案；根据每一种异常解决方案，更新所述缺陷检测工具中的语言分析器，其中所述语言分析器至少包括词法分析器和语法分析器。应用本发明实施例，能规避缺陷检测工具因待检测工程的开发环境及编译器的多样性带来的非预期语法和/或词法的影响而产生的异常，使得后续分析工作顺利进行。
一种缺陷检测工具更新方法装置

[发明专利]一种静态代码缺陷检测分析方法及装置-CN201610658272.X有效
发明人： 宫云战;邓秋晗;金大海;黄俊飞;王雅文 -专利权人：北京邮电大学
申请日： 2016-08-11 - 公布日： 2018-12-07 - 主分类号： G06F11/36 文献下载
摘要：本发明实施例公开了一种静态代码缺陷检测分析方法及装置，针对现有的对待测源代码文件的代码缺陷检测分析效率低下的问题，其中，检测分析方法包括：获取待测源代码文件，其中，所述待测源代码文件包括：多个待测源代码文件段的测试单元；根据所述待测源代码文件，生成抽象语法树；根据所述抽象语法树，建立每个当前测试单元与其他测试单元的关联，得到关联后的每个当前测试单元与其他测试单元的依赖关系，其中，所述其他测试单元为所述多个测试单元中除所述当前测试单元以外的其他测试单元；根据所述依赖关系，结合串行检测分析与并行检测分析，并对所述待测源代码文件的代码缺陷检测分析，提高待测源代码文件的代码缺陷检测分析效率。
一种静态代码缺陷检测分析方法装置

[发明专利]一种代码缺陷检测方法及系统-CN201810214186.9在审
发明人：金大海;朱红磊;宫云战;王雅文 -专利权人：北京邮电大学
申请日： 2018-03-15 - 公布日： 2018-09-25 - 主分类号： G06F11/36 文献下载
摘要：本发明提供了一种代码缺陷检测方法，包括：分别计算由代码的故障函数入口到所述代码缺陷检查点之间的第一可达路径集合以及由程序入口到故障函数调用点之间的第二可达路径集合；对所述第一可达路径集合和所述第二可达路径集合所构成的完整路径集合中每一可达路径进行后向约束求解，得到从程序入口到达代码缺陷检查点且疑似触发故障的一组测试用例；基于所述测试用例，对所述代码缺陷进行检测。本发明通过计算故障函数入口到代码缺陷检查点的可达路径和程序入口到故障函数调用点的可达路径，并对完整路径进行后向分段迭代求解，将人从繁重的确认工作中解放出来，而且提高了确认的效率和代码检测技术的实用性。
故障函数路径集合程序入口缺陷检查代码缺陷检测完整路径求解后向调用测试代码检测触发迭代分段集合检测

[发明专利]一种自动生成字符串类型测试用例的方法-CN201510628462.2有效
发明人：王雅文;张旭舟;宫云战;金大海;黄俊飞 -专利权人：北京邮电大学
申请日： 2015-09-28 - 公布日： 2018-01-09 - 主分类号： G06F11/36 文献下载
摘要：本发明公开了一种自动生成字符串类型测试用例的方法，首先，使用一个字符数组和一个长度属性作为字符串类型的数据模型，定义了三个原子函数，使用三个原子函数的组合表示C语言标准库中的字符串函数，然后，利用符号执行技术得到一条程序路径的约束提取过程中，对于字符串和字符串函数进行约束提取，得到包含原子函数表示的字符串约束；最后，针对源程序的执行路径，对每条路径的字符串约束进行约束求解，约束求解过程中，根据原子函数的参数的确定值，对于原子函数进行解释得到字符串的结构和取值，直到得到满足路径所有约束的测试用例。优点在于，应用于处理各种字符串函数，减少人工测试耗费的代价，提高软件测试的自动化程度。
一种自动生成字符串类型测试方法

[发明专利]面向等式约束的测试用例生成方法和装置-CN201510229658.4有效
发明人：黄俊飞;邢颖;宫云战;金大海;王雅文 -专利权人：北京邮电大学
申请日： 2015-05-07 - 公布日： 2017-11-17 - 主分类号： G06F11/36 文献下载
摘要：本发明提供一种面向等式约束的测试用例生成方法和装置，测试用例生成方法包括接收测试用例生成请求，生成请求中携带待测程序；获取待测程序的预定路径、表达式列表、预定路径中的各个变量及各个变量的第一取值区间；根据表达式列表中的等式，确定等式约束的第一系数矩阵及第一增广矩阵；判断第一系数矩阵的秩是否小于第一增广矩阵的秩；若否，则对各个变量进行回退运算，确定各个变量的第二取值区间；判断各个变量的第二取值区间的边界值是否相等；若相等，则根据各个变量的第二取值区间生成测试用例。本发明提供的面向等式约束的测试用例生成方法和装置，生成测试用例的过程无需人工干预，速度快，效率高，可对待测程序实现100％覆盖。
面向等式约束测试生成方法装置

[发明专利]基于仿射运算的软件测试方法及系统-CN201510325619.4有效
发明人： 宫云战;钱茛南;王雅文;黄俊飞;金大海 -专利权人：北京邮电大学
申请日： 2015-06-12 - 公布日： 2017-10-20 - 主分类号： G06F11/36 文献下载
摘要：本发明提供一种基于仿射运算的软件测试方法及系统，该方法包括确定被测程序的抽象语法树；遍历分析抽象语法树，获取对应的符号表和控制流图；根据符号表确定被测程序的输入变量和全局变量，并分别赋予输入变量和全局变量初始取值范围，输入变量和全局变量的取值范围以数值的区间形式表示；将输入变量和全局变量取值范围的区间表示形式转换为仿射表示形式；根据控制流图确定路径集合，并对路径集合中的每条路径进行逐节点的变量仿射形式运算，输出每条路径对应的变量以及变量取值范围；在每条路径对应的变量的取值范围中取值，生成测试用例，并根据测试用例对被测程序进行测试。提高了变量取值范围和软件测试结果的精确性。
软件测试方法系统

[发明专利]一种故障确认方法及其系统-CN201410564479.1有效
发明人：金大海;甄涛;宫云战;王雅文;黄俊飞 -专利权人：北京邮电大学
申请日： 2014-10-21 - 公布日： 2017-10-20 - 主分类号： G06F11/36 文献下载
摘要：本发明涉及一种故障确认方法及其系统，所述方法包括S1、利用预设故障模式，在静态分析过程中匹配出疑似故障点，对所述疑似故障点进行筛选后标注在被测程序的控制流图中；S2、在所述疑似故障点添加故障触发条件，形成故障节点，构造故障路径，并将新生成的故障节点添加到所述控制流图中，并作标记；S3、通过预设的路径选择策略，计算每个疑似故障点分别在每个节点的权重；S4、遍历控制流图，根据每个故障点在当前节点的权重选择故障路径，并对选择的路径的每个节点提取约束来指导动态执行的取值，对每个疑似故障点进行确认。该方法在执行过程中利用选路策略和动态符号执行技术相结合，指导程序高效的覆盖故障条件节点，从而提高确认故障效率。
一种故障确认方法及其系统

[发明专利]一种基于矛盾片段模式的路径生成方法-CN201310693444.3有效
发明人：黄俊飞;宫云战;李峰;王雅文;金大海 -专利权人：北京邮电大学
申请日： 2013-12-17 - 公布日： 2017-10-20 - 主分类号： G06F11/36 文献下载
摘要：本发明公开了一种基于矛盾片段模式的路径生成方法，包括A、从控制流图中选择本次路径生成的起点作为当前点，然后执行步骤B；B、选择后继点，然后执行步骤C；C、如果成功选到后继点，则执行步骤G；否则执行步骤D；D、查看是否还有前一个点，有则执行步骤E；否则执行步骤F；E、将前一个点设为当前点，然后执行步骤B；F、由于已经回退到起点，所以生成路径失败；G、查看后继点是否是路径的终点，是则成功生成路径；否则执行步骤H；H、将后一个点设置为当前点，然后执行步骤B。采用本发明方法，能够在路径生成过程中快速检测当前路径片段已经是不可达路径，从而大大提高判定不可达路径的效率。
一种基于矛盾片段模式路径生成方法

[发明专利]程序路径中确定函数调用的上下文环境影响的方法-CN201210127864.0有效
发明人：王雅文;宫云战;周傲;黄俊飞;金大海;唐容;孙华衿 -专利权人：北京邮电大学
申请日： 2012-04-27 - 公布日： 2017-10-20 - 主分类号： G06F11/36 文献下载
摘要：本发明公开了一种程序路径中确定函数调用的上下文环境影响的方法，该方法将返回值、被调用函数重定义的全局变量、指针或引用类型参数作为被调用函数的输出型变量，并采用路径敏感和上下文敏感的符号化区间运算技术，计算被调用函数在路径上各调用点输出型变量必需满足的上下文条件，最后根据该条件生成模拟替换函数，模拟替换函数根据各调用点的条件动态调整输出型变量的取值，保证程序按照目标路径执行。该方法可以用于自动化单元测试中面向路径的测试，包括面向全路径测试、面向子路径测试和面向目标测试等，实验证明，采用本发明所述方法，能够保证被测程序按照目标路径执行，并提高单元测试效率。
程序路径确定函数调用上下文环境影响方法

[发明专利]一种单元测试中软件故障自动定位方法-CN201210127772.2有效
发明人：王雅文;宫云战;韩春晓;黄俊飞;金大海;唐容;蔡敏 -专利权人：北京邮电大学
申请日： 2012-04-27 - 公布日： 2017-10-20 - 主分类号： G06F11/36 文献下载
摘要：本发明提供了一种单元测试中软件故障自动定位方法，包括A、采用一组满足覆盖需求的测试用例，执行被测程序，判断测试用例的执行结果是否和预期结果一致；B、根据各测试用例对应的执行路径，分析路径上的边信息，确定由路径上的边组成的可疑空间；C、统计可疑空间中每条边被通过和未通过的测试用例覆盖的次数，计算指定执行模式下，每条边的可疑度；D、由边的可疑度计算其相邻语句节点的可疑度；E、按照可疑度的大小对故障节点进行排序，并依次映射到被测程序中生成故障定位报告，辅助用户检查故障。采用本方法，能够降低语句分析的计算工作量，并且考虑到语句节点之间的逻辑关系，提高故障定位的效率。
一种单元测试软件故障自动定位方法

[发明专利]一种基于状态分区的静态缺陷检测求精方法-CN201410138438.6有效
发明人：金大海;张大林;宫云战;王雅文;黄俊飞 -专利权人：北京邮电大学
申请日： 2014-04-08 - 公布日： 2017-06-23 - 主分类号： G06F11/36 文献下载
摘要：本发明涉及一种基于状态分区的静态缺陷检测求精方法，包括S1将待检测的缺陷模式属性状态机集合置于待测函数控制流入口；S2程序通过路径由前置位置执行到目标位置；S3属性状态机的状态沿程序路径进行传递以及变化，在目标位置处到达预设状态；S4取控制流当前节点，判断是否为控制流最后节点；S5如果不为控制流最后节点，则根据当前节点信息更新属性状态条件以及属性状态分区集合信息。本发明提供的基于状态分区技术的缺陷检测求精方法，给出了缺陷模式的定义，缺陷模式状态机的定义，路径条件的定义，状态条件的定义，状态分区的定义，基于状态分区技术，给出缺陷检测求精方法，从而提高缺陷检测的精度。
一种基于状态分区静态缺陷检测方法

[发明专利]生成时序安全属性类缺陷模式相关的函数摘要信息的方法-CN201410115283.4有效
发明人：金大海;王前;宫云战;黄俊飞;王雅文 -专利权人：北京邮电大学
申请日： 2014-03-25 - 公布日： 2017-06-13 - 主分类号： G06F11/36 文献下载
摘要：信息的方法申请(专利)号CN201410115283.4
生成时序安全属性缺陷模式相关函数摘要信息方法

1
2
3
4
5
下一页»
尾页
共 63 条