-
公开(公告)号：CN103207833B
公开(公告)日：2016-04-06
申请号：CN201310113328.X
申请日：2013-04-02
Applicant: 北京邮电大学
IPC: G06F11/36
Abstract: 本发明公开了一种软件测试中循环代码的处理方法，先依据程序控制流图，查找被测代码的循环体，确定当前循环体的循环体前子路径，再确定当前循环体的所有单条子路径，组合所述单条子路径为组合子路径，所述循环体前子路径与所述组合子路径的集合路径为可达时，确定所述组合子路径为当前循环体的确定子路径，确定所述循环体前子路径与所述确定子路径的集合路径为可达时，生成测试用例，并依据所述测试用例，执行被测代码，捕获所述当前循环体的实际执行路径，重复上述步骤，直至处理完被测代码的所有循环体。同时本发明还公开了一种软件测试中循环代码的处理系统。本发明灵活性高、能够节省人力成本、避免路径爆炸。
-
公开(公告)号：CN102841846B
公开(公告)日：2015-08-19
申请号：CN201210309446.3
申请日：2012-08-27
Applicant: 北京邮电大学
IPC: G06F11/36
Abstract: 本发明提供了一种基于Hadoop的软件测试方法、装置和系统，所述方法包括：管理服务器接收用户终端发来的待测软件和测试请求，将收到的待测软件发给Hadoop分布式文件系统(HDFS)，并根据收到的测试请求向一个或几个测试服务器发出测试指令；收到测试指令的测试服务器调用自身存储的相应的测试工具，以及从所述HDFS中获取相应的待测软件，控制调用的所述测试工具对获取的所述待测软件进行测试，并将测试结果发送给所述HDFS；管理服务器从所述HDFS获取测试结果，并将获取的测试结果发给用户终端。采用本发明能够使软件测试用户避免购买测试软件，节省测试成本。
-
公开(公告)号：CN104461864A
公开(公告)日：2015-03-25
申请号：CN201410610811.3
申请日：2014-11-03
Applicant: 北京邮电大学
IPC: G06F11/36
Abstract: 本发明涉及一种基于Eclipse插件的Java源代码缺陷检测方法及其系统，所述方法包括：S1、将检测插件置入到Eclipse平台；S2、在所述检测插件的模式数据库中选择预设的缺陷模式和存储路径；S3、根据所选择的缺陷模式和存储路径，选择所述Eclipse平台中待测试java文件和/或待测试工程并执行检测；S4、分析处理检测结果。该方法可以在Java开发环境下直接进行代码缺陷的检测，从而提高了软件开发测试的效率。
-
公开(公告)号：CN104317710A
公开(公告)日：2015-01-28
申请号：CN201410564233.4
申请日：2014-10-21
Applicant: 北京邮电大学
IPC: G06F11/36
Abstract: 本发明涉及一种结构测试中被测程序的改造方法及其系统，所述方法包括：S1、根据被测程序的结构生成抽象语法树和控制流图，并得到所述被测程序的输入/输出函数信息；S2、改造被测程序，并在所述被测程序中分别构造驱动函数、桩函数和探针函数；S3、执行所述被测程序，得到所述探针函数的插桩返回信息，根据所述插桩返回信息和所述控制流图分析所述被测程序的路径覆盖情况。该方法通过改造被测函数单元，构造驱动函数，构造桩函数，构造探针函数，使被测程序可独立执行，大大提高了结构测试的自动化程度。
-
-
Patent Agency Ranking
公开(公告)号：CN103914380A
公开(公告)日：2014-07-09
申请号：CN201410115157.9
申请日：2014-03-26
Applicant: 北京邮电大学
IPC: G06F11/36
Abstract: 本发明涉及一种结构测试中的边界值测试方法及其系统，所述方法包括：S1，根据被测文件中的语句的语义和表达式的语义选择特定的边界覆盖准则；S2，根据所述边界覆盖准则获取所述被测文件的语句边界值和表达式边界值；S3，为所述语句边界值和所述表达式边界值选择对应的可达路径；S4，根据所述可达路径生成测试用例，并对所述测试用例进行比较，从而得到边界值测试结果。本发明的结构测试中的边界值测试方法及其系统，通过对不同的语句以及表达式选择特定的边界值覆盖准则，可以快速地找到对应的边界值，从而可以在结构测试中对语句以及表达式的边界值进行测试。
-
公开(公告)号：CN102023923B
公开(公告)日：2014-07-02
申请号：CN201010622568.9
申请日：2010-12-28
Applicant: 北京邮电大学
IPC: G06F11/36
Abstract: 本发明公开一种基于别名分析技术的软件测试方法，通过在控制流上对一些涉及别名关系的语句进行特殊分析，利用空间抽象三元模型将变量声明、值和内存空间进行关联，这个过程迭代到控制流不再扩展为止；并通过定义别名分析的三元模型，区别于传统的二元变量-值模型，增加了内存空间抽象；该方法在软件静态测试过程的前期收集了同一抽象内存空间中所有互为别名的变量，将其值进行有效的关联，并将其应用在控制流图的语句节点上。通过实验证明，本发明的软件测试方法相比未应用别名分析技术的现有测试方法，具有有效解决由别名关系造成变量值不同步所产生的漏报问题，能在一定程度上提高静态测试的精度。
-
公开(公告)号：CN103744776A
公开(公告)日：2014-04-23
申请号：CN201310538362.1
申请日：2013-11-04
Applicant: 北京邮电大学
IPC: G06F11/36
Abstract: 本发明公开了一种基于符号化函数摘要的静态分析方法，该方法包括：利用RSTVL模型，描述当前函数的控制流图的节点的变量的存储状态；确定函数的当前节点为非最后节点且当前节点存在函数调用时，将被当前函数调用的函数的函数摘要进行实例化，并更新当前函数中受函数调用影响的变量；确定函数的当前节点为最后节点且确定当前函数具有函数返回值时，获得所述函数返回值的符号表达式，查找出存储状态发生变化的变量，并获取存储状态发生变化的变量的符号表达式；将所述函数返回值的符号表达式与存储状态发生变化的变量中的外部变量的符号表达式添加到当前函数的函数摘要中；同时，本发明还公开了基于符号化函数摘要的静态分析系统。利用本发明实施例的技术方案，可有效提高静态分析的精度效率。
-
公开(公告)号：CN103559127A
公开(公告)日：2014-02-05
申请号：CN201310516392.2
申请日：2013-10-28
Applicant: 北京邮电大学
Abstract: 本发明公开了一种缺陷处理方法，包括：通过SDDL-EXP，生成语法类缺陷模式；其中，所述SDDL-EXP为预定的值相关缺陷模式语言；根据所述语法类缺陷模式，在被测代码中查找检测点，并将所述语法类缺陷模式中的缺陷发生的条件实例化；根据预设的规范化策略，将所述被测代码中的变量及表达式进行转换；对转换后的被测代码进行后向的数据流分析，根据实例化的条件验证在所述检测点处是否有缺陷发生。本发明还同时公开了一种缺陷处理器。采用本发明的技术方案，能够便捷地扩充与用户相关的缺陷模式，并且通过该缺陷模式进行有效的缺陷检测，提升了用户的体验。
-
-
-
-
-
-
-
-
Search Results
91
records
(took 0.027 seconds)
