• DocumentCode
    1787868
  • Title

    Deriving conformance tests for telecommunication protocols using μJava tool

  • Author

    Ermakov, Anton D.

  • Author_Institution
    Dept. of Radiophys., Tomsk State Univ., Tomsk, Russia
  • fYear
    2014
  • fDate
    June 30 2014-July 4 2014
  • Firstpage
    150
  • Lastpage
    153
  • Abstract
    In this paper, we have proposed a method for improving the fault coverage of EFSM based test suites using the mutation testing for its proper java implementation.
  • Keywords
    Java; conformance testing; finite state machines; protocols; software tools; μJava tool; EFSM based test suites; conformance tests; extended finite state machine; fault coverage; mutation testing; telecommunication protocols; Context; Electron devices; Java; Nanoscale devices; Protocols; Software; Testing; μJava; EFSM; FSM; Mutation; testing;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Micro/Nanotechnologies and Electron Devices (EDM), 2014 15th International Conference of Young Specialists on
  • Conference_Location
    Novosibirsk
  • ISSN
    2325-4173
  • Print_ISBN
    978-1-4799-4669-3
  • Type

    conf

  • DOI
    10.1109/EDM.2014.6882499
  • Filename
    6882499
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=1787868