An Improved Conformance Testing Method; Lecture Notes in Computer Science; Vol. 3731: Formal Techniques for Networked and Distributed Systems - FORTE 2005

An Improved Conformance Testing Method; Lecture Notes in Computer Science; Vol. 3731: Formal Techniques for Networked and Distributed Systems - FORTE 2005

Dades bibliogràfiques
Parent link:	Lecture Notes in Computer Science Vol. 3731: Formal Techniques for Networked and Distributed Systems - FORTE 2005.— 2005.— [P. 204-218]
Autor principal:	Dorofeeva M. Yu. Margarita Yurievna
Altres autors:	El-Fakih Kh., Yevtushenko N.
Sumari:	Title screen In this paper, we present a novel conformance test suite derivation method. Similar to the HIS method, our method uses harmonized state identifiers for state identification and transition checking and can be applied to any reduced possibly partial deterministic or nondeterministic specification FSM. However, in contrast with the HIS method, in the proposed method appropriate state identifiers are selected on-the-fly (for transition checking) in order to shorten the length of the obtained test suite. Application examples and experimental results are provided. These results show that the proposed method generates shorter test suites than the HIS method. Particularly, on average, the ratio of the length of the test suites derived using the proposed method over the length of corresponding suites derived using the HIS method is 0.66 (0.55) when the number of states of an implementation equals to (is greater than) the number of states of the specification. These ratios are almost independent of the size of specifications. Режим доступа: по договору с организацией-держателем ресурса
Idioma:	anglès
Publicat:	2005
Matèries:	электронный ресурс труды учёных ТПУ
Accés en línia:	http://dx.doi.org/10.1007/11562436_16
Format:	Electrònic Capítol de llibre
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=641278

Ítems similars

Elements of (Super-)Hamiltonian Formalism; Lecture Notes in Physics; Vol. 698: Supersymmetric Mechanics, Vol. 1
per: Nersessian A. P. Armen Petrosovich
Publicat: (2006)

Lecture Notes on Bucket Algorithms
per: Devroye L. Luc
Publicat: (Boston, Birkhäuser, 1986)

Lecture Notes on Resource and Environmental Economics
per: Fisher, Anthony C.
Publicat: (2020)

Lecture Notes in Analog Electronics Low Voltage Electronic Components /
per: Litovski, Vančo
Publicat: (2023)

Lecture Notes in Analogue Electronics Electronic Signal Amplification and Linear Oscillators /
per: Litovski, Vančo
Publicat: (2023)

Lecture Notes in Analog Electronics Discrete and Integrated Large Signal Amplifiers /
per: Litovski, Vančo B.
Publicat: (2023)

Lecture notes on business communication учебное пособие (на англ. языке)
per: Галицына И. В.
Publicat: (Рязань, РГРТУ, 2024)

Operating systems: theory and samples: Lecture Notes
per: Dubakov A. A. Anatoly A.
Publicat: (Tomsk, TPU Press, 1999)

Lecture Notes in Real-Time Intelligent Systems
Publicat: (2019)

Lecture Notes in Analog Electronics Noise in Electronic Circuits and Low Noise Amplifier Design /
per: Litovski, Vančo
Publicat: (2024)

LOGIC: Lecture Notes for Philosophy, Mathematics, and Computer Science
per: Iacona, Andrea
Publicat: (2021)

Experimental evaluation of FSM-based testing methods; Software Engineering and Formal Methods: SEFM 2005
Publicat: (2005)

Fort comme la mort
per: Guy d. M.
Publicat: (Санкт-Петербург, Лань, 2013)

Lecture Notes in Physics; Т.288: Buckling and post-Buckling
Publicat: (Berlin, Springer-Verlag, 1987)

Study Listening. A course in listening to lectures and note-taking
per: Lynch T. Tony
Publicat: (Cambridge, Cambridge University Press, 2004)

Lecture notes on sections «Cytology» and «General histology». Study guidance
per: Vasilieva L. S.
Publicat: (Иркутск, ИГМУ, 2017)

Plus fort que le temps
per: Kazantsev A. P. Alexandre Petrovitch
Publicat: (Paris, Editions Albin Michel, 1981)

Lecture Ready 3. Strategies for Academic Listening, Note-taking, and Discussion
per: Frazier L. Laurie
Publicat: (Oxford, Oxford University Press, 2007)

