-
公开(公告)号：CN104750608B
公开(公告)日：2017-10-27
申请号：CN201510132968.4
申请日：2015-03-25
申请人： 南京大学
IPC分类号： G06F11/36
摘要： 本发明公开了一种程序中基于动态符号执行的自动错误定位方法，包括蜕变模型构造、测试引擎、自动错误定位引擎和错误定位结果整合；蜕变模型构造利用蜕变关系将没有Oracle的程序构造出有Oracle的程序，通过测试引擎进行测试，找到多个导致错误的输入，进而自动错误定位引擎利用动态符号执行技术，从这多个错误输入出发，分别通过分支倒转技术定位出原程序中的可能错误点，最后错误定位结果整合模块将多个定位结果利用投票算法进行整合，得到最后的错误点，并将其与相应的错误执行路径一起报告给用户；本发明针对没有Oracle的程序进行自动错误定位，仅用户根据蜕变关系在预定义的框架内填充少量代码构造蜕变模型程序，过程高度自动化、人工干预少、使用方便。
-
公开(公告)号：CN104679595B
公开(公告)日：2017-10-13
申请号：CN201510135990.4
申请日：2015-03-26
申请人： 南京大学
摘要： 本发明公开一种面向应用的IaaS层动态资源分配方法，包括以下步骤：系统或用户产生触发资源分配的消息；对产生的消息进行匹配，在策略数据库中搜寻匹配的策略；针对匹配的策略，根据用户自定义的约束条件，与资源监控服务进行通信，判断约束条件是否满足；对满足约束条件的策略，根据用户自定义的行为，与资源监控服务和策略实施服务进行通信，实施具体的资源分配策略。本发明中用户可根据应用的特性定制相应的资源动态分配策略，提高资源利用率并满足用户的多管理目标。
-
公开(公告)号：CN106970793A
公开(公告)日：2017-07-21
申请号：CN201710177127.4
申请日：2017-03-23
申请人： 南京大学
摘要： 本说明书公开了一种上下文一致性检测与修复系统及检验方法与平台。平台布设有传感器，并通过控制物理设备在其中测试。平台能够利用传感器实时不间断地采集环境上下文信息，通过一致性检测与修复系统来消除上下文的不一致性，然后触发各类事件，上层应用监听特定事件，及时地对物理设备进行调度，在真实环境中做出反馈，从而有效验证一致性检测与修复的正确性。本发明的平台包括设备连接与控制模块，状态转移模块，事件监听模块，自适应调度模块和应用模块。对上下文的采集、检测与修复，上层应用的反馈，设备的连接均是自动进行的。用户可自由选择运行场景，改变检测与修复模式，以更明显地体现一致性检测与修复方法的作用。
-
-
公开(公告)号：CN104123469B
公开(公告)日：2017-02-15
申请号：CN201410358442.3
申请日：2014-07-25
申请人： 南京大学
IPC分类号： G06F19/00
摘要： 本说明书公开了一种新的面向普适计算环境中上下文一致性错误的检测调度方法。这种方法能够从一致性检测的历史数据中自动学习出可能引发错报的上下文变化模式，进而在检测过程中通过对实时上下文变化的自动分析，重新调度检测的执行，从而提高一致性检测的准确度。本方法主要分成两个部分，一个模式识别模块和一个检测调度模块。模式识别模块使用数据挖掘领域的分类算法，自动识别出容易引发误报的上下文变化模式；检测调度模块通过模式识别模块针对实时上下文变化的分类结果，实时调整一致性错误检测的执行。本技术的模式识别过程和检(56)对比文件David Lo等.Classification of SoftwareBehaviors for Failure Detection: Adiscriminative Pattern Mining Approach.《Proceedings of the 15th ACM SIGKDDInternational Conference on KnowledgeDiscovery and Data Mining》.2009,第557-566页.Chang Xu等.partial constraintchecking for context consistency inpervasive computing《.ACM Transactions onsoftware Engineering and Methodology》.2010,第19卷(第3期),第495-507页.
-
公开(公告)号：CN104778092A
公开(公告)日：2015-07-15
申请号：CN201510218338.9
申请日：2015-04-30
申请人： 南京大学
IPC分类号： G06F11/00
摘要： 目前的安卓应用的传感器分析检测系统存在覆盖范围窄，效率低，分析检测结果不稳定等缺陷。为了解决以上问题，本发明提供了一种针对安卓应用对传感器的能耗漏洞的分析与检测系统，由安卓应用执行模块，传感器数据产生模块和传感器数据利用率分析模块构成，安卓应用执行模块分别和传感器数据产生模块和传感器数据利用率分析模块连接，并且所有的模块运行于验证可执行Java程序的JPF(Java Pathfinder)系统上。本发明提出的针对安卓应用对传感器的能耗漏洞的分析与检测系统，最后得到的诊断结果是正确的、高效的和稳定的，上述所有的过程都是自动化的，不需要用户的额外参与。
-
公开(公告)号：CN104750608A
公开(公告)日：2015-07-01
申请号：CN201510132968.4
申请日：2015-03-25
申请人： 南京大学
IPC分类号： G06F11/36
摘要： 本发明公开了一种程序中基于动态符号执行的自动错误定位方法，包括蜕变模型构造、测试引擎、自动错误定位引擎和错误定位结果整合；蜕变模型构造利用蜕变关系将没有Oracle的程序构造出有Oracle的程序，通过测试引擎进行测试，找到多个导致错误的输入，进而自动错误定位引擎利用动态符号执行技术，从这多个错误输入出发，分别通过分支倒转技术定位出原程序中的可能错误点，最后错误定位结果整合模块将多个定位结果利用投票算法进行整合，得到最后的错误点，并将其与相应的错误执行路径一起报告给用户；本发明针对没有Oracle的程序进行自动错误定位，仅用户根据蜕变关系在预定义的框架内填充少量代码构造蜕变模型程序，过程高度自动化、人工干预少、使用方便。
-
公开(公告)号：CN104731654A
公开(公告)日：2015-06-24
申请号：CN201510156071.5
申请日：2015-04-03
申请人： 南京大学
IPC分类号： G06F9/48
CPC分类号： Y02D10/24
摘要： 本发明公开了一种针对安卓应用的迁移重构及支持系统，所述系统包含应用重构模块和运行时支撑模块。应用重构模块通过程序分析算法，获取可以转移的计算任务和传感器功能，并通过程序插桩算法，在字节码层次改写这个安卓应用，使得这个应用具有计算任务和传感器功能转移的能力，同时用户也可以在插桩时选择自己希望转移的计算任务；运行时支撑模块被部署到移动设备以及服务器上，使得实际运行时通过应用重构模块处理的安卓应用能够真正地进行计算任务和传感器功能的转移。本发明支持大部分安卓固件，学习难度小，部署成本较低，计算任务和传感器功能的转移过程简单，转移过程对用户透明。可以实现一定程度的降低能耗，提高性能，延伸传感能力的效果。
-
公开(公告)号：CN104679595A
公开(公告)日：2015-06-03
申请号：CN201510135990.4
申请日：2015-03-26
申请人： 南京大学
摘要： 本发明公开一种面向应用的IaaS层动态资源分配方法，包括以下步骤：系统或用户产生触发资源分配的消息；对产生的消息进行匹配，在策略数据库中搜寻匹配的策略；针对匹配的策略，根据用户自定义的约束条件，与资源监控服务进行通信，判断约束条件是否满足；对满足约束条件的策略，根据用户自定义的行为，与资源监控服务和策略实施服务进行通信，实施具体的资源分配策略。本发明中用户可根据应用的特性定制相应的资源动态分配策略，提高资源利用率并满足用户的多管理目标。
-
-
-
-
-
-
-
-
-
搜索结果
97 条记录 (耗时 0.029 秒)
