A survey on formal active and passive testing with applications to the cloud

被引：35
作者：
Cavalli, Ana R. [1 ]
Higashino, Teruo [2 ]
Nunez, Manuel [3 ]
机构：
[1] Telecom SudParis, F-91000 Evry, France
[2] Osaka Univ, Grad Sch Informat Sci & Technol, Osaka, Japan
[3] Univ Complutense Madrid, Dept Sistemas Informat & Comp, Madrid, Spain
来源：
ANNALS OF TELECOMMUNICATIONS | 2015年 / 70卷 / 3-4期
关键词：
TEST-GENERATION; INTERNET; SYSTEMS; DESIGN;
D O I：
10.1007/s12243-015-0457-8
中图分类号：
TN [电子技术、通信技术];
学科分类号：
0809 ;
摘要：
In this paper we review the main lines of work dealing with formal approaches to testing. This survey is divided into two main parts: active and passive testing. In addition, we overview some of the main approaches to testing (in) the cloud.
引用
收藏
页码：85 / 93
页数：9
相关论文
共 82 条
[1]  
Alcalde B, 2004, LECT NOTES COMPUT SC, V3235, P150
[2]   A THEORY OF TIMED AUTOMATA [J].
ALUR, R ;
DILL, DL .
THEORETICAL COMPUTER SCIENCE, 1994, 126 (02) :183-235
[3]  
Andres C., 2010, 2010 IEEE 7th International Conference on Services Computing (SCC 2010), P610, DOI 10.1109/SCC.2010.62
[4]   Formal passive testing of timed systems: theory and tools [J].
Andres, Cesar ;
Merayo, Mercedes G. ;
Nunez, Manuel .
SOFTWARE TESTING VERIFICATION & RELIABILITY, 2012, 22 (06) :365-405
[5]  
Andrés C, 2008, LECT NOTES COMPUT SC, V5311, P418, DOI 10.1007/978-3-540-88387-6_36
[6]  
[Anonymous], 2009, Mapas de anomalias de gravedad y magnetismo de Venezuela generados a partir de datos satelitales, DOI [10.1103/PhysRevB.79.125439, DOI 10.1103/PHYSREVB.79.125439]
[7]  
[Anonymous], P 7 INT WORKSH PROT
[8]  
[Anonymous], INT C HIGH PERF COMP
[9]  
Arnedo JA, 2003, LECT NOTES COMPUT SC, V2644, P295
[10]  
Banzai Takayuki., 2010, Proceedings of the 2010 10th IEEE/ACM International Conference on Cluster, Cloud and Grid Computing, P631, DOI [DOI 10.1109/CCGRID.2010.72, 10.1109/CCGRID. 2010.72]
123456789