Lecture Ready 1. Strategies for Academic Listening, Note-taking, and Discussion
per: Sarosy P. Peg
Publicat: (Oxford, Oxford University Press, 2007)

Lecture Ready 1. Strategies for Academic Listening, Note-taking, and Discussion
per: Sarosy P. Peg
Publicat: (Oxford, Oxford University Press, 2007)

Lecture Ready 2. Strategies for Academic Listening, Note-taking, and Discussion
per: Sarosy P. Peg
Publicat: (Oxford, Oxford University Press, 2006)

Lecture Ready 3. Strategies for Academic Listening, Note-taking, and Discussion
per: Frazier L. Laurie
Publicat: (Oxford, Oxford University Press, 2007)

Lecture Ready 1. Strategies for Academic Listening, Note-taking, and Discussion
per: Sarosy P. Peg
Publicat: (Oxford, Oxford University Press, 2007)

Lecture Ready 2. Strategies for Academic Listening, Note-taking, and Discussion
per: Sarosy P. Peg
Publicat: (Oxford, Oxford University Press, 2006)

Lecture Ready 2. Strategies for Academic Listening, Note-taking, and Discussion
per: Sarosy P. Peg
Publicat: (Oxford, Oxford University Press, 2006)

Lecture Ready 3. Strategies for Academic Listening, Note-taking, and Discussion
per: Frazier L. Laurie
Publicat: (New York, Oxford University Press, 2007)

Lecture notes on sections «Special histology» and «Human embryogenesis». Study guidance
per: Vasilieva L. S.
Publicat: (Иркутск, ИГМУ, 2017)

Lecture Notes in Computational Intelligence and Decision Making 2020 International Scientific Conference "Intellectual Systems of Decision-making and Problems of Computational Intelligence” /
Publicat: (2021)

Lecture Notes in Computational Intelligence and Decision Making 2021 International Scientific Conference "Intellectual Systems of Decision-making and Problems of Computational Intelligence”, Proceedings /
Publicat: (2022)

Lecture Notes in Control and Information Scienses; Вып. 152; Implicit linear systems
per: Aplevich J. D.
Publicat: (Berlin, Springer-Verlag, 1991)

Lecture Notes in Computational Intelligence and Decision Making Proceedings of the XV International Scientific Conference “Intellectual Systems of Decision Making and Problems of Computational Intelligence” (ISDMCI'2019), Ukraine, May 21–25, 2019 /
Publicat: (2020)

Lecture Notes in Data Engineering, Computational Intelligence, and Decision Making 2022 International Scientific Conference "Intellectual Systems of Decision-Making and Problems of Computational Intelligence”, Proceedings /
Publicat: (2023)

Practical Application of Blended Learning in Higher Education Institution; Education and New Learning Technologies, EDULEARN 16
per: Dorofeeva M. Yu. Margarita Yurievna
Publicat: (2016)

Lecture Ready 1. Strategies for Academic Listening, Note-taking, and Discussion. Answer Key and Transcripts
Publicat: (New York, Oxford University Press, 2007)

Lecture Ready 2. Strategies for Academic Listening, Note-taking, and Discussion. Answer Key and Transcripts
Publicat: (New York, Oxford University Press, 2006)

Lecture Ready 3. Strategies for Academic Listening, Note-taking, and Discussion. Answer Key and Transcripts
Publicat: (New York, Oxford University Press, 2007)

Software Library for KUKA Iiwa Robot to Improve the Efficiency of Human-Robot Interaction in Robotic Medical Applications; Lecture Notes in Computer Science; Vol. 13719 : Interactive Collaborative Robotics
Publicat: (2022)

Experimental Study of Convolutional Neural Network Architecture for Pattern Recognition in Images; Lecture Notes in Networks and Systems; Vol. 1118 : Software Engineering Methods Design and Application
per: Botygin I. A. Igor Aleksandrovich
Publicat: (2024)

Solving Some Problems of Predictive Analytics for Time Series Data; Lecture Notes in Networks and Systems; Vol. 501 : Software Engineering Perspectives in Systems
per: Botygin I. A. Igor Aleksandrovich
Publicat: (2022)

Capturing Chromosome Conformation Methods and Protocols /
Publicat: (2021)