Ver registro no DEDALUS
Exportar registro bibliográfico

Metrics


Metrics:

Test oracles for simulink-like models (2017)

  • Authors:
  • USP affiliated authors: DELAMARO, MÁRCIO EDUARDO - ICMC
  • USP Schools: ICMC
  • DOI: 10.1007/s10515-016-0207-9
  • Subjects: ENGENHARIA DE SOFTWARE; SISTEMAS DE INFORMAÇÃO
  • Keywords: Embedded software; Matlab/Simulink; Test oracle
  • Language: Inglês
  • Imprenta:
  • Source:
  • Acesso online ao documento

    Online accessDOI or search this record in
    Informações sobre o DOI: 10.1007/s10515-016-0207-9 (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.1007/s10515-016-0207-9 (Fonte: Unpaywall API)

    Título do periódico: Automated Software Engineering

    ISSN: 0928-8910,1573-7535



      Não possui versão em Acesso aberto
    Informações sobre o Citescore
  • Título: Automated Software Engineering

    ISSN: 0928-8910

    Citescore - 2017: 2.09

    SJR - 2017: 0.317

    SNIP - 2017: 1.53


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

    • ABNT

      BARESI, Luciano; DELAMARO, Márcio Eduardo; NARDI, Paulo Augusto. Test oracles for simulink-like models. Automated Software Engineering an International Journal, Cham, Springer, v. 24, n. Ju 2017, 2017. Disponível em: < http://dx.doi.org/10.1007/s10515-016-0207-9 > DOI: 10.1007/s10515-016-0207-9.
    • APA

      Baresi, L., Delamaro, M. E., & Nardi, P. A. (2017). Test oracles for simulink-like models. Automated Software Engineering an International Journal, 24( Ju 2017). doi:10.1007/s10515-016-0207-9
    • NLM

      Baresi L, Delamaro ME, Nardi PA. Test oracles for simulink-like models [Internet]. Automated Software Engineering an International Journal. 2017 ; 24( Ju 2017):Available from: http://dx.doi.org/10.1007/s10515-016-0207-9
    • Vancouver

      Baresi L, Delamaro ME, Nardi PA. Test oracles for simulink-like models [Internet]. Automated Software Engineering an International Journal. 2017 ; 24( Ju 2017):Available from: http://dx.doi.org/10.1007/s10515-016-0207-9

    Referências citadas na obra
    Aichernig, B.: Automated black-box testing with abstract VDM oracle. In: Proceedings of the 18th International Conference Computer Safety, Reliability and Security, Lecture Notes in Computer Science 1698, pp. 250–259. Springer, New York (1999)
    Alligood, K., Sauer, T., Yorke, J.: Chaos: An Introduction to Dynamical Systems. Springer, New York (2000)
    Andrews, J., Zhang, Y.: General test result checking with log file analysis. IEEE Trans. Softw. Eng. 29(7), 634–648 (2003)
    Araujo, R., Vincenzi, A., Delebecque, F., Maldonado, J., Delamaro, M.: Devising mutant operators for dynamic systems models by applying the HAZOP study. In: Proceeding of the Sixth International Conference on Software Engineering Advances, IARIA, pp. 58–64 (2011)
    Bagge, A., Haveraaen, M.: Axiom-based transformations: optimisation and testing. Electron. Notes Theor. Comput. Sci. 238(5), 17–33 (2009)
    Baresi, L., Young, M.: Test oracles. Technical report, University of Oregon (USA) (2001)
    Baresi, L., Bianculli, D., Guinea, S., Spoletini, P.: Keep It small, keep it real: efficient run-time verification of web service compositions. In: Proceedings of the IFIP Joint International Conference on Formal Techniques for Distributed Systems (29th FORTE / 11th FMOODS), Lecture Notes in Computer Science 5522, pp. 26–40. Springer, New York (2009)
    Blackburn, M., Busser, R.: T-Vec: a tool for developing critical systems. In: IEEE Proceedings of the Eleventh Annual Conference on Computer Assurance, pp. 237–249 (1996)
    Boden, L., Busser, R., Blackburn, M., Nauman, A.: Extending Simulink models with natural relations to improve automated model-based testing. In: IEEE Proceedings of the 29th Annual IEEE/NASA Software Engineering Workshop, pp. 325–332 (2005)
    Bogdanich, W.: FDA Toughens Process for Radiation Equipment. The New York Times, New York (2010)
    Branco, K., Pelizzoni, J., Oliveira Neris, L., Trindade, O., Osorio, F., Wolf, D.: Tiriba—a new approach of UAV based on model driven development and multiprocessors. In: IEEE Proceedings of the International Conference on Robotics and Automation, pp. 1–4 (2011)
    Brown, D., Roggio, R., Cross, J., McCreary, C.: An automated oracle for software testing. IEEE Trans. Reliab. 41(2), 272–280 (1992)
    Denil, J., Kashif, H., Arafa, P., Vangheluwe: Instrumentation and preservation of extra-functional properties of Simulink models. In: Proceedings of the Symposium on Theory of Modeling and Simulation. Society for Computer Simulation International, pp. 47–54 (2015)
    Dwyer, M., Avrunin, G., Corbett, J.: Patterns in property specifications for finite-state verification. In: Proceedings of the 21st International Conference on Software Engineering, ACM, pp. 411–420 (1999)
    Edwards, S.: A framework for practical, automated black-box testing of component-based software. J. Softw. Testing Verif. Reliab. 11(2), 97–111 (2001)
    Felder, M., Morzenti, A.: Validating real-time systems by history-checking TRIO specifications. ACM Trans. Softw. Eng. Methodol. 3(4), 308–339 (1994)
    Gaudel, M-C.: Testing can be formal, too. In: Proceedings of the 6th International Joint Conference CAAP/FASE on Theory and Practice of Software Development, pp. 82–96. Springer, New York (1995)
    Ghezzi, C., Mandrioli, D., Morzenti, A.: TRIO: a logic language for executable specifications of real-time systems. J. Syst. Softw. 12(2), 107–123 (1990)
    Grand, K., Reddy, V., Sasaki, G., Dillaber, E.: Large-scale modeling for embedded applications (2010). http://www.mathworks.com/tagteam/63037_Large-ScaleModelingforEmbeddedApplications
    Guttag, J.: Abstract data types and the development of data structures. Commun. ACM 20(6), 396–404 (1977)
    Lee, C., Friedman, J.: Requirements modeling and automated requirements-based test generation. SAE Int. J. Aerosp. 6(2), 607–615 (2013)
    Lorenz, E.: Deterministic nonperiodic flow. AMS J. Atmos. Sci. 20(2), 130–141 (1963)
    Manolache, L., Kourie, D.: Software testing using model programs. Softw. Pract. Exp. 31(13), 1211–1236 (2001)
    McDowell, C., Helmbold, D.: Debugging concurrent programs. ACM Comput. Surv. 21(4), 593–622 (1989)
    Memon, A., Banerjee, I., Nagarajan, A.: What test oracle should i use for effective GUI testing? In: IEEE Proceedings of the 18th IEEE International Conference on Automated Software Engineering, pp. 164–173 (2003)
    Nadeem, A., Jaffar-ur Rehman, M.: TESTAF: a test automation framework for class testing using object-oriented formal specifications. J. Univers. Comput. Sci., 11(6), pp. 962–985 (2005)
    Nardi, P., Baresi, L., Delamaro, M.: Specifying automated oracles for simulink models. In: IEEE Proceedings of the 19th International Conference on Embedded and Real-Time Computing Systems and Applications, pp. 330–333 (2013)
    Nardi, P., Delamaro, M.: Test oracles associated with dynamical system models. Technical Report, Universidade de São Paulo/São Carlos - ICMC (2011)
    Philips, M.: Knight Shows How to Lose $440 Million in 30 Minutes. Bloomberg, New York (2012)
    Reactive Systems Inc., Reactis user’s guide (2015)
    Reicherdt, R., Glesner, S.: Slicing matlab simulink models. In: Proceedings of the 34th International Conference on Software Engineerinf, pp. 551–561. IEEE Press, New York (2012)
    Richardson, D., Aha, S., O’Malley, T.: Specification-based test oracles for reactive systems. In: Proceedings of the 14th International Conference on Software Engineering, ACM, pp. 105–118 (1992)
    Schmidt, A., Durak, U., Rasch, C., Pawletta, T.: Model-based testing approach for MATLAB/Simulink using system entity structure and experimental frames. In: Proceedings of the Symposium on Theory of Modeling and Simulation. Society for Computer Simulation International, pp. 69–76 (2015)
    Shailesh, S.: Ease of analysing large signal modeling. http://www.techsource-asia.com/edm/2011aug/ideas.html . Accessed August 2016
    Sweet, W.: Chernobyl’s stressful after-effects. IEEE Spectr. 33(11), 26–34 (1996)
    The MathWorks Inc., Model verification blocks and the verification manager. http://www.mathworks.com/help/slvnv/ug/model-verification-blocks-and-the-verification-manager.html . Accessed August 2016
    The MathWorks Inc., Simulink design verifier. http://www.mathworks.com/products/sldesignverifier/ . Accessed August 2016
    The MathWorks Inc., Simulink design verifier. http://www.mathworks.com/products/sldesignverifier/index.html . Accessed August 2016
    The MathWorks Inc., Simulink verification and validation. http://www.mathworks.com/products/simverification/index.html . Accessed August 2016
    Tu, D., Chen, R., Du, Z., Liu, Y.: A method of log file analysis for test oracle. In: IEEE Proceedings of the International Conference on Scalable Computing and Communications and of Eighth International Conference on Embedded Computing, pp. 351–354 (2009)
    Wang, X., Qi, Z., Li, S.: An optimized method for automatic test oracle generation from real-time specification. In: Proceedings of the 10th IEEE International Conference on Engineering of Complex Computer Systems (IEEE-CS), pp. 440–449 (2005)
    Weyuker, E.: On testing non-testable programs. Comput. J. 25(4), 465–470 (1982)
    Zander-Nowicka, J., Schieferdecker, I., Farkas, T.: Derivation of executable test models from embedded system models using model driven architecture artefacts—automotive domain. In: Proceedings of the Dagstuhl Workshop on Model-Based Development of Embedded Systems, pp. 131–140 (2006)
    Zander-Nowicka, J.: Model-based testing of real-time embedded systems in the automotive domain. PhD thesis, Technical University Berlin (2008)