“王雅文”申请（专利权）人搜索_中国专利权人_发明人_技术持有人_科研专家_钻瓜专利网

钻瓜专利网为您找到相关结果324个，建议您升级VIP下载更多相关专利

[发明专利]移动应用中隐私信息泄露的静态检测方法-CN201310524093.3有效
发明人： 王雅文;宫云战;黄俊飞;于鹏洋;金大海 -专利权人：北京邮电大学
申请日： 2013-10-30 - 公布日： 2017-01-18 - 主分类号： G06F11/36 文献下载
摘要：本发明公开一种移动应用中隐私信息泄露的静态检测方法，包括首先检查代码的完备性，如果代码不完备则对源代码进行准备工作，加载隐私泄露对应的状态机描述文件，得到相关的状态机信息，对源代码进行编译，得到类和函数等的详细信息，对源代码进行预分析，生成抽象语法树等基本数据结构，得到函数间的调用关系。再以函数为单位进行检测分析，根据状态机中关联的方法来为各个状态机创建状态机实例，在函数对应的控制流图上进行状态机实例迭代，当状态机实例进入错误状态时，报告错误，在检测完成后人工对检测到的错误进行检查，确认检测结果。应用本发明能够有效检测不同操作系统平台的应用程序中存在的隐私泄露代码，有效防止用户隐私信息泄露。
移动应用隐私信息泄露静态检测方法

[发明专利]一种基于符号化函数摘要的静态分析方法及系统-CN201310538362.1有效
发明人：宫云战;金大海;黄俊飞;王雅文;董玉坤 -专利权人：北京邮电大学
申请日： 2013-11-04 - 公布日： 2016-11-16 - 主分类号： G06F11/36 文献下载
摘要：本发明公开了一种基于符号化函数摘要的静态分析方法，该方法包括：利用RSTVL模型，描述当前函数的控制流图的节点的变量的存储状态；确定函数的当前节点为非最后节点且当前节点存在函数调用时，将被当前函数调用的函数的函数摘要进行实例化，并更新当前函数中受函数调用影响的变量；确定函数的当前节点为最后节点且确定当前函数具有函数返回值时，获得所述函数返回值的符号表达式，查找出存储状态发生变化的变量，并获取存储状态发生变化的变量的符号表达式；将所述函数返回值的符号表达式与存储状态发生变化的变量中的外部变量的符号表达式添加到当前函数的函数摘要中；同时，本发明还公开了基于符号化函数摘要的静态分析系统。利用本发明实施例的技术方案，可有效提高静态分析的精度效率。
一种基于符号化函数摘要静态分析方法系统

[发明专利]一种缺陷关联方法及装置-CN201310128097.X有效
发明人：金大海;宫云战;张大林;黄俊飞;王雅文 -专利权人：北京邮电大学
申请日： 2013-04-12 - 公布日： 2016-11-09 - 主分类号： G06F11/36 文献下载
摘要：本发明公开了一种缺陷关联方法，包括：从缺陷报告中提取缺陷对应的代码块，根据所提取的代码块生成缺陷相关代码块序列信息库；获取所述缺陷相关代码块序列信息库的基本频繁子序列，并消除所述基本频繁子序列中不满足约束条件的频繁子序列；依据当前频繁子序列对应的缺陷，对缺陷报告中的缺陷进行分组；根据预设的缺陷关联模式，精化分组的缺陷。本发明同时还公开了一种缺陷关联装置。采用本发明的技术方案，可以对缺陷进行精确的分组。
一种缺陷关联方法装置

