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.ricest.ac.ir/dl/search/defaultta.aspx?DTC=49&DC=1787868
بازگشت