搜索筛选:
搜索耗时0.0761秒,为你在为你在102,285,761篇论文里面共找到 3 篇相符的论文内容
发布年度:
[学位论文] 作者：杜益宁,
来源：南京理工大学 年份：2020
随着微服务架构的广泛应用,微服务质量得到了越来越多的关注,以规约为基础的软件测试技术是保证服务质量的一种有效途径。作为一种高度抽象、独立于实现细节的形式化规约技术,代数规约通过构造等式公理在一定程度上缓解了测试预言问题,但微服务复杂的依赖关系以......
[期刊论文] 作者：何娟娟,刘冬梅,朱鸿,杜益宁,周子健,郑小宇,
来源：计算机工程与科学 年份：2019
测试用例自动生成是实现Web服务自动化测试的关键,基于代数规约的传统测试技术均依赖于创建、初始化和复制被测对象等操作来验证测试结果的正确性,但第三方Web服务并不支持这...
[期刊论文] 作者：郑小宇,刘冬梅,杜益宁,周子健,邱玫媚,朱鸿,
来源：计算机工程与科学 年份：2020
随着万维网和移动计算技术的广泛应用,系统安全性得到了越来越多的关注,使用安全模式对系统安全解决方案进行设计并验证是提升系统安全性的一种有效途径。现有方法根据系统安...
相关搜索：
