A survey on formal active and passive testing with applications to the cloud
详细信息    查看全文
  • 作者：Ana R. Cavalli (1)
    Teruo Higashino (2)
    Manuel N煤帽ez (3)

    1. T茅l茅com SudParis     ; 9 Rue Charles Fourier ; 91000 ; Evry ; France
    2. Graduate School of Information Science and Technology     ; Osaka University ; Osaka ; Japan
    3. Departamento de Sistemas Inform谩ticos y Computaci贸n     ; Universidad Complutense de Madrid ; Madrid ; Spain
  • 刊名：Annals of Telecommunications
  • 出版年：2015
  • 出版时间：April 2015
  • 年：2015
  • 卷：70
  • 期：3-4
  • 页码：85-93
  • 全文大小：231 KB
  • 参考文献：1. Alcalde B, Cavalli A, Chen D, Khuu D, Lee D (2004) Network protocol system passive testing for fault management: A backward checking approach. In: Proceedings of 24th IFIP Int. Conf. on Formal Techniques for Networked and Distributed Systems (FORTE鈥?4), Lecture Notes in Computer Science, vol. 3235. Springer, Berlin, pp 150鈥?66
    2. Alur, R, Dill, D (1994) A theory of timed automata. Theor Comput Sci 126: pp. 183-235 CrossRef
    3. Andr茅s C, Cambronero M, Nu帽ez M (2010) Formal passive testing of service-oriented systems. In: Proceedings of 2010 IEEE Int. Conf. on Services Computing (SCC 2010), pp 610-613
    4. Andr茅s C, Merayo M, N煤帽ez M (2008) Passive testing of timed systems. In: Proceedings of 6th Int. Symp. on Automated Technology for Verification and Analysis (ATVA 2008), Lecture Notes in Computer Science, vol.5311. Springer, Berlin, pp 418鈥?27
    5. Andr茅s, C, Merayo, MG, N煤帽ez, M (2012) Formal passive testing of timed systems: Theory and tools. Softw Test Verification Reliab 22: pp. 365-405 CrossRef
    6. Arnedo JA, Cavalli A, N煤帽ez M (2003) Fast testing of critical properties through passive testing. In: Proceedings of 15th IFIP Int. Conf. on Testing of Communicating Systems (TestCom 2003), Lecture Notes in Computer Science, vol. 2644. Springer, Berlin, pp 295鈥?10
    7. Banzai T, Koizumi H, Kanbayashi R, Imada T, Hanawa T, Sato M (2010) D-cloud: Design of a software testing environment for reliable distributed systems using cloud computing technology. In: Proceedings of 10th IEEE/ACM Int. Conf.on Cluster,Cloud and Grid Computing (CCGrid鈥?0), pp 631鈥?36
    8. Bayse, E, Cavalli, A, Nez, MN, Za茂di, F (2005) A passive testing approach based on invariants: Application to the wap. Comput Netw 48: pp. 247-266 CrossRef
    9. Bellard F (2005) Qemu, a fast and portable dynamic translator, a fast and portable dynamic translator. In: Proceedings of 2005 USENIX Annual Technical Conference (ATEC 鈥?5), pp 41 41. USENIX Association
    10. Benharref A, Dssouli R, Serhani M, En-Nouaary A, Glitho R (2007) New approach for efsm-based passive testing of web services. In: Proceedings of 19th IFIP Int. Conf. on Testing of Software and Communicating Systems (TestCom 2007),Lecture Notes in Computer Science, vol. 4581. Springer, Berlin, pp 13鈥?7
    11. http://bro-ids.org/ 2014
    12. Buyya R, Ranjan R, Calheiros RN (2009) Modeling and simulation of scalable cloud computing environments and the CloudSim toolkit: Challenges and opportunities. In: Proceedings of 7th IEEE Int. Conf. High Performance Computing and Simulation (HPCS鈥?9), pp 1鈥?1
    13. Cacciari, L, Rafiq, O (1999) Controllability and observability in distributed testing. Inf Softw Technol 41: pp. 767-780 CrossRef
    14. Casanova H, Legrand A, Quinson M (2008) SimGrid: a generic framework for large-scale distributed experiments. In: Proceedings of 10th Int. Conf. on Computer Modeling and Simulation (UKSIM鈥?8), pp 126鈥?31
    15. Cavalli, A, Gervy, C, Prokopenko, S (2003) New approaches for passive testing using an extended finite state machine specification. Inf Softw Technol 45: pp. 837-852 CrossRef
    16. Cavalli A, Grepet C, Maag S, Tortajada V (2004) A validation model for the dsr protocol. In: Proceedings of IEEE Int. Workshop on Wireless Ad Hoc Networking (WWAN鈥?4), pp 768鈥?73
    17. Chan W, Mei L, Zhang Z (2009) Modeling and testing of cloud applications. In: Proceedings of 4th IEEE Int. Conf. on Asia-Pacific Services Computing (APSCC鈥?9), pp 111鈥?18
    18. Chow, TS (1978) Test design modeled by finite-state machines. IEEE Trans Softw Eng 4: pp. 178-187 CrossRef
    19. Corwin, EH (2011) Deep packet inspection: Shaping the internet and the implications on privacy and security. Inf Secur J A Glob Perspect 20: pp. 311-316 CrossRef
    20. Dorofeeva M, El-Fakih K, Yevtushenko N (2005) An improved conformance testing method. In: Proceedings of 25th IFIP Int. Conf. on Formal Techniques for Networked and Distributed Systems (FORTE鈥?5). Springer, Berlin, pp 363鈥?78
    21. Dorofeeva, R, El-Fakih, K, Maag, S, Cavalli, AR, Yevtushenko, N (2010) Fsm-based conformance testing methods: A survey annotated with experimental evaluation. Inf Softw Technol 52: pp. 1286-1297 CrossRef
    22. Duale, AY, Uyar, MU (2004) A method enabling feasible conformance test sequence generation for efsm models. IEEE Trans Comput 53: pp. 614-627 CrossRef
    23. El-Fakih, K, Yevtushenko, Nv, Bochmann, G (2004) Fsm-based incremental conformance testing methods. IEEE Trans Softw Eng 30: pp. 425-436 CrossRef
    24. En-Nouaary A, Dssoul R, Khendek F, Elqortobi A (1998) Timed test cases generation based on state characterization technique. In: Proceedings of 19th IEEE Real-Time System Sympsium (RTSS鈥?8), pp 220鈥?29, IEEE
    25. Fujiwara, Sv, Bochmann, G, Khendek, F, Amalou, M, Ghedamsi, A (1991) Test selection based on finite state models. IEEE Trans Softw Eng 17: pp. 591-603 CrossRef
    26. Garc铆a-Guirado A, Fern谩ndez-Pascual R, Garc铆a JM (2009) Virtual-GEMS: an infrastructure to simulate virtual machines. In: Proceedings of 5th annual workshop on modeling, benchmarking and simulation (MoBS鈥?9), pp 1鈥?0
    27. http://www.gnu.org/software/gdb/ 2014
    28. Gonenc, G (1970) A method for the design of fault detection experiments. IEEE Trans Comput C-19: pp. 551-558 CrossRef
    29. Hall茅 S, Villemaire R (2009) Runtime monitoring of web service choreographies using streaming xml. In: 2009 ACM Symposium on Applied Computing,SAC鈥?9, pp 2118鈥?125
    30. Hierons R, Merayo M, N煤帽ez M (2013) Passive testing with asynchronous communications. In: Proceedings of 33rd IFIP Int. Conf. on Formal Techniques for Distributed Systems (FORTE鈥?3), Lecture Notes in Computer Science, vol. 7892. Springer, Berlin, pp 99鈥?13
    31. Hierons, RM (2012) Oracles for distributed testing. IEEE Trans Softw Eng 38: pp. 629-641 CrossRef
    32. Hierons, RM, Merayo, MG, N煤帽ez, M (2012) Implementation relations and test generation for systems with distributed interfaces. Distrib Comput 25: pp. 35-62 CrossRef
    33. Higashino, Tv, Bochmann, G (1994) Automatic analysis and test case derivation for a restricted class of lotos expressions with data parameters. IEEE Trans Softw Eng 20: pp. 29-42 CrossRef
    34. Higashino T, Nakata A, Taniguchi K, Cavalli AR (1999) Generating test cases for a timed i/o automaton model. In: Proceedings of 12th IFIP Int. Workshop on Testing of Communicating Systems (IWTCS鈥?9). Springer, Berlin, pp 197鈥?14
    35. Hiromori A, Umedu T, Yamaguchi H, Higashino T (2012) Protocol testing and performance evaluation for manets with non-uniform node density distribution. In: Proceedings of 24th IFIP Int. Conf. on Testing Software and Systems (ICTSS 2012). Springer, Berlin, pp 231鈥?46
    36. Jard C, J茅ron T, Kahlouche H, Viho C (1998) Towards automatic distribution of testers for distributed conformance testing. In: Proceedings of Int. Conf. on Formal Description Techniques and Protocol Specification, Testing and Verification (FORTE鈥?8/PSTV鈥?8). Kluwer Academic Publishers, Norwell, pp 353鈥?68
    37. Joshi, P, Gunawi, H, Sen, K (2011) PREFAIL: a programmable tool for multiple-failure injection. ACM SIGPLAN Not 46: pp. 171-188 CrossRef
    38. Kliazovich, D, Khan, PB (2012) GreenCloud: a packet-level simulator of energy-aware cloud computing data centers. J Supercomput 62: pp. 1263-1283 CrossRef
    39. Ladani B, Alcalde B, Cavalli A (2005) Passive testing: A constrained invariant checking approach. In: Proceedings of 17th IFIP Int. Conf. on Testing of Communicating Systems (TestCom 2005), Lecture Notes in Computer Science, vol.3502. Springer, Berlin, pp 9鈥?2
    40. Lai, R (2002) A survey of communication protocol testing. J Syst Softw 62: pp. 21-46 CrossRef
    41. Lalanne, F, Maag, S (2013) A formal data-centric approach for passive testing of communication protocols. IEEE/ACM Trans Netw 21: pp. 788-801 CrossRef
    42. Lee D, Chen D, Hao R, Miller R, Wu J, Yin X (2002) A formal approach for passive testing of protocol data portions. In: Proceedings of 10th IEEE Int. Conf. on Network Protocols (ICNP 2002), pp 122鈥?31
    43. Lee, D, Chen, D, Hao, R, Miller, R, Wu, J, Yin, X (2006) Network protocol system monitoring-a formal approach with passive testing. IEEE/ACM Trans Netw 14: pp. 424-437 CrossRef
    44. Lee D, Netravali A, Sabnani K, Sugla B, John A (1997) Passive testing and applications to network management. In: Proceedings of 5th IEEE Int. Conf. on Network Protocols (ICNP鈥?7), pp 113鈥?22
    45. Lee, D, Yannakakis, M (1996) Principles and methods of testing finite state machines-a survey. Proc IEEE 84: pp. 1090-1123 CrossRef
    46. Leucker, M, Schallhart, C (2009) A brief account of runtime verification. J Logic Algebraic Program 78: pp. 293-303 CrossRef
    47. Li X, Higashino T, Higuchi M, Taniguchi K (1994) Automatic generation of extended uio sequences for communication protocols in an efsm model. In: Proceedings of 7th IFIP Int. Workshop on Protocol Test Systems (IWPTS鈥?4). Springer, Berlin, pp 225鈥?40
    48. Luo G, Dssouli R, Bochmann Gv (1993) Generating synchronizable test sequences based on finite state machine with distributed ports. In: Proceedings of 6th IFIP Int. Workshop on Protocol Test Systems (IWPTS鈥?3), pp 139鈥?53. North-Holland
    49. Maag S, Zaidi F (2006) Testing methodology for an ad hoc routing protocol. In: Proceedings of 2006 ACM Int. Workshop on Performance Monitoring,Measurement, and Evaluation of Heterogeneous Wireless and Wired Networks, pp 48鈥?5
    50. Mammar A, Cavalli A, Jimenez W, Mallouli W, Montes E (2011) Using testing techniques for vulnerability detection in c programs. In: Proceedings of 23rd IFIP Int. Conf. on Testing Software and Systems (ICTSS鈥?1), Lecture Notes in Computer Science, vol. 7019. Springer, Berlin, pp 80鈥?6
    51. Mehrotra N (2010) Cloud-testing vs. testing a cloud. In: Proceedings 10th Int. Software Testing Conf., pp 1鈥?
    52. Mell P, Scarfone K (2007) Guide to intrusion detection and prevention systems (IDPS). http://csrc.nist.gov/publications/nistpubs/800-94/SP800-94.pdf
    53. Miller R (1998) Passive testing of networks using a cfsm specification. In: Proceedings of 1998 IEEE Int. Conf. on Performance Computing and Communications (IPCCC 鈥?8), pp 111鈥?16
    54. Miller R, Arisha K (2000) On fault location in networks by passive testing. In: Proceedings of 2000 IEEE Int. Conf. on Performance, Computing, Communications (IPCCC 鈥?0), pp 281鈥?87
    55. Miller R, Arisha K (2001) Fault identification in networks by passive testing. In: Proceedings of 34th Simulation Symp., pp 277鈥?84
    56. Morales G, Maag S, Cavalli A, Mallouli W, Montes E, Wehbi B (2010) Timed extended invariants for the passive testing of web services. In: Proceedings of 2010 IEEE Int. Conf. on Web Services (ICWS 2010), pp 592鈥?99
    57. Mouttappa P, Maag S, Cavalli A (2012) An iosts based passive testing approach for the validation of data-centric protocols. In: Proceedings of 12th Int. Conf. on Quality Software (QSIC 2012), pp 49鈥?8
    58. Mouttappa P, Maag S, Cavalli A (2013) Monitoring based on iosts for testing functional and security properties: Application to an automotive case study. In: Proceedings of 37th IEEE Int. Conf. on Computer Software and Applications (COMPSAC 鈥?3), pp 1鈥?0
    59. Mouttappa, P, Maag, S, Cavalli, A (2013) Using passive testing based on symbolic execution and slicing techniques: Application to the validation of communication protocols. Comput Netw 57: pp. 2992-3008 CrossRef
    60. Nguyen H, Poizat P, Zaidi F (2012) Online verification of value-passing choreographies through property-oriented passive testing. In: Proceedings of 14th IEEE Int. Symp. on High-Assurance Systems Engineering (HASE 2012), pp 106鈥?13
    61. N煤帽ez, A, Vazquez-Polett铆, JL, Caminero, AC, Casta帽茅, GG, Carretero, J, Llorente, IM (2012) iCanCloud: a flexible and scalable cloud infrastructure simulator. J Grid Comput 10: pp. 185-209 CrossRef
    62. Petrenko A, Yevtushenko N, Lebedev A, Das A (1993) Nondeterministic state machines in protocol conformance testing. In: Proceedings of 6th IFIP Int. Workshop on Protocol Test Systems (IWPTS鈥?3), pp 363鈥?78.North-Holland
    63. Rafiq, O, Cacciari, L (2003) Coordination algorithm for distributed testing. J Supercomput 24: pp. 203-211 CrossRef
    64. Richters M, Gogolla M (2003) Aspect-oriented monitoring of UML and OCL constraints. In: 4th Int. Workshop on Aspect-Oriented Modeling with UML on 6th Int. Conf. on the Unified Modeling Language (UML鈥?3)
    65. Rumbaugh, J, Blaha, M, Premerlani, W, Eddy, F, Lorensen, WE (1991) Object-oriented modeling and design. Prentice-Hall Englewood Cliffs, NJ
    66. Cheung SC, STC, Xu Z (2001) Toward generic timing tests for distributed multimedia software systems. In: Proceedings of 12th, I E E E Int. Symp. on Software Reliability Engineering (ISSRE鈥?1), pp 210鈥?20
    67. Sabnani, K, Dahbura, A (1988) A protocol test generation procedure. Comput Netw ISDN Syst 15: pp. 285-297 CrossRef
    68. Shin, KS, Jung, JH, Cheon, JY, Choi, SB (2007) Real-time network monitoring scheme based on SNMP for dynamic information. J Netw Comput Appl 30: pp. 331-353 CrossRef
    69. Sidhu, DP, Leung, TK (1989) Formal methods for protocol testing: A detailed study. IEEE Trans Softw Eng 15: pp. 413-426 CrossRef
    70. Simmonds J (2011) Dynamic analysis of web services.Ph.D. thesis, University of Toronto
    71. http://www.snort.org/ 2015
    72. Springintveld, J, Vaandrager, F, D鈥橝rgenio, PR (2001) Testing timed automata. Theor Comput Sci 254: pp. 225-257 CrossRef
    73. Sun T, Yasumoto K, Mori M, Higashino T (2003) Qos functional testing for multi-media systems. In: Proceedings of 23rd IFIP Int. Conf. on Formal Techniques for Networked and Distributed Systems (FORTE鈥?3). Springer, Berlin, pp 319鈥?34
    74. Tabourier, M, Cavalli, A (1999) Passive testing and application to the gsm-map protocol. Inf Softw Technol 41: pp. 813-821 CrossRef
    75. Ural, H, Williams, C (2006) Constructing checking sequences for distributed testing. Form Asp Comput 18: pp. 84-101 CrossRef
    76. Ural H, Xu Z (2007) An efsm-based passive fault detection approach. In: Proceedings of 19th IFIP Int. Conf. on Testing of Software and Communicating Systems (TestCom2007),Lecture Notes in Computer Science, vol 4581. Springer, Berlin, pp 335鈥?50
    77. Ural H, Xu Z, Zhang F (2007) An improved approach to passive testing of fsm-based systems. In: Proceedings of 2nd IEEE Int. Workshop on Automation of Software Test (AST 鈥?7), p 6
    78. Misic V, STC, Cheung SC (1998) Towards a framework for testing distributed multimedia software systems. In: Proceedings of 1998 IEEE Int. Symp. on Software Engineering for Parallel and Distributed Systems (PDSE鈥?8), pp 72 81
    79. http://valgrind.org/ 2014
    80. Vuong ST, Chan W, Ito M (1989) The uiov-method for protocol test sequence generation. In: Proceedings of 2nd IFIP Int. Workshop on Protocol Test Systems (IWPTS鈥?9), pp 161鈥?75. North-Holland
    81. Wang CJ, Liu MT (1992) Axiomatic test sequence generation for extended finite state machines. In: Proceedings of 12th IEEE Int. Conf. on Distributed Computing Systems (ICDCS-12), pp 252鈥?59
    82. Wehbi B, Montes E, Bourdelles M (2012) Events-based security monitoring using mmt tool. In: Proceedings of 5th IEEE Int. Conf. on Software Testing,Verification and Validation (ICST2012), pp 860鈥?63
    83. Wu, J, Zhao, Y, Yin, X (2002) 22nd IFIP Int. Conf. on Formal Techniques for Networked and Distributed Systems (FORTE 2002). Springer, Berlin
    84. Xiaoping C, Lalanne F, Maag S (2012) A logic-based passive testing approach for the validation of communicating protocols. In: Proceedings of 7th Int. Conf. on Evaluation of Novel Approaches to Software Engineering (ENASE鈥?2), pp 53鈥?4
    85. Zeng W, Wang Y (2009) Design and implementation of server monitoring system based on snmp. In: Proceedings of 2009 Conf. on Artificial Intelligence (JCAI 鈥?9), pp 680鈥?82
    86. Zhao, Y, Yin, X, Wu, J (2003) Problems in the information dissemination of the internet routing. J Comput Sci Technol 18: pp. 139-152 CrossRef
  • 刊物类别：Engineering
  • 刊物主题：Engineering, general
    Electronic and Computer Engineering
  • 出版者：Springer Paris
  • ISSN：1958-9395
文摘
NGLC 2004-2010.National Geological Library of China All Rights Reserved.
Add:29 Xueyuan Rd,Haidian District,Beijing,PRC. Mail Add: 8324 mailbox 100083
For exchange or info please contact us via email.