مشخصات کتاب

Software Verification and Analysis. An integrated, Hands-on Approach

ویرایش:  
نویسندگان: Janusz Laski.  William Stanley  
سری:  
ISBN (شابک) : 9781848822405 
ناشر: Springer 
سال نشر: 2009 
تعداد صفحات: 201 
زبان: english 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 2 مگابایت 

در صورت تبدیل فایل کتاب Software Verification and Analysis. An integrated, Hands-on Approach به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

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

توضیحاتی در مورد کتاب تایید و تجزیه و تحلیل نرم افزار. یک رویکرد یکپارچه و عملی

«وضعیت خوب است، اما ناامیدکننده نیست» (خرد عامیانه لهستانی) متن به روش‌های تحلیل و آزمایش نرم‌افزار (SAT) و ابزارهای ورزشی برای ارزیابی و، در صورت امکان، بهبود کیفیت نرم‌افزار، به‌ویژه صحت آن اختصاص دارد. از عبارت تضمین کیفیت اجتناب می‌شود، زیرا این اعتقاد راسخ این نویسنده است که در وضعیت فعلی هنر این هدف دست نیافتنی است، با وجود این، راه‌حل‌های «تضمین شده» زیادی برای مشکل وجود دارد. بنابراین، عبارت نسبتاً ناخوشایند "بهبود صحت" را باید به عنوان تلاشی برای به حداقل رساندن تعداد خطاهای برنامه نویسی باقیمانده ("اشکالات") و تأثیر آنها بر رفتار نرم افزار درک کرد، یعنی اینکه خطاها را قابل تحمل کند. واضح است که چنین رویکرد مینیمالیستی نتیجه سرخوردگی است. در واقع، با صرف سال‌ها صرف توسعه نرم‌افزار و آموزش (موعظه؟) "چگونه این کار را به درستی انجام دهیم"، هنوز نمی‌دانم چگونه با هیچ درجه قطعیتی در مورد آن اقدام کنم! به نظر می‌رسد که من احتمالاً همین الان باید متوقف شوم، زیرا چه کسی با کمی عقل سلیم به سراغ متنی می‌رود که رستگاری نیست، اما (همانطور که مشاهده خواهد شد) کار سخت و بدبختی؟ اگر قصد ادامه دادن را داشته باشم، فقط به این دلیل است که گمان می‌کنم افراد حرفه‌ای زیادی در آنجا وجود دارند که تردیدهای مشابهی دارند. و مخاطبان مورد نظر این پروژه هستند. زیربنای فلسفی متن، اهمیت شیوه های مهندسی صدا در توسعه نرم افزار است.

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

“The situation is good, but not hopeless” (Polish folk wisdom) The text is devoted to the Software Analysis and Testing (SAT) methods and s- porting tools for assessing and, if possible, improving software quality, specifically its correctness. The term quality assurance is avoided for it is this author’s firm belief that in the current state of the art that goal is unattainable, a plethora of “gu- anteed” solutions to the problem notwithstanding. Therefore, the rather awkward phrase “improving correctness” is to be understood as an effort to minimize the number of residual programming faults (“bugs”) and their impact on the software’s behavior, that is, to make the faults tolerable. It is clear that such a minimalist approach is a result of frustration. Indeed, having spent years developing software and teaching (preaching?) “How to do it right,” I still do not know how to go about it with any degree of certainty! It appears then I probably should stop right now, for who with a modicum of common sense would reach for a text that does not offer salvation but (as will be seen) hard work and misery? If I intend to continue, it is only that I suspect there are many professionals out there who have similar doubts. And they are the intended audience of this project. The philosophical underpinning of the text is the importance of sound engine- ing practices in software development.

فهرست مطالب

Front Matter....Pages i-xviii
Front Matter....Pages 1-1
Why Not Write Correct Software the First Time?....Pages 1-14
How to Prove a Program Correct: Programs Without Loops....Pages 39-61
How to Prove a Program Correct: Iterative Programs....Pages 63-79
Prepare Test for Any Implementation: Black-Box Testing....Pages 81-99
Front Matter....Pages 1-1
Intermediate Program Representation....Pages 103-123
Program Dependencies....Pages 125-142
What Can One Tell About a Program Without Its Execution: Static Analysis....Pages 143-169
Front Matter....Pages 1-1
Is There a Bug in the Program? Structural Program Testing....Pages 173-202
Dynamic Program Analysis....Pages 203-219
Back Matter....Pages 221-224

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

کتاب های تصادفی

دانلود کتاب Radiation Dosimetry Instrumentation and Methods (2001)

دانلود کتاب Absolutely foxed

دانلود کتاب Podrid’s Real-World ECGs: A Master’s Approach To The Art And Practice Of Clinical ECG Interpretation, Volume 5B

دانلود کتاب Mastering C++

دانلود کتاب Conversations on Social Choice and Welfare Theory