دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Testing software and systems : 29th IFIP WG 6.1 International Conference, ICTSS 2017, St. Petersburg, Russia, October 9-11, 2017, Proceedings
دانلود کتاب نرم افزار و سیستم های تست: بیست و نهمین کنفرانس بین المللی IFIP WG 6.1، ICTSS 2017، سن پترزبورگ، روسیه، 9-11 اکتبر 2017، مجموعه مقالات
مشخصات کتاب
Testing software and systems : 29th IFIP WG 6.1 International Conference, ICTSS 2017, St. Petersburg, Russia, October 9-11, 2017, Proceedings
ویرایش: نویسندگان: Cavalli. Ana, Yenigun. Husnu, Yevtushenko. Nina سری: Lecture notes in computer science 10533.; LNCS sublibrary. SL 2, Programming and software engineering ISBN (شابک) : 9783319675497, 9783319675480 ناشر: Springer سال نشر: 2017 تعداد صفحات: 344 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 14 مگابایت
قیمت کتاب (تومان) : 52,000
کلمات کلیدی مربوط به کتاب نرم افزار و سیستم های تست: بیست و نهمین کنفرانس بین المللی IFIP WG 6.1، ICTSS 2017، سن پترزبورگ، روسیه، 9-11 اکتبر 2017، مجموعه مقالات: نرم افزار کامپیوتر -- تست -- کنگره ها، مهندسی نرم افزار -- کنگره ها
در صورت تبدیل فایل کتاب Testing software and systems : 29th IFIP WG 6.1 International Conference, ICTSS 2017, St. Petersburg, Russia, October 9-11, 2017, Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب نرم افزار و سیستم های تست: بیست و نهمین کنفرانس بین المللی IFIP WG 6.1، ICTSS 2017، سن پترزبورگ، روسیه، 9-11 اکتبر 2017، مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب نرم افزار و سیستم های تست: بیست و نهمین کنفرانس بین المللی IFIP WG 6.1، ICTSS 2017، سن پترزبورگ، روسیه، 9-11 اکتبر 2017، مجموعه مقالات
این کتاب مجموعه مقالات داوری بیست و نهمین کنفرانس بین المللی IFIP WG 6.1 در تست نرم افزار و سیستم ICTSS 2017 است که در اکتبر 2017 در سن پترزبورگ، روسیه برگزار شد.
هجده کامل مقالات و 4 مقاله کوتاه ارائه شده به دقت بررسی و از بین 41 مقاله ارسالی انتخاب شدند. مباحث تست بر اساس مدل جلد جلد; استخراج و نظارت آزمون؛ محلی سازی خطا و آزمایش سیستم از جمله سیستم های بلادرنگ.
< p>توضیحاتی درمورد کتاب به خارجی
This book constitutes the refereed proceedings of the 29th IFIP WG 6.1 International Conference on Testing Software and Systems ICTSS 2017, held in St. Petersburg, Russia, in October 2017.
The 18 full papers and 4 short papers presented were carefully reviewed and selected from 41 submissions. The topics of the volume cover model based testing; test derivation and monitoring; fault localization and system testing including real time systems.
فهرست مطالب
Front Matter ....Pages I-XIII
Front Matter ....Pages 1-1
Fragility-Oriented Testing with Model Execution and Reinforcement Learning (Tao Ma, Shaukat Ali, Tao Yue, Maged Elaasar)....Pages 3-20
Fault-Based Testing for Refinement in CSP (Ana Cavalcanti, Adenilso Simao)....Pages 21-37
Effective Infinite-State Model Checking by Input Equivalence Class Partitioning (Niklas Krafczyk, Jan Peleska)....Pages 38-53
Using Robustness Testing to Handle Incomplete Verification Results When Combining Verification and Testing Techniques (Stefan Huster, Jonas Ströbele, Jürgen Ruf, Thomas Kropf, Wolfgang Rosenstiel)....Pages 54-70
AI for Localizing Faults in Spreadsheets (Birgit Hofer, Iulia Nica, Franz Wotawa)....Pages 71-87
Front Matter ....Pages 89-89
n-Complete Test Suites for IOCO (Petra van den Bos, Ramon Janssen, Joshua Moerman)....Pages 91-107
Multiple Mutation Testing from Finite State Machines with Symbolic Inputs (Omer Nguena Timo, Alexandre Petrenko, S. Ramesh)....Pages 108-125
From Passive to Active FSM Inference via Checking Sequence Construction (Alexandre Petrenko, Florent Avellaneda, Roland Groz, Catherine Oriat)....Pages 126-141
Front Matter ....Pages 143-143
Safety-Complete Test Suites (Wen-ling Huang, Jan Peleska)....Pages 145-161
Testing TLS Using Combinatorial Methods and Execution Framework (Dimitris E. Simos, Josip Bozic, Feng Duan, Bernhard Garn, Kristoffer Kleine, Yu Lei et al.)....Pages 162-177
Using Data Integration for Security Testing (Sébastien Salva, Loukmen Regainia)....Pages 178-194
Front Matter ....Pages 195-195
A “Strength of Decision Tree Equivalence”-Taxonomy and Its Impact on Test Suite Reduction (Hermann Felbinger, Ingo Pill, Franz Wotawa)....Pages 197-212
Quality Estimation of Virtual Machine Placement in Cloud Infrastructures (Jorge López, Natalia Kushik, Djamal Zeghlache)....Pages 213-229
Homing Sequence Derivation with Quantified Boolean Satisfiability (Hung-En Wang, Kuan-Hua Tu, Jie-Hong R. Jiang, Natalia Kushik)....Pages 230-242
Synchronizing Heuristics: Speeding up the Slowest (Ömer Faruk Altun, Kamil Tolga Atam, Sertaç Karahoda, Kamer Kaya)....Pages 243-256
Front Matter ....Pages 257-257
GREP: Games for the Runtime Enforcement of Properties (Matthieu Renard, Antoine Rollet, Yliès Falcone)....Pages 259-275
Constraint-Based Oracles for Timed Distributed Systems (Nassim Benharrat, Christophe Gaston, Robert M. Hierons, Arnault Lapitre, Pascale Le Gall)....Pages 276-292
Checking Response-Time Properties of Web-Service Applications Under Stochastic User Profiles (Richard Schumi, Priska Lang, Bernhard K. Aichernig, Willibald Krenn, Rupert Schlick)....Pages 293-310
Front Matter ....Pages 311-311
Ongoing Work on Automated Verification of Noisy Nonlinear Systems with Ariadne (Luca Geretti, Davide Bresolin, Pieter Collins, Sanja Zivanovic Gonzalez, Tiziano Villa)....Pages 313-319
Generating Checking Sequences for User Defined Fault Models (Alexandre Petrenko, Adenilso Simao)....Pages 320-325
Adaptive Localizer Based on Splitting Trees (Roland Groz, Adenilso Simao, Catherine Oriat)....Pages 326-332
Refining the Specification FSM When Deriving Test Suites w.r.t. the Reduction Relation (Aleksandr Tvardovskii)....Pages 333-339
Back Matter ....Pages 341-341
