آزمایش سیستم‌های نرم‌افزاری نهفته ۲۰۲۳
Embedded Software System Testing 2023

دانلود کتاب آزمایش سیستم‌های نرم‌افزاری نهفته ۲۰۲۳ (Embedded Software System Testing 2023) با لینک مستقیم و فرمت pdf (پی دی اف) و ترجمه فارسی

نویسنده

Yongfeng Yin, Bo Jiang

ناشر: CRC Press
voucher-1

۳۰ هزار تومان تخفیف با کد «OFF30» برای اولین خرید

سال انتشار

2023

زبان

English

تعداد صفحه‌ها

329

نوع فایل

pdf

حجم

8.8 MB

🏷️ قیمت اصلی: 200,000 تومان بود.قیمت فعلی: 129,000 تومان.

🏷️ قیمت اصلی: ۳۷۸٬۰۰۰ تومان بود. قیمت فعلی: ۲۹۸٬۰۰۰ تومان.

📥 دانلود نسخه‌ی اصلی کتاب به زبان انگلیسی(PDF)
🧠 به همراه ترجمه‌ی فارسی با هوش مصنوعی 🔗 مشاهده جزئیات

پیش‌خرید با تحویل فوری(⚡️) | فایل کتاب حداکثر تا ۳۰ دقیقه(🕒) پس از ثبت سفارش آماده دانلود خواهد بود.

دانلود مستقیم PDF

ارسال فایل به ایمیل

پشتیبانی ۲۴ ساعته

توضیحات

معرفی کتاب آزمایش سیستم‌های نرم‌افزاری نهفته ۲۰۲۳

این کتاب، مهندسی نرم‌افزار تعبیه‌شده و روش‌های مدیریت آن را معرفی می‌کند و با ارائه نظریه‌ها و تکنیک‌های تست مرتبط، تحقق نهایی تست خودکار سیستم‌های تعبیه‌شده را نوید می‌دهد.

با افزایش تقاضا برای پیچیدگی و مقیاس سخت‌افزار و نرم‌افزار سیستم، کیفیت و قابلیت اطمینان سیستم‌های تعبیه‌شده به دغدغه‌ای بزرگ تبدیل شده است. نویسندگان در این کتاب، نظریه‌ها و تکنیک‌های تست سیستم‌های نرم‌افزاری تعبیه‌شده و فناوری‌های مرتبط با ایجاد محیط مناسب را ارائه و تشریح می‌کنند و راه‌حل‌های مؤثری برای تست خودکار سیستم‌های تعبیه‌شده ارائه می‌دهند. با تحلیل نمونه‌های تست معمول سیستم‌های نرم‌افزاری تعبیه‌شده پیچیده، نویسندگان اثربخشی نظریه‌ها، فناوری‌ها و روش‌های پیشنهادی در کتاب را تأیید می‌کنند.

این کتاب با تلفیق نظریه و فناوری بنیادی و راه‌حل‌های عملی، برای محققان و دانشجویان رشته‌های علوم کامپیوتر، مهندسی نرم‌افزار و سیستم‌های تعبیه‌شده، و همچنین متخصصان و دست‌اندرکاران توسعه، تأیید و نگهداری سیستم‌های تعبیه‌شده در زمینه‌های نظامی و غیرنظامی جذاب خواهد بود.


فهرست کتاب:

۱. روی جلد

۲. صفحه عنوان فرعی

۳. صفحه عنوان

۴. صفحه حق تکثیر

۵. فهرست مطالب

۶. فهرست شکل‌ها

۷. فهرست جدول‌ها

۸. پیشگفتار

۹. نویسندگان

۱۰. فهرست اختصارات

۱۱. مقدمه

۱۲. فصل ۱ ◾ سیستم و نرم‌افزار نهفته

۱۳. فصل ۲ ◾ مهندسی نرم‌افزار نهفته و ویژگی‌های کیفیت

۱۴. فصل ۳ ◾ تکنیک‌های تست سیستم نرم‌افزاری نهفته مبتنی بر روش‌های صوری

۱۵. فصل ۴ ◾ فناوری توصیف تست اتوماسیون نرم‌افزار نهفته بی‌درنگ

۱۶. فصل ۵ ◾ فناوری تست سیستم نرم‌افزار کاربردی ترمینال هوشمند

۱۷. فصل ۶ ◾ فناوری ساخت محیط تست سیستم نرم‌افزار نهفته بی‌درنگ

۱۸. فصل ۷ ◾ مطالعه موردی تست سیستم نرم‌افزار نهفته بی‌درنگ

۱۹. پیوست ۱ فهرست نمادهای ریاضی

۲۰. پیوست ۲ معناشناسی و کاربرد RT-ESTDL

۲۱. پیوست ۳ تعریف داده رابط نرم‌افزاری سیستم I/GNS

۲۲. پیوست ۴ فهرست درخت سناریوهای تست نرم‌افزار I/GNS

۲۳. کتاب‌شناسی

 

توضیحات(انگلیسی)

This book introduces embedded software engineering and management methods, proposing the relevant testing theory and techniques that promise the final realization of automated testing of embedded systems.

The quality and reliability of embedded systems have become a great concern, faced with the rising demands for the complexity and scale of system hardware and software. The authors propose and expound on the testing theory and techniques of embedded software systems and relevant environment construction technologies, providing effective solutions for the automated testing of embedded systems. Through analyzing typical testing examples of the complex embedded software systems, the authors verify the effectiveness of the theories, technologies and methods proposed in the book.

In combining the fundamental theory and technology and practical solutions, this book will appeal to researchers and students studying computer science, software engineering, and embedded systems, as well as professionals and practitioners engaged in the development, verification, and maintenance of embedded systems in the military and civilian fields.


Table of Contents

1. Cover

2. Half Title Page

3. Title Page

4. Copyright Page

5. Table of Contents

6. List of Figures

7. List of Tables

8. Preface

9. Authors

10. List of Abbreviations

11. Introduction

12. Chapter 1 ◾ Embedded System and Software

13. Chapter 2 ◾ Embedded Software Engineering and Quality Characteristics

14. Chapter 3 ◾ Embedded Software System Testing Techniques Based on Formal Methods

15. Chapter 4 ◾ Real-Time Embedded Software Automation Test Description Technology

16. Chapter 5 ◾ Testing Technology of Intelligent Terminal Application Software System

17. Chapter 6 ◾ Real-Time Embedded Software System Testing Environment Construction Technology

18. Chapter 7 ◾ Case Study of Real-Time Embedded Software System Testing

19. Appendix 1 Mathematical Symbol Index

20. Appendix 2 Semantics and usage of RT-ESTDL

21. Appendix 3 Software Interface Data Definition of I/GNS System

22. Appendix 4 Software Testing Scenario Tree List of I/GNS

23. Bibliography

✨ ضمانت تجربه خوب مطالعه

بازگشت کامل وجه

در صورت مشکل، مبلغ پرداختی بازگردانده می شود.

دانلود پرسرعت

دانلود فایل کتاب با سرعت بالا

ارسال فایل به ایمیل

دانلود مستقیم به همراه ارسال فایل به ایمیل.

پشتیبانی ۲۴ ساعته

با چت آنلاین و پیام‌رسان ها پاسخگو هستیم.

ضمانت کیفیت کتاب

کتاب ها را از منابع معتیر انتخاب می کنیم.