کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
549867 | 872457 | 2010 | 12 صفحه PDF | دانلود رایگان |
عنوان انگلیسی مقاله ISI
FSM-based conformance testing methods: A survey annotated with experimental evaluation
دانلود مقاله + سفارش ترجمه
دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
کلمات کلیدی
موضوعات مرتبط
مهندسی و علوم پایه
مهندسی کامپیوتر
تعامل انسان و کامپیوتر
پیش نمایش صفحه اول مقاله
![عکس صفحه اول مقاله: FSM-based conformance testing methods: A survey annotated with experimental evaluation FSM-based conformance testing methods: A survey annotated with experimental evaluation](/preview/png/549867.png)
چکیده انگلیسی
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. In this paper, we overview and 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 two realistic protocols called the Simple Connection Protocol and the ITU-T V.76 Recommendation.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Information and Software Technology - Volume 52, Issue 12, December 2010, Pages 1286–1297
Journal: Information and Software Technology - Volume 52, Issue 12, December 2010, Pages 1286–1297
نویسندگان
Rita Dorofeeva, Khaled El-Fakih, Stephane Maag, Ana R. Cavalli, Nina Yevtushenko,