دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
ویرایش: 1 نویسندگان: Vladimir Itsykson, Andre Scedrov, Victor Zakharov (eds.) سری: Communications in Computer and Information Science 779 ISBN (شابک) : 9783319717333, 9783319717340 ناشر: Springer International Publishing سال نشر: 2018 تعداد صفحات: 225 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 15 مگابایت
کلمات کلیدی مربوط به کتاب ابزارها و روشهای تجزیه و تحلیل برنامه: چهارمین کنفرانس بین المللی ، TMPA 2017 ، مسکو ، روسیه ، 3-4 مارس 2017 ، مقالات منتخب اصلاح شده: مهندسی نرم افزار
در صورت تبدیل فایل کتاب Tools and Methods of Program Analysis: 4th International Conference, TMPA 2017, Moscow, Russia, March 3-4, 2017, Revised Selected Papers به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب ابزارها و روشهای تجزیه و تحلیل برنامه: چهارمین کنفرانس بین المللی ، TMPA 2017 ، مسکو ، روسیه ، 3-4 مارس 2017 ، مقالات منتخب اصلاح شده نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
این کتاب مجموعه مقالات داوری چهارمامین کنفرانس بین
المللی ابزارها و روشها برای تجزیه و تحلیل برنامه، TMPA 2017،
مسکو، روسیه، 3 تا 4 مارس 2017 است.
12 مقاله کامل اصلاح شده و 5 مقاله کوتاه اصلاح شده ارائه شده
همراه با سه چکیده از سخنرانی های اصلی به دقت بررسی و از بین
51 مقاله ارسالی انتخاب شدند. این مقالات به موضوعاتی مانند
اتوماسیون تست نرم افزار، تجزیه و تحلیل برنامه استاتیک، تایید،
روش های پویا تجزیه و تحلیل برنامه، تست و تجزیه و تحلیل سیستم
های موازی و توزیع شده، تست و تجزیه و تحلیل سیستم های با بار
بالا و در دسترس بالا، تجزیه و تحلیل و تایید سخت افزار می
پردازد. و سیستمهای نرمافزاری، روشهای ساخت نرمافزار با
کیفیت، ابزارهایی برای تجزیه و تحلیل، آزمایش و تأیید
نرمافزار.
This book constitutes the refereed proceedings of the
4th International Conference on Tools and Methods
for Program Analysis, TMPA 2017, Moscow, Russia, March 3-4,
2017.
The 12 revised full papers and 5 revised short papers
presented together with three abstracts of keynote talks were
carefully reviewed and selected from 51 submissions. The
papers deal with topics such as software test automation,
static program analysis, verification, dynamic methods of
program analysis, testing and analysis of parallel and
distributed systems, testing and analysis of high-load and
high-availability systems, analysis and verification of
hardware and software systems, methods of building quality
software, tools for software analysis, testing and
verification.
Front Matter ....Pages I-XVIII
Distributed Analysis of the BMC Kind: Making It Fit the Tornado Supercomputer (Azat Abdullin, Daniil Stepanov, Marat Akhin)....Pages 1-10
Predicate Abstraction Based Configurable Method for Data Race Detection in Linux Kernel (Pavel Andrianov, Vadim Mutilin, Alexey Khoroshilov)....Pages 11-23
Extended Context-Free Grammars Parsing with Generalized LL (Artem Gorokhov, Semyon Grigorev)....Pages 24-37
Defect Report Classification in Accordance with Areas of Testing (Anna Gromova)....Pages 38-50
Technology and Tools for Developing Industrial Software Test Suites Based on Formal Models and Implementing Scalable Testing Process on Supercomputer (Vsevolod Kotlyarov, Pavel Drobintsev, Nikita Voinov, Ivan Selin, Alexey Tolstoles)....Pages 51-63
Dl-Check: Dynamic Potential Deadlock Detection Tool for Java Programs (Nikita Koval, Dmitry Tsitelov, Roman Elizarov)....Pages 64-76
A Survey on Model-Based Testing Tools for Test Case Generation (Wenbin Li, Franck Le Gall, Naum Spaseski)....Pages 77-89
Functional Parser of Markdown Language Based on Monad Combining and Monoidal Source Stream Representation (Georgiy Lukyanov, Artem Pelenitsin)....Pages 90-101
Simple Type-Based Alias Analysis for a VLIW Processor (Aleksey Markin, Alexandr Ermolitsky)....Pages 102-113
5W+1H Static Analysis Report Quality Measure (Maxim Menshchikov, Timur Lepikhin)....Pages 114-126
Layered Layouts for Software Systems Visualization Using Nested Petri Nets (Alexey A. Mitsyuk, Yaroslav V. Kotylev)....Pages 127-138
Unity Application Testing Automation with Appium and Image Recognition (Maxim Mozgovoy, Evgeny Pyshkin)....Pages 139-150
Compositional Process Model Synthesis Based on Interface Patterns (Roman A. Nesterov, Irina A. Lomazova)....Pages 151-162
Using Functional Directives to Analyze Code Complexity (Daniel Rubio Bonilla, Colin W. Glass)....Pages 163-169
Generating Cost-Aware Covering Arrays for Free (Mustafa Kemal Taş, Hanefi Mercan, Gülşen Demiröz, Kamer Kaya, Cemal Yilmaz)....Pages 170-182
Statically Checking Conventionality of Array Objects in JavaScript (Astrid Younang, Lunjin Lu, Nabil Almashfi)....Pages 183-195
A Survey of High-Performance Computing for Software Verification (Ilja Zakharov)....Pages 196-208
Back Matter ....Pages 209-209