TY - GEN
T1 - Experimental evaluation of FSM-based testing methods
AU - Dorofeeva, R.
AU - El-Fakih, K.
AU - Maag, S.
AU - Cavalli, A. R.
AU - Yevtushenko, N.
PY - 2005/12/1
Y1 - 2005/12/1
N2 - The development of test cases is an important issue for testing software, communication protocols and other reactive systems. A number of methods are known for the development of a test suite based on a formal specification given in the form of a finite state machine. Well-known methods are called the W, Wp, UIO, UIOv, DS, H and HIS test derivation methods. These methods have been extensively used by research community in the last years; however no proper comparison has been made between them. In this paper, we experiment with these methods to assess their complexity, applicability, completeness, fault detection capability, length and derivation time of their test suites. The experiments are conducted on randomly generated specifications and on a realistic protocol called the simple connection protocol.
AB - The development of test cases is an important issue for testing software, communication protocols and other reactive systems. A number of methods are known for the development of a test suite based on a formal specification given in the form of a finite state machine. Well-known methods are called the W, Wp, UIO, UIOv, DS, H and HIS test derivation methods. These methods have been extensively used by research community in the last years; however no proper comparison has been made between them. In this paper, we experiment with these methods to assess their complexity, applicability, completeness, fault detection capability, length and derivation time of their test suites. The experiments are conducted on randomly generated specifications and on a realistic protocol called the simple connection protocol.
U2 - 10.1109/SEFM.2005.17
DO - 10.1109/SEFM.2005.17
M3 - Conference contribution
AN - SCOPUS:37249060175
SN - 0769524354
SN - 9780769524351
T3 - Proceedings - 3rd IEEE International Conference on Software Engineering and Formal Methods, SEFM 2005
SP - 23
EP - 32
BT - Proceedings - 3rd IEEE International Conference on Software Engineering and Formal Methods, SEFM 2005
T2 - 3rd IEEE International Conference on Software Engineering and Formal Methods, SEFM 2005
Y2 - 7 September 2005 through 9 September 2005
ER -