孙昌爱

作品数：41被引量：390H指数：7
导出分析报告
供职机构：北京科技大学更多>>
发文主题：软件测试软件工程变异体软件开发WEB服务更多>>
发文领域：自动化与计算机技术文化科学航空宇航科学技术更多>>
发文期刊：《郑州大学学报（理学版）》《计算机学报》《北京航空航天大学学报》《计算机教育》更多>>
所获基金：国家自然科学基金中央高校基本科研业务费专项资金北京市自然科学基金北京市优秀人才培养资助更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于路径分析的蜕变测试组生成与优先级排序技术
《计算机学报》2025年第3期675-693,共19页孙昌爱 邢嘉煜 刘宝莉 付安 
国家自然科学基金(62272037,61872039)资助。
蜕变测试依据待测软件的蜕变属性(通常表示为蜕变关系),由原始测试用例生成衍生测试用例,通过检查它们对应的输出结果是否满足蜕变关系确定测试是否通过,由于无需构造单个测试用例的预期输出结果,因此有效地缓解了测试预期问题。不难看...
关键词：软件测试 蜕变测试 符号执行 测试用例生成 测试用例优先级排序 
基于模板匹配的BPEL程序故障修复及优化技术被引量：1
《软件学报》2024年第6期2844-2862,共19页孙昌爱 吴思懿 张守峰 付安 
国家自然科学基金(61872039,62272037);北京市自然科学基金(4162040);航空科学基金(2016ZD74004)。
BPEL(business process execution language)是一种可执行的Web服务组合语言.与传统程序相比,BPEL程序在编程模型、执行方式等方面存在较大差异.这些新特点使得如何定位并修改测试阶段发现的BPEL程序故障成为挑战,面向传统软件的故障修...
关键词：程序调试 故障修复 WEB服务 服务组合 BPEL程序 
面向深度学习系统的模糊测试技术研究进展被引量：4
《软件学报》2023年第11期5008-5028,共21页代贺鹏 孙昌爱 金慧 肖明俊 
国家自然科学基金(61872039);北京市自然科学基金(4162040);航空科学基金(2016ZD74004)。
深度学习系统具有强大的学习与推理能力,在无人驾驶、语音识别和机器人等领域应用广泛.由于数据集的限制以及依赖人工标签数据,深度学习系统易于出现非预期的行为.近年来,深度学习系统的质量问题受到广泛的关注,特别是在安全攸关的领域...
关键词：深度学习系统 模糊测试 研究进展 
CWMT:一种基于并发机制的弱变异测试加速技术被引量：1
《计算机学报》2023年第7期1409-1426,共18页孙昌爱 曾国峰 张守峰 唐锦 李宁 张世永 陈艳 
国家自然科学基金(61872039,62272037);航空科学基金(2016ZD74004);中央高校基本科研业务费专项资金资助项目(FRF-GF-19-19B);中国电子科技集团第十五研究所创新基金项目(19010203)资助。
变异测试是一种基于故障的软件测试技术,广泛用来评估测试用例集的充分性与软件测试技术的有效性.尽管变异测试具有较强的故障检测能力,但由于变异体数量多与变异执行时间长导致了高昂的计算开销,限制了其在测试实践中的应用.已有研究...
关键词：软件测试 变异测试 弱变异测试 变异优化 
让未来世界透明可解释的智能软件技术与方法被引量：2
《计算机科学》2023年第5期1-2,共2页刘璘 邢颖 孙昌爱 李春芳 石川 
人工智能作为计算机科学最活跃的研究领域,在为人类持续创造新的惊喜的同时,也带来了关于可信性与可解释性的问题与挑战。2022年11月27日,中国软件大会“面向可解释人工智能的软件工程方法与技术”论坛在线上召开。论坛联合主席石川教...
关键词：人工智能 计算机科学 软件工程领域 神经网络 智能软件 可解释性 特邀报告 应用思考 
DFSampling:一种数据流分析指导的变异体精简策略被引量：1
《软件学报》2022年第9期3407-3421,共15页孙昌爱 卫新洁 刘镇贤 宫云战 
国家自然科学基金(61872039);中国科学院软件研究所计算机科学国家重点实验室开放课题(SYSKF1803);中央高校基本科研业务费专项(FRF-GF-19-019B)。
软件测试是一种广泛使用的软件质量保证手段.变异测试是一种基于故障的软件测试方法,广泛用于评估测试用例集的充分性与软件测试技术的有效性.数量庞大的变异体导致变异测试的成本非常高.提出一种数据流分析指导的变异体精简方法(DFSamp...
关键词：软件测试 变异测试 数据流分析 变异体精简 随机选择策略 
前言
《计算机研究与发展》2022年第9期1867-1868,共2页聂长海 孙昌爱 刘璘 
万物互联、数据驱动的智能化时代来临.软件系统帮助人类定义更快的网络、更智能地控制设备、采集更多样的数据、完成更丰富的处理和分析,从而提升人类的工作效率和生活体验.软件的智能化,以及软件开发和质量保证技术的智能化控制是越来...
关键词：计算机软件 软件系统 软件控制论 自动控制领域 软件工程 信息技术 软件开发 质量保证技术 
CMuJava:一个面向Java程序并发变异体生成系统被引量：1
《软件学报》2022年第2期397-409,共13页孙昌爱 耿宁 代贺鹏 顾友达 
国家自然科学基金(61872039);中国科学院软件研究所计算机科学国家重点实验室开放课题(SYSKF1803);中央高校基本科研业务费专项资金(FRF-GF-19-019B)。
并发程序由多个共享存储空间并发执行的流程组成.由于流程之间执行次序的不确定性,使得并发软件系统的测试比较困难.变异测试是一种基于故障的软件测试技术,广泛用于评估测试用例集的充分性和测试技术的有效性.将变异测试应用于并发程...
关键词：并发程序 变异测试 并发变异算子 并发变异体 测试工具 
一种基于变异分析的BPEL程序故障定位技术被引量：1
《计算机科学》2021年第1期301-307,共7页孙昌爱 张守峰 朱维忠 
国家自然科学基金(61872039);中央高校基本科研业务费专项资金资助项目(FRF-GF-19-019B)。
不同于传统C,C++或Java程序,BPEL(Business Process Execution Language)程序由一组活动及其之间的交互组成,同时引入了并发、序列化、XML表示等新特征,这些新特点使得定位BPEL程序的故障具有一定的挑战性。针对现有故障定位技术在有效...
关键词：故障定位 程序调试 BPEL 变异分析 软件测试 
一种Android应用程序隐私数据泄露检测方法被引量：4
《郑州大学学报（理学版）》2020年第3期68-74,共7页孙昌爱 朱维忠 李伟芳 何啸 
国家自然科学基金项目(61872039);中央高校基本科研业务费专项资金项目(FRF-GF-19-19B)。
提出一种基于扩展权限组合的Android应用程序隐私数据泄露检测方法。首先扩展Kirin安全规则集,然后从源代码层和字节码层分别提取Android应用程序申请的危险权限组合,最后动态检测是否存在隐私数据泄露的情形,并开发了支持工具DroidProt...
关键词：Android应用程序 权限组合 程序分析 字节码分析 程序安全 
全选清除导出
共4页<1234>
检索报告 对象比较 聚类工具 使用帮助 返回顶部