توضیحات
This book provides comprehensive coverage of verification and debugging techniques for embedded software, which is frequently used in safety critical applications (e.g., automotive), where failures are unacceptable. Since the verification of complex systems needs to encompass the verification of both hardware and embedded software modules, this book focuses on verification and debugging approaches for embedded software with hardware dependencies. Coverage includes the entire flow of design, verification and debugging of embedded software and all key approaches to debugging, dynamic, static, and hybrid verification. This book discusses the current, industrial embedded software verification flow, as well as emerging trends with focus on formal and hybrid verification and debugging approaches.
————————————————————–
ترجمه ماشینی :
این کتاب پوشش جامعی از تکنیکهای راستیآزمایی و اشکالزدایی برای نرمافزارهای تعبیهشده ارائه میکند، که اغلب در برنامههای کاربردی حیاتی ایمنی (به عنوان مثال، خودرو) استفاده میشود، جایی که خرابیها غیرقابل قبول هستند. از آنجایی که تأیید سیستمهای پیچیده باید تأیید ماژولهای سختافزار و نرمافزار تعبیهشده را در بر بگیرد، این کتاب بر روی روشهای تأیید و اشکالزدایی برای نرمافزارهای تعبیهشده با وابستگیهای سختافزاری تمرکز دارد. پوشش شامل کل جریان طراحی، تأیید و اشکال زدایی نرم افزارهای تعبیه شده و تمام رویکردهای کلیدی برای اشکال زدایی، تأیید پویا، ایستا و ترکیبی است. این کتاب جریان تأیید نرمافزار تعبیهشده فعلی و همچنین روندهای نوظهور را با تمرکز بر رویکردهای تأیید رسمی و ترکیبی و اشکالزدایی مورد بحث قرار میدهد.
tag : دانلود کتاب تایید و اشکال زدایی نرم افزار تعبیه شده , Download تایید و اشکال زدایی نرم افزار تعبیه شده , دانلود تایید و اشکال زدایی نرم افزار تعبیه شده , Download Embedded Software Verification and Debugging Book , تایید و اشکال زدایی نرم افزار تعبیه شده دانلود , buy تایید و اشکال زدایی نرم افزار تعبیه شده , خرید کتاب تایید و اشکال زدایی نرم افزار تعبیه شده , دانلود کتاب Embedded Software Verification and Debugging , کتاب Embedded Software Verification and Debugging , دانلود Embedded Software Verification and Debugging , خرید Embedded Software Verification and Debugging , خرید کتاب Embedded Software Verification and Debugging ,
نقد و بررسیها
هنوز بررسیای ثبت نشده است.