.png){kind=icon}
返回
TEA-Cloud: A Formal Framework for Testing Cloud Computing Systems
.png){kind=icon}
OA
AI
DOI：10.1109/TR.2020.3011512.png)
.png){kind=icon}
.png){kind=icon}
分享.png){kind=icon}
收藏
摘要
En 中文
云系统的验证可能会因系统的大小、可以同时请求服务的用户数量以及用于给人使用专用机器的错觉的虚拟化而变得复杂。不幸的是，将传统的测试方法用于云系统是不可行的。本文提出了一个称为TEA-Cloud的框架，该框架将仿真与测试方法集成在一起，以验证云系统设计。测试适用于云的功能和非功能方面，例如性能和成本。该框架的目的是提供一种完整的方法，以帮助用户对云系统的软件和硬件部分进行建模，并使用具有成本效益的方法自动测试这些云的有效性。变形测试用于克服缺乏检查是否允许测试中观察到的行为的oracle。变质测试基于变质关系 (MRs)。我们定义了三个MRs系列，它们针对性能，资源配置和成本等问题。通过一项经验研究对茶云进行了评估，该研究使用了断层播种 (突变) 和十个MRs来测试不同的云配置。结果令人鼓舞，TEA-Cloud发现了所有播种的断层。
Keyword:
Cloud computing
Testing
Task analysis
Computational modeling
Software
Hardware
Computers
Cloud computing
metamorphic testing (MT)
mutation testing
simulation
AI总结
对已上传原文的论文进行重点信息的提取，主要内容包括：简要概述、研究摘要、背景介绍、关键亮点、图文解析、展望与总结。
期刊
IF:
5.7
论文数:
2.8K
被引数:
8.5K
机构
引用论文
Implementation relations and testing for cyclic systems with refusals and discrete time具有拒绝和离散时间的循环系统的实现关系和测试OAAI
.png){kind=icon}
OAAI分享收藏分享收藏分享收藏分享收藏分享收藏
查看更多内容