-
公开(公告)号：CN103973483A
公开(公告)日：2014-08-06
申请号：CN201410173974.X
申请日：2014-04-28
Applicant: 南京邮电大学
Abstract: 本发明提出了一种基于网论的网络服务组合的分析方法，该分析方法从Web服务组合的Petri网建模入手，对建模后的Web服务组合进行有界性、可达性及活性分析，构建基于Petri网技术的Web服务组合质量的分析方法，该方法中运用Petri网分析技术，从可达标识图和覆盖图两个分析方法入手，分析Web服务组合的有界性、可达性及活性，从而确定Web服务组合是否正确，能为用户更好地服务。
-
公开(公告)号：CN104572476B
公开(公告)日：2017-06-30
申请号：CN201510051325.7
申请日：2015-01-30
Applicant: 南京邮电大学
IPC: G06F11/36
Abstract: 本发明给出了一种基于程序切片的软件安全测试方法，该方法对程序切片技术进行了探讨，并提出了一种基于程序切片的不可达路径检测方案。本方法以网页中提取的JavaScript脚本语言代码为输入，将其转换成为LLVM中间表示，然后分别对其进行静态程序切片和动态程序切片。由于静态程序切片对程序的输入不做任何假设，所做的分析完全以程序的静态信息为依据，所以会把不可达路径包含到切片结果中。然而对于动态程序切片，它关注的是在某个特定输入下执行的路径行为，而不会关注变量所有可能的输入导致的路径行为，因此动态切片的结果往往不会含有不可达路径。通过将静态程序切片与动态程序切片相结合，可以检测程序中的不可达路径，从而提高软件的测试效率。
-
Patent Agency Ranking
公开(公告)号：CN104598619A
公开(公告)日：2015-05-06
申请号：CN201510051679.1
申请日：2015-01-30
Applicant: 南京邮电大学
Abstract: 本发明给出了一种基于约束求解器的服务组合验证方法，包含对WSDL，BPEL文档解析得到相关元素和变量的属性和取值，生成CFG图，描述CFG图，求解器求解等步骤。1)Web服务文档解析过程，包括对WSDL文档和BPEL文档的解析，2)根据BPEL中定义的命名空间对应关系，取得BPEL中变量在对应的WSDL中的元素属性信息，3)根据BPEL文档生成服务组合的控制流图即CFG图；4)建立一个一阶公式描述CFG图。5)结合Z3求解器对输入的语法要求，生成符合求解器输入格式的约束条件；6)将上几步中生成的约束条件及逻辑公式代入Z3求解器，进行验证。该方法从Web服务文档出发，对服务文档进行分析，可方便高效地验证Web服务。
-
公开(公告)号：CN104598825A
公开(公告)日：2015-05-06
申请号：CN201510050936.X
申请日：2015-01-30
Applicant: 南京邮电大学
IPC: G06F21/56
Abstract: 本发明给出了一种基于改进贝叶斯算法的安卓恶意软件检测的方法，通过改进贝叶斯算法对安卓恶意程序和良性程序的特征属性进行分析和分类，实现一种基于改进贝叶斯算法的恶意软件检测方法，从应用程序权限申请的角度出发，判断分析是否为恶意软件。该方法是利用安卓权限请求机制中权限请求标签作为检测的数据源。在此提出利用权限请求标签组合方式用于区分恶意软件和良性软件，利用改进的贝叶斯算法做出检测模型，改进的贝叶斯体现在其对数据源的属性之间的考虑了相互的独立性，这样再利用朴素贝叶斯分类器进行数据建模，大大提高了检测指标，提高了检测的正确率，以及减少了误报率。
-
公开(公告)号：CN104572474B
公开(公告)日：2017-09-29
申请号：CN201510050259.1
申请日：2015-01-30
Applicant: 南京邮电大学
IPC: G06F11/36
Abstract: 本发明是一种基于动态切片的轻量级错误定位方法，最顶层是测试用例生成模块，主要负责测试用例的自动化生成。第二层是程序状态修改模块，主要负责动态地改变谓词的结果，以产生值得进行切片的关键谓词。其余模块分别是断点分析模块、切片分析模块和可疑度统计模块；其中，断点分析模块主要负责分析程序崩溃的情况，对内存泄漏和堆栈溢出情况下无法正常执行结束的程序进行分析；切片分析模块主要是对依赖图进行动态切片，切片之后的结果以执行了程序哪几行的形式反馈给用户，用户根据切片结果，对其进行初步分析；可疑度统计模块主要负责计算每条可疑语句块的可疑度。大大减少了切片的工作量。精确的计算出程序崩溃时候的切片语句。
-
公开(公告)号：CN104572476A
公开(公告)日：2015-04-29
申请号：CN201510051325.7
申请日：2015-01-30
Applicant: 南京邮电大学
IPC: G06F11/36
Abstract: 本发明给出了一种基于程序切片的软件安全测试方法，该方法对程序切片技术进行了探讨，并提出了一种基于程序切片的不可达路径检测方案。本方法以网页中提取的JavaScript脚本语言代码为输入，将其转换成为LLVM中间表示，然后分别对其进行静态程序切片和动态程序切片。由于静态程序切片对程序的输入不做任何假设，所做的分析完全以程序的静态信息为依据，所以会把不可达路径包含到切片结果中。然而对于动态程序切片，它关注的是在某个特定输入下执行的路径行为，而不会关注变量所有可能的输入导致的路径行为，因此动态切片的结果往往不会含有不可达路径。通过将静态程序切片与动态程序切片相结合，可以检测程序中的不可达路径，从而提高软件的测试效率。
-
公开(公告)号：CN104572474A
公开(公告)日：2015-04-29
申请号：CN201510050259.1
申请日：2015-01-30
Applicant: 南京邮电大学
IPC: G06F11/36
Abstract: 本发明是一种基于动态切片的轻量级错误定位方法，最顶层是测试用例生成模块，主要负责测试用例的自动化生成。第二层是程序状态修改模块，主要负责动态地改变谓词的结果，以产生值得进行切片的关键谓词。其余模块分别是断点分析模块、切片分析模块和可疑度统计模块；其中，断点分析模块主要负责分析程序崩溃的情况，对内存泄漏和堆栈溢出情况下无法正常执行结束的程序进行分析；切片分析模块主要是对依赖图进行动态切片，切片之后的结果以执行了程序哪几行的形式反馈给用户，用户根据切片结果，对其进行初步分析；可疑度统计模块主要负责计算每条可疑语句块的可疑度。大大减少了切片的工作量。精确的计算出程序崩溃时候的切片语句。
-
-
-
-
-
-
Search Results
7
records
(took 0.019 seconds)
