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; Programming and Computer Software; Vol. 38, iss. 4

書誌詳細
Parent link:	Programming and Computer Software: scientific journal.— , 1975- Vol. 38, iss. 4.— 2012.— [P. 201-209]
団体著者:	Национальный исследовательский Томский политехнический университет (ТПУ) Институт электронного обучения (ИнЭО) Кафедра технологий и педагогики электронного обучения (ТПЭО)
その他の著者:	El-Fakih Kh. Khaled, Dorofeeva M. Yu. Margarita Yurievna, Yevtushenko N. Nina, Bochmann G. V.
要約:	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. Режим доступа: по договору с организацией-держателем ресурса
言語:	英語
出版事項:	2012
主題:	электронный ресурс труды учёных ТПУ
オンライン･アクセス:	http://dx.doi.org/10.1134/S0361768812040019 http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.409.2380
フォーマット:	電子媒体図書の章
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=641319

類似資料

Experimental evaluation of FSM-based testing methods; Software Engineering and Formal Methods: SEFM 2005
出版事項: (2005)

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

Software Testing and Evaluation
出版事項: (Menlo Park,California, The Benjamin/Cummings Publishing Company, 1987)

Adaptive IIR Filter Based on Penalized Spline; Programming and Computer Software; Vol. 50, iss. 6
著者:: Kochegurova E. A. Elena Alekseevna
出版事項: (2024)

Aspects of Continuous User Identification Based on Free Texts and Hidden Monitoring; Programming and Computer Software; Vol. 46, iss. 1
著者:: Kochegurova E. A. Elena Alekseevna
出版事項: (2020)

Incrementalism and Policymaking in the USA Adaptations for a Partisan Age /
著者:: Hayes, Michael T.
出版事項: (2023)

Automated Software Testing Foundations, Applications and Challenges /
出版事項: (2020)

Software-Defined Power Electronics Converter Configuration, Control, and Optimization /
著者:: Zhou, Liwei, 等
出版事項: (2024)

Mutation Testing for Effective Verification of Digital Components of Physical Systems; Russian Physics Journal; Vol. 58, № 8
著者:: Kushik N. G. Nataljya Gennadjevna
出版事項: (2015)

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

Development and Validation of a Computerized Adaptive EFL Test
著者:: He, Lianzhen, 等
出版事項: (2024)

Data-Centric Security in Software Defined Networks (SDN)
著者:: Amanowicz, Marek, 等
出版事項: (2024)

Oxford Placement Test 1: Marking Kit with User`s Guide And Diagnostic Key
著者:: Allan D. Dave
出版事項: (Oxford, Oxford University Press, 2004)

Software Quality. State of the Art in Management, Testing, and Tools
出版事項: (Berlin, Springer-Verlag, 2001)

Parallel software simulation using PS-nets; Programming and Computer Software; Vol. 21
著者:: Markov N. G. Nikolai Grigorevich
出版事項: (1995)

Adaptive Dynamic Programming For Chemotherapy Drug Delivery /
著者:: Sun, Jiayue, 等
出版事項: (2024)

Optimization of Automated Software Testing Using Meta-Heuristic Techniques
出版事項: (2022)

Stable Mutations for Evolutionary Algorithms
著者:: Obuchowicz, Andrzej
出版事項: (2019)

PCR Mutation Detection Protocols
出版事項: (2011)

PCR Mutation Detection Protocols
出版事項: (2002)

Defining fault location on overhead lines on the base of emergency signals recorder data; Modern technique and technologies MTT' 2012
著者:: Abramochkina L. V.
出版事項: (2012)

Infotech. English for computer users
著者:: Esteras S. R. Santiago Remacha
出版事項: (Cambridge, Cambridge University Press, 2009)

Infotech. English for computer users
著者:: Esteras S. R. Santiago Remacha
出版事項: (Cambridge, Cambridge University Press, 2002)

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
著者:: Fursa T. V. Tatyana Viktorovna
出版事項: (2011)

Challenges in Language Testing Around the World Insights for language test users /
出版事項: (2021)

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

Hardware and Software for Thermal Nondestructive Testing of Metallic and Composite Materials; Journal of Physics: Conference Series; Vol. 671 : Innovations in Non-Destructive Testing (SibTest 2015)
著者:: Chulkov A. O. Arseniy Olegovich
出版事項: (2016)

Segmentation Based on Propagation of Dynamically Changing Superpixels; Programming and Computer Software; Vol. 46, iss. 3
出版事項: (2020)

Process Metaphysics and Mutative Life Sketches of Lived Time /
著者:: Khandker, Wahida
出版事項: (2020)

China’s Economic Gene Mutations By Electricity Economics and Multi-agent /
著者:: Hu, Zhaoguang, 等
出版事項: (2015)

Algorithms and Software Increasing the Efficiency of Processing Multidimensional Heterogeneous Data; Programming and Computer Software; Vol. 45, iss. 4
著者:: Zakharova A. A. Alena Alexandrovna
出版事項: (2019)

Dictionary of Computing: over 10000 terms clearly defined
著者:: Collin S. M. H. Simon M. H.
出版事項: (Teddington, Peter Collin Publishing, 1999)

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

Adaptive Dynamic Programming: Single and Multiple Controllers
著者:: Song, Ruizhuo, 等
出版事項: (2019)

Fault Diagnosis and Prognostics Based on Cognitive Computing and Geometric Space Transformation
著者:: Lu, Chen, 等
出版事項: (2024)

Numerical Methods for Engineers: With Programming and Software Applications
著者:: Chapra S. C. Steven C.
出版事項: (USA, McGraw-Hill, 1998)

Wearable nanosensor-based hardware and software complex for dynamic cardiac monitoring; Journal of Physics: Conference Series; Vol. 1327 : Innovations in Non-Destructive Testing (SibTest 2019)
出版事項: (2019)

Test Bias in Employment Selection Testing A Visual Introduction /
著者:: Stetz, Thomas A.
出版事項: (2022)

Hidden Monitoring Based on Keystroke Dynamics in Online Examination System; Programming and Computer Software; Vol. 48, iss. 6
著者:: Kochegurova E. A. Elena Alekseevna
出版事項: (2022)

Laboratory Manual for use with Computers: The User Perspective
著者:: Hutchinnson S. E. Saran E.
出版事項: (Boston, Mosby College Publishing, 1990)