دانلود

متون موجود در حال حاضر برای دانش آموزان و محققان بسیار عمومی است و فقط تکنیک‌های رسمی تحلیل استاتیک(Static Analysis) را پوشش می‌دهند. این کتاب نمونه‌های واقعی از تکنیک‌های رسمی به نام «تفسیر انتزاعی»(Abstract Interpretation) در حال حاضر در صنایع مختلفی مورد استفاده قرار می گیرد، شامل: راه آهن، هوانوردی، فضا، خودرو و غیره. هدف از این کتاب این است …

این کتاب متنی روش‌هایی را که مهندسان نرم‌افزار برای بنیان کردن کیفیت در نرم‌افزارهای خود استفاده می‌کنند را توصیف می‌کند. اصول اساسی مدیریت کیفیت نرم‌افزار و بهبود فرآیند نرم‌افزار با توجه خاص به چارچوب CMMI، به طور دقیق در این کتاب مورد بحث قرار می‌گیرد. ویژگی‌های [این کتاب] عبارتند از: بررسی سوالات در پایان هر فصل؛ که تئوری و عمل …

آنچه که متخصصان در مورد این کتاب می‌گویند: -دکتر Jeff Offut، استاد مهندسی نرم‌افزار، دانشگاه George Mason، فیرفکس(Fairfax) ویرجینیا، ایالات متحده آمریکا: “این کتاب دقیقا همان چیزی است که در زمان کاملا مناسب در این حوزه سریع‌الرشد نیاز می‌شود. به نسبت ۱۰ سال پیش(یعنی آغاز این موضوع)، که از استخراج تست‌ها از نمودارهای UML می‌گذرد، تست مبتنی بر مدل به موضوعی با …

کتاب Secure and Resilient Software: Requirements, Test Cases, and Testing Methods مجموعه‌ای جامع از نیازمندی‌ها برای توسعه و بهره‌برداری نرم‌افزار امن و انعطاف‌پذیر آماده می‌کند. این کتاب Test Caseهای مستند شده را برای این نیازمندی‌ها و همچنین بهترین روش‌ها(Best Practice) برای تست کردن نیازمندی‌های Non-Functional به منظور تضمین اطلاعات(Information Assurance) بهبود یافته را، تامین می‌کند. این کتاب غنی مشتمل بر مطالب …

چگونه کیفیت رویکرد توسعه‌دهندگان نرم‌افزار نقش مهمی در نتیجه موفق پروژه‌های آنها ایفا می‌کند(با این حال اغلب موضوعات کیفی به بخش‌های QA منتقل می‌شوند). وقت آن است که این تفکر را تغییر دهیم. در این کتاب یعنی The Programmer’s Guide to Quality Assurance نویسنده آقای David Pallmann، به عنوان یک توسعه‌دهنده کهنه‌کار، یک راهنمای عملی روشن روی بدست آوردن مالکیت …

کتاب Non-Functional Requirements in Software Engineering یک رویکرد سیستماتیک و عملی برای ایجاد کیفیت در سیستم‌های نرم‌افزاری است. سیستم‌ها باید ویژگی‌های کیفیِ نرم‌افزار، مانند دقت(Accuracy)، کارایی(Performance)، امنیت(Security) و تغییرپذیری(Modifiability) را نمایش دهند. با این حال، حتی اگر تکنیک‌های زیادی برای برآورده شدن نیازمندی‌های کارکردی(Functional Requirements) جهت ارائه قابلیت‌های مورد نظر وجود داشته باشد، این نیازمندی‌های غیر کارکردی(Non-Functional Requirements-NFRS) برای مشخص کردن …

مشکلات متعدد در زمینه تست چندمتغیرۀ(Multivariate) پیچیده در بسیاری از رشته‌های علمی مانند مهندسی، پزشکی و علوم اجتماعی دیده می‌شود. در نتیجه، آمارهای مدرن به تست جایگشت(Permutation Testing) برای داده‌های پیچیده با حجم نمونه پایین و متغیرهای زیاد، به ویژه در مطالعات شهودی نیاز دارند. نویسندگان [در این کتاب]، خلاصه‌ای از تست‌های جایگشت با تمرکز بر پیشرفت‌های نظریِ اخیر در …

با توسعه تست محور پذیرش(Acceptance Test-Driven Development-ATDD) مشتریان کسب و کاری(Business Customer)، تسترها و توسعه‌دهندگان می‌توانند برای تولید نیازمندی‌های تست‌پذیر(Testable) که به آنها کمک می‌کند سریعتر نرم‌افزاری با کیفیت بالاتر را تولید کنند، با یکدیگر همکاری نمایند. با این حال، بسیاری از متخصصان ATDD هنوز به طور گسترده‌ای دچار سوتفاهم هستند. کتاب ATDD by Example اولین راهنمای عملی و دستی برای …

Validation(اعتبارسنجی) و Verification(راستی آزمایی) حوزه‌ای از مهندسی نرم‌افزار است که از مراحل اولیه توسعه برنامه به شمار می‌آید، و یکی از شناخته شده‌ترین نواحی آن تست کردن است. تست، سَمتِ پویای اعتبارسنجی و راستی آزمایی(V & V) است که با سایر تکنیک‌های رسمی مهندسی نرم‌افزار تکمیل شده است. بنابراین راستی آزمایی استاتیک(در متدهای رسمی سنتی یا Traditional خوانده می‌شود) با …

کتاب Software Testing به صورت ویژه جهت استفاده به عنوان کتاب متنی برای دانشجویان کارشناسی و کارشناسی ارشد مهندسی کامپیوتر و فناوری اطلاعات طراحی شده است. این کتاب بر تست نرم‌افزار به عنوان نه فقط مرحله‌ای از چرخه حیات توسعه نرم‌افزار، بلکه به عنوان فرآیندی کامل برای برآورده کردن تقاضای نرم‌افزارِ با کیفیت متمرکز است. این کتاب در قالب بسیار روشن …