Ver registro no DEDALUS
Exportar registro bibliográfico

Metrics


Metrics:

Complete IOCO test cases: a case study (2016)

  • Authors:
  • USP affiliated authors: SIMÃO, ADENILSO DA SILVA - ICMC
  • USP Schools: ICMC
  • DOI: 10.1145/2994291.2994297
  • Subjects: SISTEMAS DE INFORMAÇÃO; ENGENHARIA DE SOFTWARE
  • Keywords: Conformance testing; Input output conformance (IOCO); Complete input output conformance; Mealy input output transition systems; fault models
  • Language: Inglês
  • Imprenta:
  • Source:
    • Título do periódico: Proceedings
    • Volume/Número/Paginação/Ano: New York, NY : ACM, 2016
  • Conference titles: International Workshop on Automating Test Case Design, Selection, and Evaluation
  • Acesso online ao documento

    Online accessDOI or search this record in
    Informações sobre o DOI: 10.1145/2994291.2994297 (Fonte: oaDOI API)
    • Este periódico é de assinatura
    • Este artigo é de acesso aberto
    • URL de acesso aberto
    • Cor do Acesso Aberto: green
    Versões disponíveis em Acesso Aberto do: 10.1145/2994291.2994297 (Fonte: Unpaywall API)

    Título do periódico: Proceedings of the 7th International Workshop on Automating Test Case Design, Selection, and Evaluation - A-TEST 2016

    ISSN:

    • Melhor URL em Acesso Aberto:


    • Outras alternativas de URLs em Acesso Aberto:

    Exemplares físicos disponíveis nas Bibliotecas da USP
    BibliotecaCód. de barrasNúm. de chamada
    ICMC2796151-10PROD 2796151
    How to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas

    • ABNT

      PAIVA, Sofia Costa; SIMÃO, Adenilso da Silva; VARSHOSAZ, Mahsa; MOUSAVI, Mohammad Reza. Complete IOCO test cases: a case study. Anais.. New York, NY: ACM, 2016.Disponível em: DOI: 10.1145/2994291.2994297.
    • APA

      Paiva, S. C., Simão, A. da S., Varshosaz, M., & Mousavi, M. R. (2016). Complete IOCO test cases: a case study. In Proceedings. New York, NY: ACM. doi:10.1145/2994291.2994297
    • NLM

      Paiva SC, Simão A da S, Varshosaz M, Mousavi MR. Complete IOCO test cases: a case study [Internet]. Proceedings. 2016 ;Available from: http://dx.doi.org/10.1145/2994291.2994297
    • Vancouver

      Paiva SC, Simão A da S, Varshosaz M, Mousavi MR. Complete IOCO test cases: a case study [Internet]. Proceedings. 2016 ;Available from: http://dx.doi.org/10.1145/2994291.2994297

    Referências citadas na obra
    A. Belinfante. JTorX: A Tool for On-Line Model-Driven Test Derivation and Execution. In Proc. of TACAS’10, vol. 6015 of LNCS, pages 266–270. Springer, 2010.
    C. Braunstein, A. E.. Haxthausen, W.-l.. Huang, F. Hübner, J. Peleska, U. Schulze, and L. Vu Hong. Complete model-based equivalence class testing for the etcs ceiling speed monitor. In Proc. of SEFM, vol. 8829 of LNCS, pages 380–395. Springer, 2014.
    C. Braunstein, J. Peleska, U. Schulze, F. Hübner, W.-l.. Huang, A. E.. Haxthausen, and L. Vu Hong. A SysML test model and test suite for the ETCS ceiling speed monitor. Work Package 4 OETCS/WP4/CSM – 01/00, University of Bremen, 2014.
    M. Broy, B. Jonsson, J.-P. Katoen, M. Leucker, and A. Pretschner. Model-Based Testing of Reactive Systems. vol. 3472 of LNCS. Springer, 2005.
    T. S. Chow. Testing Software Design Modeled by Finite-State Machines. IEEE TSE, 4(3):178–187, 1978.
    S. Fujiwara, G. von Bochmann, F. Khendek, M. Amalou, and A. Ghedamsi. Test Selection Based on Finite State Models. IEEE TSE, 17(6):591–603, 1991.
    R. M. Hierons. Implementation Relations for Testing Through Asynchronous Channels. The Computer Journal, pages 107–122, 2012.
    R. M. Hierons, K. Bogdanov, J. P. Bowen, R. Cleaveland, J. Derrick, J. Dick, M. Gheorghe, M. Harman, K. Kapoor, P. Krause, G. Lüttgen, A. J. H. Simons, S. Vilkomir, M. R. Woodward, and H. Zedan. Using Formal Specifications to Support Testing. ACM Computing Surveys, 41(2):9:1–9:76, 2009.
    C. Jard and T. Jéron. TGV: Theory, Principles and Algorithms. STTT, 7(4):297–315, 2005.
    D. Lee and M. Yannakakis. Principles and methods of testing finite state machines - a survey. Proceedings of the IEEE, 84(8):1090–1123, 1996.
    S. Lity, R. Lachmann, M. Lochau, and I. Schaefer. Delta-oriented software product line test models - the body comfort system case study. Technical Report 2012-07, TU Braunschweig, 2013.
    N. Noroozi, R. Khosravi, M. Mousavi, and T. Willemse. Synchronizing Asynchronous Conformance Testing. In Proc. of SEFM’11, volume 7041 of LNCS, pages 334–349. Springer, 2011.
    S. C. Paiva and A. Simao. Generation of complete test suites from Mealy Input/Output Transition Systems. Formal Aspects of Computing, 28(1):65–78, 2016.
    J. Peleska, A. Honisch, F. Lapschies, H. Loding, H. Schmid, P. Smuda, E. Vorobev, and C. Zahlten. A real-world benchmark model for testing concurrent real-time systems in the automotive domain. In Proc. of ICTSS’11, vol. 1, pages 146–161, Springer, 2011.
    A. Simao and A. Petrenko. Checking Completeness of Tests for Finite State Machines. IEEE Transactions on Computers, 59(8):1023–1032, 2010.
    A. Simao and A. Petrenko. Generating Asynchronous Test Cases from Test Purposes. Information and Software Technology, 53(11):1252–1262, 2011.
    J. Tretmans. Model Based Testing with Labelled Transition Systems. In FORTEST ’08, vol. 4949 of LNCS, pp. 1–38, Springer, 2008.
    M. van der Bijl and F. Peureux. I/O-automata Based Testing. In Model-Based Testing of Reactive Systems, vol. 3472 of LNCS, pp. 173–200. Springer 2005.
    M. Weiglhofer and B. Aichernig. Unifying Input Output Conformance. vol. 5713 of LNCS, pp. 181–201. Springer, 2010.
    M. Weiglhofer and F. Wotawa. Asynchronous Input-Output Conformance Testing. In Proc. of COMPSAC’09, vol. 1, pp. 154–159, 2009.