公共文化服务平台

搜索到32篇“ 代数规约“的相关文章

基于代数规约的Web服务测试执行方法: 本发明公开了一种基于代数规约的Web服务测试执行方法，在使用单线测试技术生成Web服务测试序列的基础上，首先对测试序列进行解析，生成待测操作序列；然后依次执行序列中的每个待测操作，若待测操作类型是服务请求，则调用相应远程...; 刘冬梅杜益宁郑小宇周子健邱玫媚朱鸿

基于代数规约的Web服务单线测试用例生成方法: 本发明公开了一种基于代数规约的Web服务单线测试用例生成方法，在使用代数规约对Web服务进行形式化描述的基础上，首先对代数规约中每条公理等式进行浮动实例化和可观察化处理，生成一组可检查浮动测试用例；然后针对每个可检查浮动...; 刘冬梅何娟娟杜益宁朱鸿吴献张鑫周子健

基于代数规约的Web服务测试执行方法: 本发明公开了一种基于代数规约的Web服务测试执行方法，在使用单线测试技术生成Web服务测试序列的基础上，首先对测试序列进行解析，生成待测操作序列；然后依次执行序列中的每个待测操作，若待测操作类型是服务请求，则调用相应远程...; 杜益宁刘冬梅郑小宇周子健邱玫媚朱鸿

基于单线代数规约的微服务测试预言技术研究: 随着微服务架构的广泛应用，微服务质量得到了越来越多的关注，以规约为基础的软件测试技术是保证服务质量的一种有效途径。作为一种高度抽象、独立于实现细节的形式化规约技术，代数规约通过构造等式公理在一定程度上缓解了测试预言问题，...; 杜益宁; 关键词：自适应调度

一种基于代数规约的面向服务集成方法: 2019年; 面向服务集成是应用SOA思想实现软件重用的重要基础。目前以黑盒和白盒为主的面向服务集成方法都有它们的局限性:白盒方法侵入系统内部,侵入系统后稳定性方面存在问题,而黑盒方法虽然避免了侵入系统内部,但会增加系统维护和管理工作。因此论文提出一种基于代数规约的面向服务集成灰盒方法,该方法首先通过代数规约技术描述的类子模型和数据流分析对系统进行理解与分析,其次应用改进的聚类分析算法获取服务的架构信息并识别相关模块,然后应用服务封装技术封装服务,最终通过实际的应用案例验证了论文方法的有效性。; 兰斌刘冬梅陈颖何娟娟; 关键词：WEB服务代数规约聚类分析

基于代数规约的Web服务单线测试用例生成方法: 本发明公开了一种基于代数规约的Web服务单线测试用例生成方法，在使用代数规约对Web服务进行形式化描述的基础上，首先对代数规约中每条公理等式进行浮动实例化和可观察化处理，生成一组可检查浮动测试用例；然后针对每个可检查浮动...; 何娟娟杜益宁刘冬梅朱鸿吴献张鑫周子健

服务组合的代数规约被引量：1: 2018年; 现有的服务组合描述途径不能有效地验证和测试组合正确性,针对这一问题,提出了一个代数规约方法,引入规约包机制扩展面向服务代数规约语言SOFIA以支持该方法。用代数规约单元描述服务系统中的各种实体,其中基调部分定义实体的语法和结构,公理部分定义其功能和行为特性。与一个服务相关的规约单元封装在一个包中或拆分在几个相互引用的包中,每个包形成一个命名空间。当多个服务组合在一起时,以这些服务的代数规约包为基础,一方面抽象地定义组合服务的交互过程和语义,形成描述服务组合实现方式的实现规约包;另一方面抽象地定义组合服务对外接口及其功能语义,形成描述组合服务需求的抽象规约包。在实现规约和抽象规约的双元结构基础上,进一步定义了实现规约和抽象规约之间必须满足的"实现"关系,证明了满足实现关系可以保证实现的正确性,从而为服务组合的可验证性和可测试性奠定了理论基础。最后结合实例分析阐述了用代数规约描述服务组合的抽象性、可表达性和可验证性。; 陈颖刘冬梅朱鸿兰斌何娟娟; 关键词：WEB服务代数规约形式化方法

基于代数规约的Web服务测试工具: 2018年; 代数规约是一种形式化的规约语言,有着高度自动化的执行过程和隐藏软件实现细节的两大优点.将代数规约运用于Web服务测试,开发了自动化测试工具ASBAT(Algebraic Specifications Based Automatic Testing),并利用该工具进行实验,展示了基于代数规约的自动化测试方法是简单可行的.; 刘宇欣王国民周秋霞; 关键词：代数规约 WEB服务测试测试自动化

基于代数规约的Web服务自动测试执行引擎被引量：4: 2018年; 随着面向服务计算的迅速发展,Web服务测试扮演着越来越重要的角色,尤其是在Web服务动态发现和组合的过程中,通过对第三方提供的服务进行自动测试已成为一个研究热点。近年来,从Web服务的形式化代数规约自动生成测试用例和自动检验测试结果的正确性等方面的研究都取得了实质性进展。但是,由于Web服务接口的多样性,服务调用方式不一致,如何将测试用例自动地转换成对第三方Web服务的测试性调用请求是一个尚未解决的技术难点,已成为完成Web服务自动测试的主要障碍之一。以现有的研究工作为基础,在分析主流Web服务接口的基础上定义了通用的服务调用机制,提出一个通用的面向Web服务的测试执行引擎框架,以支持包括WSDL/SOAP为基础的Web服务和RESTful Web服务的自动测试执行过程,并将线性测试调用序列并行化,自动生成并发测试脚本,以提高测试执行效率。实验结果表明提出的测试执行引擎框架是可行的,且可高效地自动完成并行化的测试序列。; 张鑫刘冬梅朱鸿陈颖兰斌孙玉虎; 关键词：代数规约 WEB服务

基于代数规约的Web服务测试用例生成技术研究: 测试用例自动生成是实现Web服务自动化测试的关键，基于代数规约的传统测试技术均依赖于创建、初始化和复制被测对象等操作来验证测试结果的正确性，但第三方Web服务并不支持这些操作，无法保证将测试用例转换成可执行操作序列。一种...; 何娟娟; 关键词：WEB服务代数规约

相关作者