公开(公告)号：CN103927258A

公开(公告)日：2014-07-16

申请号：CN201410138438.6

申请日：2014-04-08

Applicant: 北京邮电大学

Inventor： 金大海 ,  张大林 ,  宫云战 ,  王雅文 ,  黄俊飞

IPC: G06F11/36

Abstract: 本发明涉及一种基于状态分区的静态缺陷检测求精方法，包括：S1：将待检测的缺陷模式属性状态机集合置于待测函数控制流入口；S2：程序通过路径由前置位置执行到目标位置；S3：属性状态机的状态沿程序路径进行传递以及变化，在目标位置处到达预设状态；S4：取控制流当前节点，判断是否为控制流最后节点；S5：如果不为控制流最后节点，则根据当前节点信息更新属性状态条件以及属性状态分区集合信息。本发明提供的基于状态分区技术的缺陷检测求精方法，给出了缺陷模式的定义，缺陷模式状态机的定义，路径条件的定义，状态条件的定义，状态分区的定义，基于状态分区技术，给出缺陷检测求精方法，从而提高缺陷检测的精度。

公开(公告)号：CN103678128A

公开(公告)日：2014-03-26

申请号：CN201310687844.3

申请日：2013-12-13

Applicant: 北京邮电大学

Inventor： 金大海 ,  宫云战 ,  黄俊飞 ,  王雅文 ,  张大林

IPC: G06F11/36

Abstract: 本发明公开了一种基于抽象解释技术的缺陷警报分组方法，所述方法包括：获取函数控制流图上节点的抽象语义，并获取函数控制流图上所述节点的求精的抽象语义；当在所述节点上报告一个以上缺陷警报时，依据所述缺陷警报间的抽象依赖关系，对所述缺陷警报进行分组。本发明同时还公开了一种基于抽象解释技术的缺陷警报分组装置。采用本发明的技术方案，大大减少了部分缺陷警报的识别工作，提高了测试工作效率。

公开(公告)号：CN102708052A

公开(公告)日：2012-10-03

申请号：CN201210127772.2

申请日：2012-04-27

Applicant: 北京邮电大学

Inventor： 王雅文 ,  宫云战 ,  韩春晓 ,  黄俊飞 ,  金大海 ,  唐容 ,  蔡敏

IPC: G06F11/36

Abstract: 本发明提供了一种单元测试中软件故障自动定位方法，包括：A、采用一组满足覆盖需求的测试用例，执行被测程序，判断测试用例的执行结果是否和预期结果一致；B、根据各测试用例对应的执行路径，分析路径上的边信息，确定由路径上的边组成的可疑空间；C、统计可疑空间中每条边被通过和未通过的测试用例覆盖的次数，计算指定执行模式下，每条边的可疑度；D、由边的可疑度计算其相邻语句节点的可疑度；E、按照可疑度的大小对故障节点进行排序，并依次映射到被测程序中生成故障定位报告，辅助用户检查故障。采用本方法，能够降低语句分析的计算工作量，并且考虑到语句节点之间的逻辑关系，提高故障定位的效率。

公开(公告)号：CN108684027A

公开(公告)日：2018-10-19

申请号：CN201810460824.5

申请日：2018-05-15

Applicant: 北京邮电大学

Inventor： 孙岩 ,  罗红 ,  唐煜 ,  黄俊飞 ,  林昭文

IPC: H04W4/80 ,  H04W28/14 ,  H04L12/875 ,  H04L12/863

CPC classification number: H04W4/80 ,  H04L47/56 ,  H04L47/6225 ,  H04W28/14

Abstract: 本发明实施例提供了一种多功能iBeacon信标的实现方法，涉及无线通信技术领域，可以解决iBeacon信标要为终端设备提供多个服务时，造成的资源浪费的现象。本发明的方案包括：广播第一服务信息，当广播第一服务信息的时长达到第一服务对应的轮换周期时，暂停广播第一服务信息，开始广播第二服务信息，当广播第二服务信息的时长达到第二服务对应的轮换周期时，暂停广播第二服务信息，按照上述方法轮流广播服务队列中每个服务的信息，直至服务队列中的最后一个服务的信息被广播，且广播最后一个服务的信息的时长达到最后一个服务对应的轮换周期时，循环执行上述步骤。

公开(公告)号：CN102708053B

公开(公告)日：2017-10-20

申请号：CN201210127864.0

申请日：2012-04-27

Applicant: 北京邮电大学

Inventor： 王雅文 ,  宫云战 ,  周傲 ,  黄俊飞 ,  金大海 ,  唐容 ,  孙华衿

IPC: G06F11/36

Abstract: 本发明公开了一种程序路径中确定函数调用的上下文环境影响的方法，该方法将返回值、被调用函数重定义的全局变量、指针或引用类型参数作为被调用函数的输出型变量，并采用路径敏感和上下文敏感的符号化区间运算技术，计算被调用函数在路径上各调用点输出型变量必需满足的上下文条件，最后根据该条件生成模拟替换函数，模拟替换函数根据各调用点的条件动态调整输出型变量的取值，保证程序按照目标路径执行。该方法可以用于自动化单元测试中面向路径的测试，包括面向全路径测试、面向子路径测试和面向目标测试等，实验证明，采用本发明所述方法，能够保证被测程序按照目标路径执行，并提高单元测试效率。

公开(公告)号：CN103914381B

