کتاب حفاری چرخش با عمل برش

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

فهرست مطالب این کتاب:

1- مقدمه

2- اساس حفاری با عمل برش

3- فلاشینگ خرده های حفاری

4- ابزار های برش

نوع فایل : PDF

تعداد صفحات : 14

تحقیق در مورد چرخش آلفا ـ امگا

اختصاصی از فی فوو تحقیق در مورد چرخش آلفا ـ امگا دانلود با لینک مستقیم و پر سرعت .

لینک پرداخت و دانلود *پایین مطلب*

فرمت فایل:Word (قابل ویرایش و آماده پرینت)

تعداد صفحه:46

 فهرست مطالب

  پوشش کدی FAQ

آیا پوشش شاخه‌ای همان پوشش مسیری می‌باشد؟

آیا پوشش مسیری می‌تواند به دست آورده شود؟

چه موقع می‌توانم تست کردن را متوقف کنم؟

روش مدل‌ها پوشش کدی دامنه‌ای نمودار جریان کنترلی

پوشش شاخه‌ای (انشعابی)

 چند مسیر باید برای کسب پوشش شاخه‌ای پوشش داده شود؟

پوشش چند وضعیتی

پوشش کدی مقصد

تکرار پوششی

 حلقه‌های ساده

حلقه‌های لانه‌گذار

حلقه‌های زنجیروار

روش 4: آزمایش حلقه‌های لانه‌گذار

حلقه‌های اسپاگتی

پوشش جریانی اطلاعات

قسمت تاریک پوشش کدی روش

ساختمان نمودار جریانی گروه

آلفا و امگا دو وضعیت نگاه دارنده مکان می‌باشند که چرخش زندگی هر شئ را به هم می‌کند. (وضعیت‌های آلفا و امگا ـ بخش 7). وضعیت آلفا ابزار شئ را قبل از اینکه ساخته شود نشان و ارائه می‌دهد. وضعیت امگا لاشه یک شئ را بعد از اینکه از بین رفت یا اینکه خراب شد نشان می‌دهد. هیچ آزمایش و تستی برای اشیاء در این وضعیت‌ها انجام نشده است. چرخش آلفا ـ امگا شئ را تحت آزمایش از وضعیت آلفا به وضعیت امگا با فرستادن پیام با هر روش حداقل یک بار می‌برد. مجموعه تست چرخش آلفا ـ امگا نشان می دهد که همه روشها در یک گروه به طور جزئی قابل عمل می‌باشند. گذشتن این چرخه به معنی این است که گروه تحت تست آماده آزمایشات و تست‌های پر هزینه‌تر می‌باشد. عناصر چرخه آلفا ـ امگا در (گراهام 94+، اوربک 94، فایر اسمیت 95، و فایر اسمیت 96) فهرست شده است. یک مجموعه تست آلفا ـ امگا ابتدا روش‌های ساده را امتحان می‌کند. هیچ کوششی برای به دست آوردن پوشش جمله‌ای یا امتحان کردن همه مسئولیت‌ها انجام نمی‌گیرد. این کوشش بعداً انجام می‌شود، بعد از اینکه گروه به اندازه کافی و خوب به منظور حمایت تست‌های وسیعتر، کار کند. یک چرخه آلفا ـ امگا شش مرحله اصلی دارد. تست کننده یک پیام به هر یک از روش‌های زیر در ترتیب تعیین شده می‌فرستد.

1. روش جدید یا سازنده
2. روش دست یابنده
3. روش بولین (شرطی)
4. روش اصلاح کننده (تغییر دهنده)
5. روش تکرار کننده
6. روش از بین برنده و خراب کننده

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

مدل‌های تستی بر پایه اجرا نقش پوشش قانونی: یک مدل پوشش قانونی شامل قسمت‌هایی از اجرا می‌شود که باید برای برآوردن مدل تستی بر پایه اجرا برآورده شود. پوشش به عنوان یک متریک، درصدی از این قسمتهای آزمایش شده به وسیله یک مجموعه تستی می‌باشد. برای مثال هر مجموعه تستی که باعث می‌شود هر زیرحساب حداقل یکبار امتحان شود، 100 درصد پوشش زیرحسابی یا به طور ساده پوشش زیرحساب تهیه می‌کند. صدها پوششی از اواخر 1960 استفاده، نشر و تجزیه و تحلیل شد. تقریباً همه تستهای بر پایه اجرای حمایتی، به استثنای نمودار جریان گروهی، هیچ مدل پوششی قانونی جدید مهمی برای اهداف سازگار با سافتور پیشنهاد یا توسعه نشده است. مدل‌های پوششی و قانونی دامنه روش در این جا مرور می‌شود. و هر کدام به وسیله ابزار پوششی در دسترس تجاری حمایت می‌شوند که این برای شش زبان یا شرح دادن مفهوم تستی مهم می‌باشد. بعضی از پیشنهادات پوششی برای اهداف سازگار با قوانین در بخش 4-4 (مدل‌های پوششی برای اهداف سازگار با تست) خلاصه‌می‌شود. در روش تستینگ، پوشش به وسیله معیار کفایت تعریف می‌شود که این عناصر یک IVI تمرین شده به وسیله یک استراتژی تستی را تعیین می‌کند. (ویوکر 88). یک مجموعه تستی اگر همه عناصر امتحان شده، امتحان شده باشند، کافی می‌باشد. استراتژی تستی X گفته می‌شود که زیرمجموعه استراتژی y باشد اگر همه عناصری که y امتحان می‌کند، همچین به وسیله X  نیز امتحان شوند. برای مثال گفته می‌شود که پوشش شاخه‌ای زیرمجموعه‌ پوشش زیرحسابی (جمله‌ای) باشد.