代数规约相关论文
随着区块链和智能合约技术的广泛运用,越来越多的数字资产、隐私信息等敏感数据被存储到区块链上,因此区块链应用中的安全漏洞可能......
随着微服务架构的广泛应用,微服务质量得到了越来越多的关注,以规约为基础的软件测试技术是保证服务质量的一种有效途径。作为一种......
近年来,以Web服务为基本构件的面向服务计算(SOC)得到越来越广泛的关注,将发布的单个服务组合成更强大更可靠的系统能够进一步发挥......
测试用例自动生成是实现Web服务自动化测试的关键,基于代数规约的传统测试技术均依赖于创建、初始化和复制被测对象等操作来验证测......
针对谓词/变迁网缺乏有效的形式化验证分析技术,基于代数规约测试谓词/变迁网方法,给出谓词/变迁网转换成代数规约语言CASOCC-WS表......
在函数式语言中引入约束类型和优化规则定义机制，并将扩展的函数式语言与代数规约说明语言相结合，支持从规约到程序的设计，并提高编程......
总体设计作为引导企业ＣＩＭＳ建设的总纲和蓝图，其设计质量直接关系到ＣＩＭＳ建设的成败，以及未来企业的运行效率。面向用户的ＣＩＭＳ的总体设计模型体系（ＵＭＳＣＯＤ）为......
在应用基于代数规约测试类时,虽然可以有效解决测试数据生成和测试结果判断这两个测试难题,但是,因为该方法常常随机生成测试数据,......
代数规约是一种形式化的规约语言,有着高度自动化的执行过程和隐藏软件实现细节的两大优点.将代数规约运用于Web服务测试,开发了自......
针对应用规约自动测试BPEL表示组合服务时需要解决BPEL服务的规约生成问题，提出了一种从BPMN模型导出BPEL规范定义的组合Web服务的......
随着面向服务计算的迅速发展, Web服务测试扮演着越来越重要的角色, 尤其是在Web服务动态发现和组合的过程中, 通过对第三方提供的......
测试用例自动生成是实现Web服务自动化测试的关键,基于代数规约的传统测试技术均依赖于创建、初始化和复制被测对象等操作来验证测......
面向服务集成是应用SOA思想实现软件重用的重要基础。目前以黑盒和白盒为主的面向服务集成方法都有它们的局限性:白盒方法侵入系统......
针对自动测试Web服务，提出基于代数规约测试Web服务的方法，包括描述Web服务的代数规约语言ASOWS。基于Web服务的代数规约，采用方法覆......
本文首先阐述了利用ＤＦＡ模型技术进行状态转换系统描述存在的主要问题，提出了利用代数规约技术解决这些问题的可行性，然后介绍了新一代具......
现有的服务组合描述途径不能有效地验证和测试组合正确性,针对这一问题,提出了一个代数规约方法,引入规约包机制扩展面向服务代数......
随着万维网和移动计算技术的广泛应用,系统安全性得到了越来越多的关注,使用安全模式对系统安全解决方案进行设计并验证是提升系统......