公开(公告)日：2017-06-13

申请号：CN201410115283.4

申请日：2014-03-25

Applicant: 北京邮电大学

Inventor： 金大海 ,  王前 ,  宫云战 ,  黄俊飞 ,  王雅文

IPC: G06F11/36

Abstract: 本发明涉及一种生成时序安全属性类缺陷模式相关的函数摘要信息的方法，包括：判定被测程序中时序安全属性类的缺陷模式，并生成时序安全属性类缺陷模式的描述文件；根据所述描述文件获取所述时序安全属性类缺陷模式的有限自动状态机；根据所述有限自动状态机为所述被测程序中的函数生成函数摘要信息。本发明根据描述时序安全属性类缺陷模式的有限自动状态机为被测程序中的函数生成函数摘要信息，通过所述函数摘要信息进行软件静态测试，从而提高软件静态缺陷的检测效率。

公开(公告)号：CN103577324B

公开(公告)日：2017-01-18

申请号：CN201310524093.3

申请日：2013-10-30

Applicant: 北京邮电大学

Inventor： 王雅文 ,  宫云战 ,  黄俊飞 ,  于鹏洋 ,  金大海

IPC: G06F11/36

Abstract: 本发明公开一种移动应用中隐私信息泄露的静态检测方法，包括：首先检查代码的完备性，如果代码不完备则对源代码进行准备工作，加载隐私泄露对应的状态机描述文件，得到相关的状态机信息，对源代码进行编译，得到类和函数等的详细信息，对源代码进行预分析，生成抽象语法树等基本数据结构，得到函数间的调用关系。再以函数为单位进行检测分析，根据状态机中关联的方法来为各个状态机创建状态机实例，在函数对应的控制流图上进行状态机实例迭代，当状态机实例进入错误状态时，报告错误，在检测完成后人工对检测到的错误进行检查，确认检测结果。应用本发明能够有效检测不同操作系统平台的应用程序中存在的隐私泄露代码，有效防止用户隐私信息泄露。

公开(公告)号：CN103744776B

公开(公告)日：2016-11-16

申请号：CN201310538362.1

申请日：2013-11-04

Applicant: 北京邮电大学

Inventor： 宫云战 ,  金大海 ,  黄俊飞 ,  王雅文 ,  董玉坤

IPC: G06F11/36

Abstract: 本发明公开了一种基于符号化函数摘要的静态分析方法，该方法包括：利用RSTVL模型，描述当前函数的控制流图的节点的变量的存储状态；确定函数的当前节点为非最后节点且当前节点存在函数调用时，将被当前函数调用的函数的函数摘要进行实例化，并更新当前函数中受函数调用影响的变量；确定函数的当前节点为最后节点且确定当前函数具有函数返回值时，获得所述函数返回值的符号表达式，查找出存储状态发生变化的变量，并获取存储状态发生变化的变量的符号表达式；将所述函数返回值的符号表达式与存储状态发生变化的变量中的外部变量的符号表达式添加到当前函数的函数摘要中；同时，本发明还公开了基于符号化函数摘要的静态分析系统。利用本发明实施例的技术方案，可有效提高静态分析的精度效率。

公开(公告)号：CN102999426B

公开(公告)日：2016-06-29

申请号：CN201210506230.6

申请日：2012-11-30

Applicant: 北京邮电大学

Inventor： 王雅文 ,  宫云战 ,  金大海 ,  黄俊飞 ,  唐荣 ,  蔡敏

IPC: G06F11/36

Abstract: 本发明提供了一种基于抽象内存模型的非数值型数据的计算方法，包括：A、设计抽象内存模型用于模拟数值型变量和非数值型变量的内存结构，以及存储变量操作中包含的语义信息和约束关系；B、提取数值型变量和非数值类型变量的类型操作中包含的语义信息，并将语义信息映射到抽象内存模型中；C、提取数值型变量和非数值类型变量的类型操作中包含的变量间约束和变量内约束，并将约束关系映射到抽象内存模型；D、从抽象内存模型中提取变量的语义信息和约束关系，使用测试用例构建算法和第三方的约束求解器构建测试用例。采用本发明，可以克服现有技术无法精确支持非数值型变量程序语义的不足，实现包含非数值型的程序自动生成测试用例的目的。

公开(公告)号：CN104915293A

公开(公告)日：2015-09-16

申请号：CN201510325619.4

申请日：2015-06-12

Applicant: 北京邮电大学

Inventor： 宫云战 ,  钱茛南 ,  王雅文 ,  黄俊飞 ,  金大海

IPC: G06F11/36

Abstract: 本发明提供一种软件测试方法及系统，该方法包括：确定被测程序的抽象语法树；遍历分析抽象语法树，获取对应的符号表和控制流图；根据符号表确定被测程序的输入变量和全局变量，并分别赋予输入变量和全局变量初始取值范围，输入变量和全局变量的取值范围以数值的区间形式表示；将输入变量和全局变量取值范围的区间表示形式转换为仿射表示形式；根据控制流图确定路径集合，并对路径集合中的每条路径进行逐节点的变量仿射形式运算，输出每条路径对应的变量以及变量取值范围；在每条路径对应的变量的取值范围中取值，生成测试用例，并根据测试用例对被测程序进行测试。本发明提供的软件测试方法及系统，提高了变量取值范围和软件测试结果的精确性。