[发明专利]故障自动注入与故障检测的方法及其系统-CN201410114863.1有效
发明人：宫云战;钱茛南;王雅文;黄俊飞;金大海 -专利权人：北京邮电大学
申请日： 2014-03-25 - 公布日： 2016-10-26 - 主分类号： G06F11/36 文献下载
摘要：本发明涉及一种故障自动注入与故障检测的方法及其系统，该方法包括：S1，对被测文件进行故障自动化注入，进行分析并生成多个故障文件；S2，对所述多个故障文件分别进行处理，生成多个可执行文件；S3，根据所述被测文件选择特定的用例库，将所述用例库中的用例逐一在所述每个可执行文件上运行，进行故障检测，并计算故障检测率。本发明使用源代码故障注入的方法，可以加速错误的发生，进而判断出软件中是否存在故障，并且检错能力强，尤其对于一些小概率错误具有较好的测试效果。
故障自动注入检测方法及其系统

[发明专利]结构测试中的边界值测试方法及其系统-CN201410115157.9有效
发明人：宫云战;李峰;黄俊飞;金大海;王雅文 -专利权人：北京邮电大学
申请日： 2014-03-26 - 公布日： 2016-10-19 - 主分类号： G06F11/36 文献下载
摘要：本发明涉及一种结构测试中的边界值测试方法及其系统，所述方法包括：S1，根据被测文件中的语句的语义和表达式的语义选择特定的边界覆盖准则；S2，根据所述边界覆盖准则获取所述被测文件的语句边界值和表达式边界值；S3，为所述语句边界值和所述表达式边界值选择对应的可达路径；S4，根据所述可达路径生成测试用例，并对所述测试用例进行比较，从而得到边界值测试结果。本发明的结构测试中的边界值测试方法及其系统，通过对不同的语句以及表达式选择特定的边界值覆盖准则，可以快速地找到对应的边界值，从而可以在结构测试中对语句以及表达式的边界值进行测试。
结构测试中的边界方法及其系统

[发明专利]统计图生成和显示的方法、客户端、统计图生成端和系统-CN201410747359.5在审
发明人：苏燕;赵洪松;关德军;胡宇翔;孙芳杰;迟建德;许龙滨;王雅文;李冰;何卫萍;王典隆;鲁锋;战晔;张美鸥;陈亮 -专利权人：中国移动通信集团黑龙江有限公司
申请日： 2014-12-09 - 公布日： 2016-07-06 - 主分类号： G06F17/30 文献下载
摘要：本发明提供了一种统计图生成和显示的方法、客户端、统计图生成端和系统，其中所述系统由统计图配置器、统计图生成端、统计指标分析库、GIS平台、GIS客户端和WEB客户端几部分构成，统计图的生成是由单独的独立于GIS平台的统计图生成端来生成的，统计图表生成端可以直接接受WEB客户端的请求将统计图显示到浏览器中；统计图配置器与统计图生成端连接，向统计图生成端传递统计图的配置信息；统计指标分析库主要存储统计图表的统计数据，这些数据通过统计图表的位置信息与基础地图中的GIS元素相关联。本发明提供了一种专题统计图生成和显示的方法生成的统计图表可以独立于各GIS平台生成，因此可以在各GIS平台共享。
统计图生成显示方法客户端系统

[发明专利]一种客户数据查询服务方法及装置-CN201410317437.8在审
发明人：张美鸥;赵洪松;关德军;孙德志;迟建德;李宏昌;王雅文 -专利权人：中国移动通信集团黑龙江有限公司
申请日： 2014-07-04 - 公布日： 2016-02-10 - 主分类号： G06F17/30 文献下载
摘要：本发明提供一种客户数据查询服务方法及装置，采用新的服务提供机制，提升海量数据查询的实时性及可靠性，并通过配置化的查询参数，灵活、高效地相应多个外部应用系统的差异化数据查询需求，减少了数据冗余，提高了客户数据查询速度。所述方法包括在第一数据服务端执行的如下步骤：接收请求方发送的客户数据的查询请求；根据所述查询请求、以及根据所述查询请求与第二数据服务端的配置数据的对应关系获得的配置数据，获取查询参数；依据所述查询参数与待反馈的客户数据之间的对应关系，从存储有全量客户数据的第二数据服务端获取待反馈的客户数据；将待反馈的客户数据相关的回复消息反馈给请求方。所述装置采用所述方法提供客户数据查询服务。
一种客户数据查询服务方法装置

