-
公开(公告)号：CN103294594B
公开(公告)日：2016-01-06
申请号：CN201310165634.8
申请日：2013-05-08
Applicant: 南京大学
IPC: G06F11/36
CPC classification number: G06F11/3608
Abstract: 本发明给出一种基于测试的静态分析误报消除方法，能够增强软件静态分析技术的可用性，降低人工确认和检查静态分析报告的时间和人力成本。利用测试技术来在运行时收集程序信息，与静态分析报告中涉及的目标路径和目标缺陷相互印证，确认缺陷或消除误报。本发明首先读取以基于可扩展标记语言的元数据交换格式保存的静态分析报告文件，从中解析出目标缺陷的信息；对每一条特定缺陷的静态分析警报，采用混合执行的思想对程序进行持续的具体执行、符号执行以及约束求解，在这一过程中根据不同缺陷的特征建模，收集运行时信息；使用上一步获取的运行时信息确认是否发生该缺陷，或判断该静态分析警报是一个误报；迭代直到所有静态分析警报被处理完毕。
-
公开(公告)号：CN103279631A
公开(公告)日：2013-09-04
申请号：CN201310264462.X
申请日：2013-06-27
Applicant: 南京大学
IPC: G06F17/50
Abstract: 本发明提供了一种设计模式制导的爪哇代码评审方法，用户首先要提供待评审的爪哇（Java）程序的源代码及其设计时信息，对设计时信息中的类图进行分析，提取出设计模式信息，生成设计模式的各个参与角色的对应关系，根据该信息，利用预定义的规则模板，将规则模板实例化为一组应该在代码上满足的约束规则，读入这些规则对待评审的Java源代码的抽象语法树进行分析，判断其实现是否满足了设计时的约束，对于那些不满足约束的情况给出提示。本发明能够自动的对代码进行评审，减少整个评审过程中人工检查代码的工作量，提高代码的评审效率。
-
公开(公告)号：CN103249110A
公开(公告)日：2013-08-14
申请号：CN201310168440.3
申请日：2013-05-08
Applicant: 南京大学
Abstract: 本发明给出一种基于动态树的无线传感网目标跟踪方法，该方法采用动态树优化基于无线传感网的目标跟踪中的网络自组织过程，包括构建初始树、动态树的扩展与裁剪、动态树的重构等过程，选取距离目标真实位置最近的节点作为根节点来构造动态树，保证目标跟踪任务始终由网络中最接近目标的节点来承担。本发明能够有效降低无线传感网在目标跟踪过程中的节点能耗，保证目标跟踪的高精确程度，保障基于无线传感网的目标跟踪稳定运行。
-
公开(公告)号：CN103246770A
公开(公告)日：2013-08-14
申请号：CN201310168258.8
申请日：2013-05-08
Applicant: 南京大学
CPC classification number: G06F8/35 , G06F11/3604 , G06F11/3668 , G06F17/5009
Abstract: 本发明是一种基于活动图模型的系统行为仿真方法，首先读取并解析待仿真的统一建模语言活动图模型，从中抽取出重要的模型元素信息并在内存中构建一个完整的模型映射；然后对读入的统一建模语言活动图模型进行解析，分别从统一建模语言活动图模型中解析出各种模型元素；再结合采用混合执行的思想对其进行持续的具体执行、符号执行以及约束求解，在达到节点覆盖度阈值的情况下结束该过程；最后使用上一步收集到的仿真用例对统一建模语言活动图模型进行仿真执行。实现了用于统一建模语言活动图模型仿真执行的仿真用例自动生成、统一建模语言活动图模型的仿真执行环境构建、统一建模语言活动图模型仿真用例的节点覆盖度信息统计以及仿真执行结果反馈。
-
公开(公告)号：CN103249110B
公开(公告)日：2015-10-28
申请号：CN201310168440.3
申请日：2013-05-08
Applicant: 南京大学
Abstract: 本发明给出一种基于动态树的无线传感网目标跟踪方法，该方法采用动态树优化基于无线传感网的目标跟踪中的网络自组织过程，包括构建初始树、动态树的扩展与裁剪、动态树的重构等过程，选取距离目标真实位置最近的节点作为根节点来构造动态树，保证目标跟踪任务始终由网络中最接近目标的节点来承担。本发明能够有效降低无线传感网在目标跟踪过程中的节点能耗，保证目标跟踪的高精确程度，保障基于无线传感网的目标跟踪稳定运行。
-
Patent Agency Ranking
公开(公告)号：CN103246770B
公开(公告)日：2015-10-14
申请号：CN201310168258.8
申请日：2013-05-08
Applicant: 南京大学
CPC classification number: G06F8/35 , G06F11/3604 , G06F11/3668 , G06F17/5009
Abstract: 本发明是一种基于活动图模型的系统行为仿真方法，首先读取并解析待仿真的统一建模语言活动图模型，从中抽取出重要的模型元素信息并在内存中构建一个完整的模型映射；然后对读入的统一建模语言活动图模型进行解析，分别从统一建模语言活动图模型中解析出各种模型元素；再结合采用混合执行的思想对其进行持续的具体执行、符号执行以及约束求解，在达到节点覆盖度阈值的情况下结束该过程；最后使用上一步收集到的仿真用例对统一建模语言活动图模型进行仿真执行。实现了用于统一建模语言活动图模型仿真执行的仿真用例自动生成、统一建模语言活动图模型的仿真执行环境构建、统一建模语言活动图模型仿真用例的节点覆盖度信息统计以及仿真执行结果反馈。
-
公开(公告)号：CN103561308A
公开(公告)日：2014-02-05
申请号：CN201310543036.X
申请日：2013-11-05
Applicant: 南京大学
IPC: H04N21/422 , H04M1/725 , H04N21/643
Abstract: 本发明提出一种智能手机遥控智能电视的交互方法，以解决智能手机遥控智能电视过程中用户视觉和记忆负担过重问题。该发明方法在智能手机和智能电视上设立交互模块，这些模块用于通信、操作控制或显示处理，智能手机通过无线信道对智能电视进行控制，实现对智能电视视频播放的操作和信息分享。本发明方法能够将智能手机遥控智能电视过程中的视线从手机屏幕上解脱出来，增强智能手机和智能电视之间的交互，解决现有智能电视遥控设备的不足，减少遥控设备的生产成本。
-
公开(公告)号：CN103294594A
公开(公告)日：2013-09-11
申请号：CN201310165634.8
申请日：2013-05-08
Applicant: 南京大学
IPC: G06F11/36
CPC classification number: G06F11/3608
Abstract: 本发明给出一种基于测试的静态分析误报消除方法，能够增强软件静态分析技术的可用性，降低人工确认和检查静态分析报告的时间和人力成本。利用测试技术来在运行时收集程序信息，与静态分析报告中涉及的目标路径和目标缺陷相互印证，确认缺陷或消除误报。本发明首先读取以基于可扩展标记语言的元数据交换格式保存的静态分析报告文件，从中解析出目标缺陷的信息；对每一条特定缺陷的静态分析警报，采用混合执行的思想对程序进行持续的具体执行、符号执行以及约束求解，在这一过程中根据不同缺陷的特征建模，收集运行时信息；使用上一步获取的运行时信息确认是否发生该缺陷，或判断该静态分析警报是一个误报；迭代直到所有静态分析警报被处理完毕。
-
公开(公告)号：CN104090798B
公开(公告)日：2017-02-15
申请号：CN201410324303.9
申请日：2014-07-08
Applicant: 南京大学
IPC: G06F9/445
Abstract: 本发明设计一种动静态结合的中断驱动程序数据竞争检测方法，该方法通过共享资源的检测技术、控制流图生成技术、数据流分析技术、模拟器运行控制技术，利用静态方法来对源程序进行静态分析得到潜在的数据竞争序列，通过对静态分析的结果进行动态执行，验证潜在竞争的真实性，并根据潜在竞争的严重性进行排序，得到测试结果报告。通过本发明实现的工具对中断驱动程序的测试，可以有效地检测出真实的中断相关的竞争关系，并根据严重性提供一系列的潜在竞争关系作为指导，能够极大地促进测试人员的工作效率，突破解决了中断驱动的数据竞争检测问题，保障嵌入式系统的安全和稳定，可以为航天、医疗等高稳定性嵌入式程序需求的关键性安全领域提供可靠性保证。
-
公开(公告)号：CN106021103A
公开(公告)日：2016-10-12
申请号：CN201610323917.4
申请日：2016-05-16
Applicant: 南京大学
IPC: G06F11/36
CPC classification number: G06F11/3608 , G06F11/3644
Abstract: 本发明提出的一种基于代码变更的移动应用测试脚本自动维护方法，包括以下步骤：步骤1、代码变更分析：分析新旧版本代码中产生变化的代码，进行过滤后，获取导致界面行为模型产生变更的代码变更；步骤2、模型变更分析：利用代码和模型中元素的对应关系对模型进行行为变更分析，得到行为变更信息以及模型变更信息，将变更应用在模型中，得到新模型；步骤3、脚本变更修复：将脚本语句抽象为事件序列，根据行为变更信息、模型变更信息，修复和更新脚本对应的事件序列，得到能够正常使用的新脚本。对受到影响的脚本中的事件序列进行自动的维护和更新，最终得到可以应用在新版本中的脚本，以减轻测试人员维护脚本的负担。
-
-
-
-
-
-
-
-
-
Search Results
33
records
(took 0.035 seconds)
