ورود به حساب

نام کاربری گذرواژه

گذرواژه را فراموش کردید؟ کلیک کنید

حساب کاربری ندارید؟ ساخت حساب

ساخت حساب کاربری

نام نام کاربری ایمیل شماره موبایل گذرواژه

برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید


09117307688
09117179751

در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید

دسترسی نامحدود

برای کاربرانی که ثبت نام کرده اند

ضمانت بازگشت وجه

درصورت عدم همخوانی توضیحات با کتاب

پشتیبانی

از ساعت 7 صبح تا 10 شب

دانلود کتاب Testing Safety-Related Software: A Practical Handbook

دانلود کتاب تست نرم افزار مرتبط با ایمنی: یک کتابچه راهنمای عملی

Testing Safety-Related Software: A Practical Handbook

مشخصات کتاب

Testing Safety-Related Software: A Practical Handbook

ویرایش: 1 
نویسندگان: , , , , ,   
سری:  
ISBN (شابک) : 9781852330347, 9781447132776 
ناشر: Springer-Verlag London 
سال نشر: 1999 
تعداد صفحات: 228 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 10 مگابایت 

قیمت کتاب (تومان) : 29,000



کلمات کلیدی مربوط به کتاب تست نرم افزار مرتبط با ایمنی: یک کتابچه راهنمای عملی: عملکرد و ارزیابی سیستم، مهندسی نرم افزار، پیچیدگی



ثبت امتیاز به این کتاب

میانگین امتیاز به این کتاب :
       تعداد امتیاز دهندگان : 10


در صورت تبدیل فایل کتاب Testing Safety-Related Software: A Practical Handbook به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب تست نرم افزار مرتبط با ایمنی: یک کتابچه راهنمای عملی نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.


توضیحاتی در مورد کتاب تست نرم افزار مرتبط با ایمنی: یک کتابچه راهنمای عملی



از آنجایی که نرم افزار بسیار پیچیده است، ما فقط می توانیم محدوده محدودی از حالت های ممکن نرم افزار را در یک بازه زمانی معقول آزمایش کنیم. در سال 1972، Dijkstra [1] ادعا کرد که "آزمایش برنامه را می توان برای نشان دادن وجود اشکالات، اما هرگز عدم وجود آنها" استفاده کرد تا ما را متقاعد کند که یک رویکرد آزمایشی به تنهایی قابل قبول نیست. این بیانیه مکرراً بیانگر دانش ما در مورد آزمایش نرم افزار در آن زمان بود، و پس از بیش از 25 سال تمرین، آزمایش و تحقیق فشرده، اگرچه تست نرم افزار به یک تکنیک اعتبار سنجی و تأیید صحت تبدیل شده است که برای رشته مهندسی نرم افزار ضروری است، اظهارات Dijkstra همچنان ادامه دارد. معتبر. بنابراین برای به دست آوردن اطمینان در ایمنی سیستم های مبتنی بر نرم افزار، باید هم محصول و هم روند توسعه آن را ارزیابی کنیم. آزمایش یکی از راه‌های اصلی ارزیابی محصول است، اما باید همراه با ارزیابی فرآیند، در چارچوب یک مورد ایمنی کلی دیده شود. این کتاب راهنمایی هایی را در مورد چگونگی استفاده بهینه از منابع محدود موجود برای آزمایش و به حداکثر رساندن سهمی که آزمایش محصول در مورد ایمنی می کند ارائه می دهد. 1.1 زمینه تضمین ایمنی سیستم‌های مبتنی بر نرم‌افزار یک کار پیچیده است، زیرا اکثر خطاها از اشتباهات طراحی ناشی می‌شوند. برای ارائه تضمین ایمنی در مورد یکپارچگی سیستم و قرار دادن آن، باید شواهدی را به عنوان یک مورد استدلالی (مورد ایمنی) جمع آوری کرد که نشان می دهد سیستم به اندازه کافی ایمن است.


توضیحاتی درمورد کتاب به خارجی

As software is very complex, we can only test a limited range of the possible states of the software in a reasonable time frame. In 1972, Dijkstra [1] claimed that 'program testing can be used to show the pres­ ence of bugs, but never their absence' to persuade us that a testing approach alone is not acceptable. This frequently quoted statement represented our knowledge about software testing at that time, and after over 25 years intensive practice, experiment and research, although software testing has been developed into a validation and ver­ ification technique indispensable to software engineering discipline, Dijkstra's state­ ment is still valid. To gain confidence in the safety of software based systems we must therefore assess both the product and the process of its development. Testing is one of the main ways of assessing the product, but it must be seen, together with process assessment, in the context of an overall safety case. This book provides guidance on how to make best use of the limited resources available for testing and to maximise the contribution that testing of the product makes to the safety case. 1.1 Context The safety assurance of software based systems is a complex task as most fail­ ures stem from design errors committed by humans. To provide safety assur­ on the integrity of the system and put ance, evidence needs to be gathered forward as an argued case (the safety case) that the system is adequately safe.



فهرست مطالب

Front Matter....Pages i-ix
Introduction....Pages 1-31
Testing and the Safety Case....Pages 33-57
Designing for Testability....Pages 59-82
Testing of Timing Aspects....Pages 83-100
The Test Environment....Pages 101-123
The Use of Simulators....Pages 125-141
Test Adequacy....Pages 143-154
Statistical Software Testing....Pages 155-170
Empirical Quantifiable Measures of Testing....Pages 171-194
Back Matter....Pages 195-226




نظرات کاربران