代数规约相关论文
随着区块链和智能合约技术的广泛运用,越来越多的数字资产、隐私信息等敏感数据被存储到区块链上,因此区块链应用中的安全漏洞可能......
随着微服务架构的广泛应用,微服务质量得到了越来越多的关注,以规约为基础的软件测试技术是保证服务质量的一种有效途径。作为一种......
近年来,以Web服务为基本构件的面向服务计算(SOC)得到越来越广泛的关注,将发布的单个服务组合成更强大更可靠的系统能够进一步发挥......
测试用例自动生成是实现Web服务自动化测试的关键,基于代数规约的传统测试技术均依赖于创建、初始化和复制被测对象等操作来验证测......