[发明专利]一种基于四值逻辑的位运算测试用例生成方法-CN201510416680.X在审
发明人：金大海;李峰;宫云战;王雅文;黄俊飞 -专利权人：北京邮电大学
申请日： 2015-07-15 - 公布日： 2015-10-28 - 主分类号： G06F11/36 文献下载
摘要：本发明公开了一种基于四值逻辑的位运算测试用例生成方法，属于软件测试中测试用例生成技术领域，具体步骤包括：步骤一、分别设定四值逻辑运算的方法和四值逻辑运算的逆运算方法；步骤二、将位运算约束分解为逻辑运算约束；步骤三、将逻辑运算约束对应为约束满足问题；步骤四、依据四值逻辑运算和逆运算的方法使用搜索算法求解逻辑运算约束；步骤五、将逻辑运算约束的解合成为位运算约束的解。优点在于：应用多值逻辑来计算变量的值域，从而提高搜索空间和位运算的搜索效率，进一步提高了位运算的测试用例生成效率。
一种基于逻辑运算测试生成方法

[实用新型]消除噪音装置-CN201420355880.X有效
发明人：胡延节;冯平;胡义柱;兰瑞文;王雅文 -专利权人：胡延节
申请日： 2014-06-24 - 公布日： 2015-07-08 - 主分类号： E01F8/00 文献下载
摘要：消除噪音装置的特征是在于外壳(1)的正面是镂空的，其余五面封闭，外壳的内部装有吸音材料板(2)。其优点是汽车行驶中发出的噪音及喇叭声，通过本装置外壳正面的镂空进入吸音材料板，其噪音及喇叭声被吸收，从而大大降低了噪音及喇叭声的分贝值，使道路两旁建筑物的折射而产生的共鸣声消失，给道路两旁的居民带来安宁，健康的生活环境。本装置也适用于消除其他设备所产生的噪音。
消除噪音装置

[发明专利]安全管控实现方法、系统及云桌面系统-CN201310751050.9在审
发明人：李冰;顾健;王雅文;李宏昌;迟建德;付载国;李佳记;全凯巍;于志卓 -专利权人：中国移动通信集团黑龙江有限公司
申请日： 2013-12-31 - 公布日： 2015-07-01 - 主分类号： H04L29/06 文献下载
摘要：本发明公开了一种安全管控实现方法、系统及云桌面系统。在上述方法中，基于云桌面技术构建云桌面系统；建立所述云桌面系统与终端的连接；经由所述云桌面系统与所述终端之间的交互实现所述云桌面系统对所述终端的安全管控。根据本发明提供的技术方案，引入云桌面技术，弥补了现有终端网络接入及安全管控体系的不足，改善了系统部署模式，实现了集中控制，提高终端接入安全性，降低系统安全风险。
安全实现方法系统桌面

[实用新型]一种汽车水箱散热装置-CN201420719059.1有效
发明人： 王雅文 -专利权人： 王雅文
申请日： 2014-11-25 - 公布日： 2015-05-13 - 主分类号： F01P11/00 文献下载
摘要：本实用新型涉及一种汽车水箱散热装置，其组成包括：水箱，所述水箱内设置有温度传感器，所述温度传感器与控制装置连接，所述水箱外壁上固定环绕有螺旋状的散热管，所述散热管与储液罐连接，所述储液罐上设有进水口，所述散热管上设置有阀门，所述阀门与控制装置连接，回流管上设置有节流阀，所述节流阀与控制装置连接，所述回流管外侧设有散热片。有益效果是：本实用新型通过控制装置可智能控制水箱中的水温，在温度过高时，通过冷却液将水箱中的温度冷却，在通过回流管时，液体流速变慢，可能大大加快冷却液的温度。
一种汽车水箱散热装置

