魏强
- 作品数：105 被引量：230H指数：8
- 供职机构：中国人民解放军信息工程大学更多>>
- 发文基金：国家高技术研究发展计划国家自然科学基金河南省科技攻关计划更多>>
- 相关领域：自动化与计算机技术文化科学电子电信建筑科学更多>>
- 基于多Agent分布式调度的并行符号执行系统
- 本发明公开了一种基于多Agent调度的并行符号执行系统，包括：分布式调度与监控单元，用于对执行迹生成单元、符号执行单元和约束求解单元实现流水线并行调度，使得系统并行运行程度提高，负载均衡；执行迹生成单元，用于将具体输入驱...
- 魏强曹琰武泽慧柳晓龙麻荣宽曾杰
- 文献传递
- 基于SPOC平台的翻转课堂教学研究被引量：5
- 2017年
- 针对漏洞分析课程存在理解抽象、实践性强、前序知识依赖度高的特点,构建涵盖流媒体、实验环境和知识体系导教的SPOC教学平台,提出基于SPOC平台开展漏洞分析课程翻转课堂教学改革的方法,从线上线下课堂、实验教学和考核方式等方面阐述具体改革内容。
- 曹琰王禹丁文博魏强
- 关键词：漏洞分析
- 基于特征字符串动态引用频率的库引用识别
- 2014年
- 提出基于特征字符串动态引用频率的程序胎记,分析了其应对编译优化、压缩混淆的能力,设计了其提取算法;通过对库引用问题的分析,提出了其相似性函数,通过实例验证了上述动态程序胎记和相似性函数在分析库引用问题上的有效性。
- 蔡建章魏强史建忠
- PLC程序到NuSMV输入模型的自动化构建方法
- 本发明涉及工业自动化控制技术领域，特别是涉及一种PLC程序到NuSMV输入模型的自动化构建方法，包括对PLC的ST语言进行分析，构建ST语言的语法；根据给出的ST语法对ST程序进行处理，将ST程序解析为抽象语法树AST；...
- 魏强常天佑麻荣宽耿洋洋刘雯雯
- 一种网络备份系统的存储优化研究与实现
- 随着网络技术的快速发展,计算机网络在信息化社会中正发挥越来越大的作用。备份与恢复作为保障信息安全的最后一环,在整个信息保障体系中具有重要地位。随着信息化程度的不断提高,各企事业单位、政府、军队等部门对计算机数据信息的依赖...
- 魏强
- 关键词：备份HASH
- 文献传递
- 基于相容优化的并行约束求解方法
- 本发明涉及一种基于相容优化的并行约束求解方法，含有下列步骤：1：初始化任务队列；2：如果任务队列中没有搜索向量，则结束；如果有搜索向量，则选择一个作为当前工作任务；3：从所有未赋值的约束变元中选择要赋值的约束变元；4：对...
- 曹琰魏强彭建山尹中旭
- 文献传递
- REST API自动化测试综述
- 2024年
- REST API已经成为访问和使用云服务、Web、移动应用程序的重要途径,如何对这些API进行自动化测试以保证服务的安全性和可靠性是亟待解决的问题。目前虽然关于REST API自动化测试的研究成果众多,但仍缺少对测试技术全面的分析和总结。梳理了该领域近10年的代表性成果,首先总结了REST API自动化测试的发展历程;然后结合REST API自动化测试特征,提炼了测试的通用流程;接着分别从预处理、测试用例生成、测试用例执行与监测、结果分析四个环节阐述现有成果的技术特征,对比分析其优缺点;最后论述当前研究存在的不足,讨论可能的解决思路,展望了下一步研究方向。
- 陈静陈静魏强王新蕾
- 关键词：自动化测试测试用例生成
- 网络攻防演练平台的设计与实现被引量：15
- 2011年
- 针对网络攻防课程实验环境的构建问题,本文设计了作为网络攻防课程的教学和实验辅助环境的网络攻防演练平台。以通过建立课堂演示和课程相关的验证性实验攻击标靶搭建攻击测试环境为目标进行模块化的设计,同时,针对支持网络攻防对抗演练的支撑环境进行设计,对推进网络攻防课程教学和提高学生动手能力具有重要意义。
- 尹中旭朱俊虎魏强胡雪丽
- 关键词：教学演示
- 基于自然语言处理的JavaScript引擎定向模糊测试技术被引量：1
- 2022年
- JavaScript语言广泛用于浏览器和其他应用程序中,针对JavaScript引擎的攻击给企业和用户带来了巨大的安全隐患。当前针对JavaScript引擎的模糊测试技术在可用测试用例生成能力和代码覆盖率方面存在不足,经研究提出了一种基于自然语言处理的JavaScript引擎定向模糊测试技术,使用简化的BERT语言模型和残差网络提取JavaScript语法语义信息,并生成用于定向模糊测试的测试用例。实现的原型工具JSBFuzz选择JerryScript、ChakraCore和JavaScriptCore进行测试,累计发现9个BUG。实验结果表明,JSBFuzz能够大幅提高JavaScript测试用例的生成效率和漏洞挖掘速度,并且具有较高的代码覆盖率。
- 吴泽君武泽慧王允超魏强
- 关键词：JAVASCRIPT引擎自然语言处理
- 基于函数注入的沙箱拦截识别方法被引量：1
- 2016年
- 沙箱验证机制的测试需要首先识别沙箱拦截,即识别沙箱截获的系统函数集。已有的Hook识别方法大多仅关注钩子的存在性,识别沙箱拦截的能力不足。该文设计了一种基于函数注入的沙箱拦截识别方法,该方法分析系统函数的指令执行记录(Trace)来识别沙箱截获的系统函数。首先,向不可信进程注入并执行系统函数来获取函数的执行记录;其次,根据沙箱截获系统函数执行记录的特点,设计了地址空间有限状态自动机,并在自动机内分析获取的执行记录来判别沙箱截获的系统函数;最后,遍历测试函数集来识别目标沙箱截获的系统函数集。该文设计实现了原型系统SIAnalyzer,并对Chromium和Adobe Reader进行了沙箱拦截识别测试,测试结果验证了方法的有效性和实用性。
- 赵旭颜学雄王清贤魏强
- 关键词：钩子自动机
