孙昌爱
- 作品数：63 被引量：718H指数：9
- 供职机构：北京科技大学更多>>
- 发文基金：国家自然科学基金中央高校基本科研业务费专项资金北京市自然科学基金更多>>
- 相关领域：自动化与计算机技术文化科学航空宇航科学技术更多>>
- 面向服务组装的声明式事务集成方法和系统
- 本发明公开了一种面向服务组装的声明式事务集成方法和系统，所述方法包括如下步骤，(1)对基于服务组装语言BPEL的服务组装规格说明进行预处理，识别并消除不同活动之间存在的事务依赖；(2)对预处理后的所述服务组装规格说明进行...
- 孙昌爱
- 文献传递
- 一种有效的软件结构图的布图算法被引量：11
- 2000年
- 信息的可视化表示是帮助理解软件结构的重要手段 .结构化软件中的复杂的模块调用为软件结构的分析和理解带来不便 ,为此提出一种以模块连接度 (扇入扇出系数和 )为特征的广义张量平衡算法 ,以图形方式直观地表现出模块之间复杂的调用关系 .具体讨论了算法应遵循的原则 ,给出了算法的可操作规则集 .实践证明 ,该算法布出的图形具有高度的对称性和紧耦合性 ,且层次分明 ,线间交叉少 ,同时符合图形语义要求和协调性原则 .
- 孙昌爱刘超金茂忠
- 关键词：软件工程布图算法
- 基于UML活动图模型的测试用例生成技术研究被引量：34
- 2001年
- 为了设计和生成系统工作流程的测试用例 ,引入测试大纲模型的概念 ,设计出从UML(UnifiedModelingLanguage)活动图模型到测试大纲模型 ,再到测试用例模型的三级转换过程和一组消除活动图模型中的非结构化特征、将其转化为模块化的测试大纲模型 ,以及把并发子过程实例化为一组典型测试场景的基本规则 .还研究了针对每一个输入操作 ,选择基本输入数据集 ,并将其赋予测试大纲模型之上 ,从而构造测试用例模型的方法 ,以及最终基于测试用例模型生成完备的测试用例集合的方法 .
- 张楣刘超孙昌爱
- 关键词：计算机辅助测试计算机设计自动化活动图测试用例生成技术
- 一种Android应用程序隐私数据泄露检测方法被引量：2
- 2020年
- 提出一种基于扩展权限组合的Android应用程序隐私数据泄露检测方法。首先扩展Kirin安全规则集,然后从源代码层和字节码层分别提取Android应用程序申请的危险权限组合,最后动态检测是否存在隐私数据泄露的情形,并开发了支持工具DroidProtector。采用一组Android应用程序进行实验评估,结果表明,该方法能检测出更多类型的隐私数据泄露问题,DroidProtector在大幅度提高隐私数据泄露检测有效性的前提下仅引入了较小的性能开销。
- 孙昌爱朱维忠李伟芳何啸
- 一种基于数据流分析的冗余变异体识别方法被引量：7
- 2019年
- 变异测试是一种基于故障的软件测试技术,广泛用来评估测试用例集的充分性与软件测试技术的有效性.尽管变异测试具有较强的故障检测能力,但由于数量庞大的变异体导致了计算开销大的问题,阻碍了变异测试在实践中的广泛应用.为了增强变异测试的实用性,该文从减少变异体数量和缩短变异测试执行时间的角度出发研究变异测试的优化技术,提出冗余变异体的概念和一种基于数据流分析的冗余变异体识别方法.采用11个C程序以经验研究的方式评估了所提冗余变异体识别方法的可行性与有效性.实验结果表明,该文提出的冗余变异体识别方法不仅可以识别出大量的冗余变异体,有效地减少了变异测试执行时间,还提供了一种评价变异算子质量的方法.该文提出的冗余变异体概念及其识别方法可以有效地提高变异测试的效率,并为资源受限的情况下如何选择变异算子进行变异测试提供了指导方针.
- 孙昌爱郭新玲张翔宇陈宗岳
- 关键词：软件测试数据流分析
- DFSampling:一种数据流分析指导的变异体精简策略
- 2022年
- 软件测试是一种广泛使用的软件质量保证手段.变异测试是一种基于故障的软件测试方法,广泛用于评估测试用例集的充分性与软件测试技术的有效性.数量庞大的变异体导致变异测试的成本非常高.提出一种数据流分析指导的变异体精简方法(DFSampling),设计了启发式规则,基于这些规则对随机选择技术与基于路径感知的变异体精简技术(PAMR)进行了改进.采用经验研究的方式评估了DFSampling的有效性,比较了DFSampling与随机选择技术、PAMR技术的有效性,实验结果表明DFSampling是一种有效的变异体精简策略,提高了变异测试的效率.
- 孙昌爱卫新洁刘镇贤宫云战
- 关键词：软件测试数据流分析
- 基于可变性的适应性服务组装方法
- 一种基于可变性的适应性服务组装方法，包括建立面向服务组装的可变性管理框架；开发可变性构造子，支持不同类型可变性的定义与表达；设计阶段在服务组装规格说明中引入可变性定义；在运行时刻支持包含可变性定义的服务组装规格说明的解释...
- 孙昌爱
- 文献传递
- VxBPELEngine:一种变化驱动的适应性服务组装引擎被引量：2
- 2013年
- 近年来,面向服务的架构(SOA)正逐渐成为分布式系统开发的新范型.为了满足快速变化的需求,服务组装应具备足够的适应性.针对目前广泛采纳的服务组装语言BPEL在适应性支持方面存在的不足,对标准BPEL进行扩展,开发了VxBPEL,支持服务组装中的可变性设计.为了在运行时刻解释与执行服务组装中的可变性定义与可变性配置,基于开源BPEL引擎ActiveBPEL开发了VxBPEL引擎VxBPELEngine.通过实例系统验证了基于可变性设计的适应性服务组装方法的可行性,评估了VxBPELEngine引擎的性能.
- 孙昌爱薛铁恒胡长军
- 关键词：WEB服务BPEL
- 基于程序插装的动态测试技术实现被引量：40
- 2001年
- 动态测试是检测程序的动态行为的一种有效手段 .本文介绍了 Safepro白盒软件测试工具系列中基于程序插装的动态测试技术实现 ,具体讨论了动态测试的模型、数据流模型和动态跟踪数据的编码和解码技术 。
- 孙昌爱金茂忠
- 关键词：数据流分析软件测试程序插装软件工程
- 基于场景的软件测试工具系列的设计与实现被引量：5
- 2001年
- 文章将场景技术用于软件测试工具系列Safepro的开发，在讨论测试工具开发共性的基础上，还兼顾个别测试工具的一些特别之处。文中简要介绍了软件测试工具的研究现状，随后给出了系统的测试场景，并基于场景分析了系统的构成模式，讨论了测试数据流模型，包括测试过程的数据流模型，数据流的性能改进，以及基于消息的数据分发和缓冲计数的应用。文章还介绍了采用Makefile规则实现测试分析过程组织的方法。
- 孙昌爱金茂忠刘超
- 关键词：软件测试工具软件开发
