دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
دسته بندی: برنامه نويسي ویرایش: 1 نویسندگان: Benjamin Tyler, Neelam Soundarajan (auth.), Alexandre Petrenko, Andreas Ulrich (eds.) سری: Lecture Notes in Computer Science 2931 ISBN (شابک) : 3540208941, 9783540246176 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2004 تعداد صفحات: 264 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 7 مگابایت
کلمات کلیدی مربوط به کتاب رویکردهای رسمی به تست نرم افزار: سومین کارگاه بین المللی درمورد رویکردهای رسمی برای تست نرم افزار ، FATES 2003 ، مونترال ، کبک ، کانادا ، 6 اکتبر 2003. مقالات اصلاح شده: مهندسی نرم افزار، زبان های برنامه نویسی، کامپایلرها، مترجمان، منطق و معانی برنامه ها
در صورت تبدیل فایل کتاب Formal Approaches to Software Testing: Third International Workshop on Formal Approaches to Testing of Software, FATES 2003, Montreal, Quebec, Canada, October 6th, 2003. Revised Papers به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب رویکردهای رسمی به تست نرم افزار: سومین کارگاه بین المللی درمورد رویکردهای رسمی برای تست نرم افزار ، FATES 2003 ، مونترال ، کبک ، کانادا ، 6 اکتبر 2003. مقالات اصلاح شده نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
روشهای رسمی به طراحان سیستم امکان تجزیه و تحلیل مدلهای سیستم و استدلال در مورد آنها را با دقت و دقت ریاضی میدهد. اگرچه استفاده از روش های رسمی به مراحل اولیه توسعه یک سیستم محدود نمی شود. مراحل مختلف آزمایش نیز نمی توانند از آنها برای سهولت تولید و به کارگیری آزمون های مؤثر و کارآمد سود ببرند. بسیاری هنوز روش های رسمی و آزمایش را ترکیبی عجیب می دانند. هدف روشهای رسمی بهطور سنتی تأیید و اثبات صحت است (یک فعالیت دانشگاهی معمولی)، در حالی که آزمایش فقط وجود خطا را نشان میدهد (این کاری است که پزشکان انجام میدهند). با این وجود، علاقه فزاینده ای به استفاده از روش های رسمی در تست نرم افزار وجود دارد. انتظار میرود که رویکردهای رسمی تأثیر عمدهای بر فناوریها و شیوههای آزمایشی در حال ظهور بگذارند. ثابت می کند که آزمایش نقطه شروع خوبی برای معرفی روش های رسمی در فرآیند توسعه نرم افزار است. این جلد شامل مقالات ارائه شده در سومین کارگاه آموزشی رویکردهای رسمی به تست نرم افزار، FATES 2003 است که در ارتباط با کنفرانس IEEE/ACM در زمینه مهندسی نرم افزار خودکار (ASE 2003) بود. امسال، FATES 43 ارسال دریافت کرد. هر ارسالی توسط حداقل سه بازبین مستقل از کمیته برنامه با کمک بازبینان بعدی بررسی شد. بر اساس ارزیابی آنها، 18 مقاله ارسال شده توسط نویسندگان از 13 کشور مختلف برای ارائه در کارگاه انتخاب شدند.
Formal methods provide system designers with the possibility to analyze system models and reason about them with mathematical precision and rigor. The use of formal methods is not restricted to the early development phases of a system, though. The di?erent testing phases can also bene?t from them to ease the p- duction and application of e?ective and e?cient tests. Many still regard formal methods and testing as an odd combination. Formal methods traditionally aim at verifying and proving correctness (a typical academic activity), while testing shows only the presence of errors (this is what practitioners do). Nonetheless, there is an increasing interest in the use of formal methods in software testing. It is expected that formal approaches are about to make a major impact on eme- ing testing technologies and practices. Testing proves to be a good starting point for introducing formal methods in the software development process. This volume contains the papers presented at the 3rd Workshop on Formal Approaches to Testing of Software, FATES 2003, that was in a?liation with the IEEE/ACM Conference on Automated Software Engineering (ASE 2003). This year, FATES received 43 submissions. Each submission was reviewed by at least three independent reviewers from the program committee with the help of - ditional reviewers. Based on their evaluations, 18 papers submitted by authors from 13 di?erent countries were selected for presentation at the workshop.
Front Matter....Pages -
Black-Box Testing of Grey-Box Behavior....Pages 1-14
On Checking Whether a Predicate Definitely Holds....Pages 15-29
Using a Software Testing Technique to Improve Theorem Proving....Pages 30-41
Auto-generating Test Sequences Using Model Checkers: A Case Study....Pages 42-59
Mutually Enhancing Test Generation and Specification Inference....Pages 60-69
JMLAutoTest: A Novel Automated Testing Framework Based on JML and JUnit....Pages 70-85
Compositional Testing with ioco ....Pages 86-100
Defining Observation Objectives for Reactive and Distributed Systems....Pages 101-113
Time-Optimal Real-Time Test Case Generation Using Uppaal ....Pages 114-130
Test Cases Generation for Nondeterministic Real-Time Systems....Pages 131-146
Property Oriented Test Case Generation....Pages 147-163
Computing Unique Input/Output Sequences Using Genetic Algorithms....Pages 164-177
Automatic Generation of Test Purposes for Testing Distributed Systems....Pages 178-191
Interaction Testing in an Embedded System Using Hardware Fault Injection and Program Mutation....Pages 192-204
Automatic Conformance Testing of Internet Applications....Pages 205-222
A Use Case Driven Testing Process: Towards a Formal Approach Based on UML Collaboration Diagrams....Pages 223-235
VISWAS and on Diagnosability with IEEE Std P1522 and UML2.0 Testing Profile....Pages 236-251
Towards a Tool Environment for Model-Based Testing with AsmL....Pages 252-266
Back Matter....Pages -