{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,10]],"date-time":"2026-06-10T16:45:20Z","timestamp":1781109920108,"version":"3.54.1"},"reference-count":29,"publisher":"IGI Global Scientific Publishing","issue":"2","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014,4,1]]},"abstract":"<p>This paper proposes a conformance testing method combining two well-known testing approaches, runtime verification and passive testing. Runtime verification addresses the monitoring of a system under test to check whether formal properties hold, while passive testing aims at checking the conformance of the system in the long-term. The method, proposed in this paper, checks whether an implementation conforms to its specification with reference to the ioco test relation. While passively checking if ioco holds, it also checks whether the implementation meets safety properties, which informally state that \u201cnothing bad ever happens\u201d. This paper also tackles the trace extraction problem, which is common to both runtime verification and passive testing. The authors define the notion of Proxy-monitors for collecting traces even when the implementation environment access rights are restricted. Then, they apply and specialise this approach on Web service compositions. A Web service composition deployed in different Clouds is experimented to assess the feasibility of the method.<\/p>","DOI":"10.4018\/ijsi.2014040102","type":"journal-article","created":{"date-parts":[[2014,12,8]],"date-time":"2014-12-08T14:23:29Z","timestamp":1418048609000},"page":"20-42","source":"Crossref","is-referenced-by-count":0,"title":["Proxy-Monitor"],"prefix":"10.4018","volume":"2","author":[{"given":"S\u00e9bastien","family":"Salva","sequence":"first","affiliation":[{"name":"Clermont-Ferrand University, Aubi\u00e8re, France"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Tien-Dung","family":"Cao","sequence":"additional","affiliation":[{"name":"School of Engineering, Tan Tao University, Long An, Vietnam"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"2432","reference":[{"key":"ijsi.2014040102-0","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-30232-2_10"},{"key":"ijsi.2014040102-1","doi-asserted-by":"crossref","unstructured":"Andres, C., Cambronero, M., & Nunez, M. (2011). Passive testing of web services. In Bravetti M. & Bultan, T., (Ed.), Web Services and Formal Methods, Vol 6551, Lecture Notes in Computer Science, (pp 56\u201370). Springer Berlin \/ Heidelberg.","DOI":"10.1007\/978-3-642-19589-1_4"},{"key":"ijsi.2014040102-2","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2004.11.007"},{"key":"ijsi.2014040102-3","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-77395-5_9"},{"key":"ijsi.2014040102-4","first-page":"44","article-title":"Rule based runtime verification","volume":"Vol. 2937","author":"H.Barringer","year":"2004","journal-title":"VMCAI"},{"key":"ijsi.2014040102-5","doi-asserted-by":"publisher","DOI":"10.1016\/j.comnet.2004.09.009"},{"key":"ijsi.2014040102-6","author":"A.Cavalli","year":"2009","journal-title":"A Passive Testing Approach for Security Checking and its Practical Usage for Web Services Monitoring"},{"key":"ijsi.2014040102-7","unstructured":"Che, X., Lalanne, F., & Maag, S. (2012). A logic-based passive testing approach for the validation of communicating protocols. In ENASE 2012 \u2013 Proceedings of the 7th International Conference on Evaluation of Novel Approaches to Software Engineering, Wroclaw, Poland, (pp 53\u201364)."},{"key":"ijsi.2014040102-8","doi-asserted-by":"publisher","DOI":"10.1145\/586139.586142"},{"key":"ijsi.2014040102-9","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2007.70707"},{"key":"ijsi.2014040102-10","doi-asserted-by":"crossref","unstructured":"D\u2019Amorim, M., & Havelund, K. (2005). Event-based runtime verification of java programs. In the 3rd international workshop on Dynamic analysis, (pp 1\u20137), ACM Press.","DOI":"10.1145\/1082983.1083249"},{"key":"ijsi.2014040102-11","doi-asserted-by":"crossref","unstructured":"D\u2019Angelo, B., Sankaranarayanan, S., Sanchez, C., Robinson, W., Finkbeiner, B., Sipma, H. B., et al. (2005). Lola: Runtime monitoring of synchronous systems. In the 12th International Symposium on Temporal Representation and Reasoning, (pp 166\u2013174), IEEE Computer Society.","DOI":"10.1109\/TIME.2005.26"},{"key":"ijsi.2014040102-12","article-title":"Runtime Verification of Component-Based Systems.","author":"Y.Falcone","year":"2011","journal-title":"9th International Conference on Software Engineering and Formal Methods"},{"key":"ijsi.2014040102-13","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-46002-0_24"},{"key":"ijsi.2014040102-14","doi-asserted-by":"crossref","unstructured":"J\u00e9ron, T., Marchand, H., & Rusu, V. (2006). Symbolic determinisation of extended automata. In Navarro, G., Bertossi, L. & Kohayakawa, Y., (Ed.), Fourth IFIP International Conference on Theoretical Computer Science, Vol 209, IFIP International Federation for Information Processing, (pp 197\u2013212). Springer US.","DOI":"10.1007\/978-0-387-34735-6_18"},{"key":"ijsi.2014040102-15","unstructured":"Jordan, D., & Evdemon, J. (2007). Web services business process execution language version 2.0. OASIS Standard, (pp 179-183). Retrieved from http:\/\/docs.oasis-open.org\/wsbpel\/2.0\/wsbpel-v2.0.pdf"},{"key":"ijsi.2014040102-16","unstructured":"Lalanne, F., Che, X., & Maag, S. (2011). Data-centric property formulation for passive testing of communication protocols. In Proceedings of the 13th IASME\/WSEAS, ACC\u201911\/MMACTEE\u201911, (pp 176\u2013181)."},{"key":"ijsi.2014040102-17","doi-asserted-by":"publisher","DOI":"10.1109\/TNET.2006.872572"},{"key":"ijsi.2014040102-18","doi-asserted-by":"publisher","DOI":"10.1016\/j.jlap.2008.08.004"},{"key":"ijsi.2014040102-19","doi-asserted-by":"publisher","DOI":"10.1109\/PCCC.2000.830329"},{"key":"ijsi.2014040102-20","first-page":"125","article-title":"Programming services with correlation sets","volume":"Vol. 7084","author":"F.Montesi","year":"2011","journal-title":"ICSOC"},{"key":"ijsi.2014040102-21","first-page":"334","article-title":"Synchronizing asynchronous conformance testing","author":"N.Noroozi","year":"2011","journal-title":"Proceedings of the 9th International Conference on Software Engineering and Formal Methods (SEFM'11)"},{"key":"ijsi.2014040102-22","unstructured":"Oasis. (2009). Web services reliable messaging (WS-ReliableMessaging). Retrieved from http:\/\/docs.oasis-open.org\/ws-rx\/wsrm\/200702"},{"key":"ijsi.2014040102-23","doi-asserted-by":"publisher","DOI":"10.1109\/RTSS.2008.43"},{"key":"ijsi.2014040102-24","author":"A.Petrenko","year":"2003","journal-title":"Testing transition systems with input and output testers. TESTERS, PROC TESTCOM 2003, SOPHIA ANTIPOLIS (pp. 129\u2014145)"},{"key":"ijsi.2014040102-25","volume":"Vol. 7","author":"S.Salva","year":"2012","journal-title":"Passive testing of symbolic systems. An ioco proxy-tester based approach. International Review on Computers and Software (IRECOS)"},{"key":"ijsi.2014040102-26","doi-asserted-by":"crossref","unstructured":"Salva, S. (2013), A Model-based testing approach combining passive testing and runtime verification. Application to Web service composition testing in Clouds, Research Report LIMOS\/RR-13-04.","DOI":"10.1007\/978-3-319-00948-3_7"},{"key":"ijsi.2014040102-27","doi-asserted-by":"publisher","DOI":"10.1145\/353323.353382"},{"key":"ijsi.2014040102-28","unstructured":"Tretmans, J. (1996) Test generation with inputs, outputs and repetitive quiescence. Software - Concepts and Tools, 17(3), 103\u2013120."}],"container-title":["International Journal of Software Innovation"],"original-title":[],"language":"ng","link":[{"URL":"https:\/\/www.igi-global.com\/viewtitle.aspx?TitleId=119988","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,6,1]],"date-time":"2022-06-01T11:49:27Z","timestamp":1654084167000},"score":1,"resource":{"primary":{"URL":"https:\/\/services.igi-global.com\/resolvedoi\/resolve.aspx?doi=10.4018\/ijsi.2014040102"}},"subtitle":["An Integration of Runtime Verification with Passive Conformance Testing"],"short-title":[],"issued":{"date-parts":[[2014,4,1]]},"references-count":29,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2014,4]]}},"URL":"https:\/\/doi.org\/10.4018\/ijsi.2014040102","relation":{},"ISSN":["2166-7160","2166-7179"],"issn-type":[{"value":"2166-7160","type":"print"},{"value":"2166-7179","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014,4,1]]}}}