钻瓜专利网为您找到相关结果
13 个,建议您
升级VIP 下载更多相关专利
[发明专利] 一种并发程序的蜕变测试方法 -CN202110109436.4 有效
发明人:
孙昌爱 ;代贺鹏 ;耿宁
- 专利权人:
北京科技大学
申请日:
2021-01-27
-
公布日:
2023-08-08
-
主分类号:
G06F11/36 文献下载
摘要: 本发明针对并发程序测试中存在的测试预期问题,公开了一种并发程序的蜕变测试方法,所述蜕变测试方法包括:针对并发程序执行交错的特点,以能够触发数据竞争的交错场景指导蜕变关系模式的识别;将原始测试用例的执行轨迹作为原始执行序列,依据蜕变关系模式生成衍生测试用例,并控制衍生测试用例的执行;通过比较衍生测试用例与原始测试用例的输出结果是否违反当前蜕变关系模式,进行测试结果验证;同时提出了一种并发程序的蜕变关系模式,指导衍生测试用例的生成及测试结果判定。本发明通过缩小并发程序的交错空间,优化了程序的执行过程,能够有效检测出并发程序中的数据竞争故障。
一种 并发 程序 蜕变 测试 方法
[发明专利] 一种物联网服务的组合方法和装置 -CN202210836289.5 在审
发明人:
孙昌爱 ;王真 ;龚玉飞
- 专利权人:
北京科技大学
申请日:
2022-07-15
-
公布日:
2022-12-02
-
主分类号:
G06Q10/06 文献下载
摘要: 本发明提供一种物联网服务的组合方法及装置,通过获取每个物联网服务的基础信息,并根据所述基础信息得到上下文约束信息;根据所述上下文约束信息,从多个物联网服务中确定出至少两个目标物联网服务;根据所述上下文约束信息,确定出所述至少两个目标物联网服务的组合策略;根据所述组合策略生成与所述至少两个目标物联网服务相对应的流程信息;根据所述流程信息对所述至少两个目标物联网服务进行组合。本发明提供的方案以微服务架构构建物联网服务,使用上下文驱动物联网服务组合流程的设计、组合策略学习及流程实例派生,能够提高物联网服务组合的适应性和灵活性,实现上下文感知的按需服务组合。
一种 联网 服务 组合 方法 装置
[发明专利] 一种冗余变异体识别方法 -CN201710329693.2 有效
发明人:
孙昌爱 ;郭新玲
- 专利权人:
北京科技大学
申请日:
2017-05-11
-
公布日:
2020-05-08
-
主分类号:
G06F11/36 文献下载
摘要: 本发明提供一种冗余变异体识别方法,能够减少变异测试过程中变异体的执行时间。所述方法包括:比较变异体与待测程序源代码,获取每个变异体的变异位置及变异内容,确定每个变异体所属的块类别;对待测程序源代码进行数据流分析,获取待测程序的数据流信息,结合获取的待测程序的数据流信息,对获取的每个变异体的变异内容上的变量进行分析,确定变异体的变异类型;其中,所述数据流信息包括:每个变量的定义‑使用链;根据确定的变异体所属的块类别和变异体的变异类型,按照预先定义的冗余变异体识别规则,分析待测程序的每条定义‑使用链,获取满足冗余变异体识别规则的变异体并标记为冗余变异体本发明涉及软件技术领域。
一种 冗余 异体 识别 方法
[发明专利] 一种变异测试方法及装置 -CN201510700704.4 在审
发明人:
孙昌爱 ;贾婧婷 ;薛飞飞
- 专利权人:
北京科技大学
申请日:
2015-10-26
-
公布日:
2016-02-03
-
主分类号:
G06F11/36 文献下载
摘要: 本发明提供一种变异测试方法及装置,能够降低执行时间和开销,提高变异测试效率。所述方法包括:将待测程序源代码划分为不同的程序块;确定属于目标程序块的变异体;利用并发机制,将所述待测程序源代码与属于目标程序块的变异体进行合成,得到变异程序。所述装置包括:程序块划分模块,用于将待测程序源代码划分为不同的程序块;变异体分布确定模块,用于确定属于目标程序块的变异体;变异程序合成模块,用于利用并发机制,将所述待测程序源代码与属于目标程序块的变异体进行合成,得到变异程序。本发明适用于软件测试技术领域。
一种 变异 测试 方法 装置
[发明专利] 基于方面的可靠WEB服务组装方法和系统 -CN201210428162.6 有效
发明人:
孙昌爱 ;尚岩
- 专利权人:
北京科技大学
申请日:
2012-10-31
-
公布日:
2013-02-13
-
主分类号:
G06F9/44 文献下载
摘要: 本发明提出了一种基于方面的可靠WEB服务组装方法和系统,其中所述方法包括:建立基于方面的面向服务组装的事务集成框架;开发基于方面的事务集成框架元模型,其中所述事务集成框架元模型支持不同的事务策略的定义;所述的事务策略用来指明事务操作、所属的事务类型,以及该操作的对应输入变量与输出变量;织入策略用来描述某个事务策略应被织入的位置,以及织入类型;对所述基于方面的事务策略进行验证;以预处理的方式将基于方面的事务策略与原始服务组装编织起来,在服务组装规格说明中织入标准的事务操作调用。本发明将服务组装中的事务逻辑与业务逻辑集成,对于目前基于服务组装实现的大型软件系统的可靠性保证具有十分重要的意义。
基于 方面 可靠 web 服务 组装 方法 系统
[发明专利] 一种无需预期的Web服务测试方法 -CN201110109427.1 有效
发明人:
孙昌爱
- 专利权人:
北京科技大学
申请日:
2011-04-22
-
公布日:
2011-08-31
-
主分类号:
H04L12/26 文献下载
摘要: 本发明公开了一种无需预期的Web服务测试方法,包括如下步骤:(1)构造基于Web服务描述的蜕变关系;(2)生成衍生测试用例集合,衍生测试用例集合由原始测试用例集合基于所述输入关系R生成;原始测试用例集合和衍生测试用例集合构成测试用例集合;(3)执行客户端驱动的测试用例,获取Web服务的执行结果;(4)判定执行结果是否满足输出关系Rf,如果不满足,则判定所述Web服务中存在缺陷。于是,通过比较原始测试用例与衍生测试用例的输出结果是否满足用于产生测试用例的蜕变关系,即可判断Web服务中是否存在缺陷,提供了一种无需预期仍能对Web服务进行有效测试的方法,能有效增强Web服务的可靠性。
一种 无需 预期 web 服务 测试 方法
[发明专利] 面向服务组装的声明式事务集成方法和系统 -CN201110034052.7 有效
发明人:
孙昌爱
- 专利权人:
北京科技大学
申请日:
2011-01-31
-
公布日:
2011-05-25
-
主分类号:
G06F9/44 文献下载
摘要: 本发明公开了一种面向服务组装的声明式事务集成方法和系统,所述方法包括如下步骤,(1)对基于服务组装语言BPEL的服务组装规格说明进行预处理,识别并消除不同活动之间存在的事务依赖;(2)对预处理后的所述服务组装规格说明进行事务策略的说明和注解,确保被注解的活动遵循一定的事务协议规范,预处理后的所述服务组装规格说明和所述事务策略的注解文件形成含事务注解的服务组装规格说明;(3)解释和执行所述含事务注解的服务组装规格说明,完成预定业务的Web服务组装。通过集成已有的Web服务的事务框架和协议,利用现有的服务组装引擎和面向Web服务的事务协议,部分支持服务组装中自动化的事务设计与执行,增强Web服务组装的可靠性。
面向 服务 组装 声明 事务 集成 方法 系统
[发明专利] 基于可变性的适应性服务组装方法 -CN201010283864.0 无效
发明人:
孙昌爱
- 专利权人:
北京科技大学
申请日:
2010-09-15
-
公布日:
2011-02-09
-
主分类号:
G06F9/44 文献下载
摘要: 一种基于可变性的适应性服务组装方法,包括建立面向服务组装的可变性管理框架;开发可变性构造子,支持不同类型可变性的定义与表达;设计阶段在服务组装规格说明中引入可变性定义;在运行时刻支持包含可变性定义的服务组装规格说明的解释执行。本发明将服务组装中的可变性因素视为第一类设计对象,有助于提高服务组装的适应性,对Internet环境下基于服务组装实现的业务过程的开发与维护具有十分重要的意义。另外,本发明弥补现有的服务组装语言Business Process Execution Language(BPEL)及支持平台在支持灵活的服务组装方面的不足。
基于 可变性 适应性 服务 组装 方法