FSM-Based Testing from User Defined Faults Adapted to Incremental and Mutation Testing 1; Programming and Computer Software; Vol. 38, iss. 4

FSM-Based Testing from User Defined Faults Adapted to Incremental and Mutation Testing 1

Dettagli Bibliografici
Parent link:	Programming and Computer Software: scientific journal.— , 1975- Vol. 38, iss. 4.— 2012.— [P. 201-209]
Ente Autore:	Национальный исследовательский Томский политехнический университет (ТПУ) Институт электронного обучения (ИнЭО) Кафедра технологий и педагогики электронного обучения (ТПЭО)
Altri autori:	El-Fakih Kh. Khaled, Dorofeeva M. Yu. Margarita Yurievna, Yevtushenko N. Nina, Bochmann G. V.
Riassunto:	Title screen We study the problem of deriving a test suite with guaranteed fault coverage from a given finite state machine specification with respect to some given user defined faults. We consider the case when an implementation under test can have more states than its specification while user defined faults are implemented in an arbitrary way. We show that our approach can be used for FSM-based incremental and mutation testing and correspondingly we investigate cases that can be used for reducing length of obtained test suites. In some cases, worst-case length of obtained test suite becomes polynomial. Experiments show significant gains is using our approach in comparison to testing the whole specification. Режим доступа: по договору с организацией-держателем ресурса
Lingua:	inglese
Pubblicazione:	2012
Soggetti:	электронный ресурс труды учёных ТПУ
Accesso online:	http://dx.doi.org/10.1134/S0361768812040019 http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.409.2380
Natura:	Elettronico Capitolo di libro
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=641319

Documenti analoghi

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

FSM-based conformance testing methods: A survey annotated with experimental evaluation; Information and Software Technology; Vol. 52, iss. 12
Pubblicazione: (2010)

Incrementalism and Policymaking in the USA Adaptations for a Partisan Age /
di: Hayes, Michael T.
Pubblicazione: (2023)

Mutation Testing for Effective Verification of Digital Components of Physical Systems; Russian Physics Journal; Vol. 58, № 8
di: Kushik N. G. Nataljya Gennadjevna
Pubblicazione: (2015)

Defining fault location on overhead lines on the base of emergency signals recorder data; Modern technique and technologies MTT' 2012
di: Abramochkina L. V.
Pubblicazione: (2012)

Adaptive IIR Filter Based on Penalized Spline; Programming and Computer Software; Vol. 50, iss. 6
di: Kochegurova E. A. Elena Alekseevna
Pubblicazione: (2024)

Development and Validation of a Computerized Adaptive EFL Test
di: He, Lianzhen, et al.
Pubblicazione: (2024)

Development of a nondestructive method for testing the strength of concrete with a faulted structure based on the phenomenon of mechanoelectric transformations; Russian Journal of Nondestructive Testing; Vol. 47, iss. 5
di: Fursa T. V. Tatyana Viktorovna
Pubblicazione: (2011)

Assessment tests in chemistry: A collection of test guestions for English-speaking medical students to prepare for computer-based testing
di: compiler P. V.
Pubblicazione: (Ижевск, ИГМА, 2024)

Aspects of Continuous User Identification Based on Free Texts and Hidden Monitoring; Programming and Computer Software; Vol. 46, iss. 1
di: Kochegurova E. A. Elena Alekseevna
Pubblicazione: (2020)

Universal test panels from a nonmetal for capillary nondestructive testing; Russian Journal of Nondestructive Testing; Vol. 51, iss. 10
Pubblicazione: (2015)

Challenges in Language Testing Around the World Insights for language test users /
Pubblicazione: (2021)

From well to user учебное пособие
di: Кечерукова М. А.
Pubblicazione: (Тюмень, ТюмГНГУ, 2014)

Stable Mutations for Evolutionary Algorithms
di: Obuchowicz, Andrzej
Pubblicazione: (2019)

PCR Mutation Detection Protocols
Pubblicazione: (2002)

PCR Mutation Detection Protocols
Pubblicazione: (2011)

Automated Software Testing Foundations, Applications and Challenges /
Pubblicazione: (2020)

Comparative analysis on thermal non-destructive testing imagery applying Candid Covariance-Free Incremental Principal Component Thermography (CCIPCT); Infrared Physics & Technology; Vol. 85
Pubblicazione: (2017)

Robust Integration of Model-Based Fault Estimation and Fault-Tolerant Control
di: Lan, Jianglin, et al.
Pubblicazione: (2021)

Observer-Based Fault Diagnosis and Fault-Tolerant Control for Switched Systems
di: Du, Dongsheng, et al.
Pubblicazione: (2021)

Adaptive interpretation of gas well deliverability tests; IOP Conference Series: Earth and Environmental Science; Vol. 43 : Problems of Geology and Subsurface Development
di: Sergeev V. L. Viktor Leonidovich
Pubblicazione: (2016)

Process Metaphysics and Mutative Life Sketches of Lived Time /
di: Khandker, Wahida
Pubblicazione: (2020)

Oxford Placement Test 1: Marking Kit with User`s Guide And Diagnostic Key
di: Allan D. Dave
Pubblicazione: (Oxford, Oxford University Press, 2004)

PET Practice tests; Five tests for the Cambridge Preliminary English Test with answers
di: Fried-Booth D. L. Diana L.
Pubblicazione: (Oxford, Oxford University Press, 1996)

Test Bias in Employment Selection Testing A Visual Introduction /
di: Stetz, Thomas A.
Pubblicazione: (2022)

Oxford Placement Test 2; Test Pack
di: Allan D. Dave
Pubblicazione: (Oxford, Oxford University Press, 1998)

Oxford Placement Test 1; Test Pack
di: Allan D. Dave
Pubblicazione: (Oxford, Oxford University Press, 1997)

Software-Defined Power Electronics Converter Configuration, Control, and Optimization /
di: Zhou, Liwei, et al.
Pubblicazione: (2024)

China’s Economic Gene Mutations By Electricity Economics and Multi-agent /
di: Hu, Zhaoguang, et al.
Pubblicazione: (2015)

Model-Based Fault Diagnosis Methods for State-Space Systems /
di: Wang, Zhenhua, et al.
Pubblicazione: (2023)

Techniques in Testing
di: Madsen H. S. Harold S.
Pubblicazione: (Oxford, Oxford University Press, 1983)

Nondestructive Testing
di: McGonnagle W. Warren J.
Pubblicazione: (New York, McGRAW-Hill book company inc., 1961)

Language Testing
di: McNamara T. Tim
Pubblicazione: (Oxford, Oxford University Press, 2004)

Hydrolysis: tests
di: Petrova M. M.
Pubblicazione: (Казань, КНИТУ, 2018)

Software for testing statistical hypotheses; Молодежь и современные информационные технологии
di: Aksenov S. V. Sergey Vladimirovich
Pubblicazione: (2021)

At Fault
di: Kate C.
Pubblicazione: (Санкт-Петербург, Лань, 2013)

Test IT; Ресурсоэффективным технологиям - энергию и энтузиазм молодых
di: Максимова Е. И. Елена Ивановна
Pubblicazione: (2013)

Experimental test of FEL technique based on the coherent Smith-Purcell radiation; Radiation from relativistic Electrons in Periodic Structures. Final Program& Book of Abstracts
Pubblicazione: (2003)

Radiation Testing: study aid
di: Efimov P. V.
Pubblicazione: (Тоmsk, TPU Publishing House, 2010)

Radiation Testing: study aid
di: Efimov P. V. Pavel Vasilyevich
Pubblicazione: (Tomsk, TPU Publishing House, 2010)