[发明专利]一种静态缺陷检测方法及其系统-CN201410736842.3有效
发明人：黄俊飞;张大林;金大海;宫云战;王雅文 -专利权人：北京邮电大学
申请日： 2014-12-05 - 公布日： 2015-04-22 - 主分类号： G06F11/36 文献下载
摘要：本发明涉及一种静态缺陷检测方法及其系统，该方法包括：S1、构造被测程序的抽象语法树和控制流图；S2、根据预设的缺陷模式，建立所述缺陷模式的状态机实例，并将所述状态机实例置于待测程序的控制流入口；S3、依路径遍历控制流图，并计算在遍历过程中每个控制流节点的变量的区间信息；S4、根据每个所述控制流节点的变量的区间取值信息，实时地更新所述状态机实例的状态，直到检测到所述状态机实例的缺陷或遍历完成所有路径上的控制流节点。该方法基于符号化的区间分析技术，通过综合采用矛盾的变量取值判断和条件约束验证方法判断程序中的不可达路径，从而提高了缺陷检测的精确性。
一种静态缺陷检测方法及其系统

[实用新型]一种汽车雨刮集水系统-CN201420720080.3有效
发明人： 王雅文 -专利权人： 王雅文
申请日： 2014-11-25 - 公布日： 2015-04-22 - 主分类号： B60S1/46 文献下载
摘要：本实用新型涉及一种汽车雨刮集水系统，所述主水箱中设置水位监测模块，所述主水箱与副水箱联通，所述副水箱与雨刮器连接，所述主水箱与所述副水箱、所述副水箱与雨刮器之间均通过水管联通，所述雨刮器与所述副水箱之间还设有过滤器，所述副水箱底部设有控制阀门，所述控制阀门与水位监测模块连接阀门控制器。有益效果是：在汽车雨刮器水箱中添加雨水收集补水的技术，使汽车通过雨水收集的方法对汽车水箱进行补水，水温监测模块和控制阀门可自动控制补水的时机，还能使驾驶员及时关注水箱中的情况。
一种汽车集水系统

[发明专利]一种业务处理的方法及装置-CN201310449337.6在审
发明人：陈亮;赵宏松;孙川;鲍海峰;朱东昭;陈宝学;迟建德;李宏昌;王雅文 -专利权人：中国移动通信集团黑龙江有限公司
申请日： 2013-09-27 - 公布日： 2015-04-15 - 主分类号： G06Q10/10 文献下载
摘要：本发明实施例提供一种业务处理的方法，包括：系统登录成功后，判断是否有需要处理的工单；若存在需要处理的工单，则进入执行工单的页面，判断当前的执行页面是否与预设的业务逻辑对应的页面相匹配；若所述当前的执行页面与预设的业务逻辑对应的页面相匹配，则根据所述预设的业务逻辑进行业务处理。本发明实施例还提供了相应的业务处理的装置。使用本发明实施例公开的业务处理的方法和装置，将原有业务处理中由人工完成的工作通过事先配置，将各种操作动作后生成的图像识别为处理代码，并通过流程要求配置为业务逻辑，由计算机自动完成业务处理工作。从而实现了一定程度上的人工智能，填补了“有固定模式操作”用计算机代替人工进行处理的空白。
一种业务处理方法装置

[发明专利]一种基于Eclipse插件的Java源代码缺陷检测方法及其系统-CN201410610811.3在审
发明人：宫云战;朱红;金大海;黄俊飞;王雅文;张大林 -专利权人：北京邮电大学
申请日： 2014-11-03 - 公布日： 2015-03-25 - 主分类号： G06F11/36 文献下载
摘要：本发明涉及一种基于Eclipse插件的Java源代码缺陷检测方法及其系统，所述方法包括：S1、将检测插件置入到Eclipse平台；S2、在所述检测插件的模式数据库中选择预设的缺陷模式和存储路径；S3、根据所选择的缺陷模式和存储路径，选择所述Eclipse平台中待测试java文件和/或待测试工程并执行检测；S4、分析处理检测结果。该方法可以在Java开发环境下直接进行代码缺陷的检测，从而提高了软件开发测试的效率。
一种基于 eclipse 插件 java 源代码缺陷检测方法及其系统