د آزموینې پروګرامونه - د سافټ محصول تېروتنې کشف پروسه

په سافټ وير جوړونه، د تولید په پروسه کې د پام وړ برخه په سافټ ازموينه پر بنسټ. دا څه دي او څه ډول ده دغه ډول کړنو به په دې ليکنه کې بحث وکړي.

هغه څه چې په يوه ازموينه په نامه؟

دا له خوا د سافټ منډه د د کوډ ناسم عملياتو ځایونو کشف ته اشاره کوي د پروسې. د غوره پايلې، په قصدي ډول د آخذې معلومات ستونزمن ټولګه جوړ. د تفتیش د اصلي موخه دا ده چې د ناکامۍ تر ټولو ښه فرصت برابر شي چې د سافټ. که څه هم کله کله د پراختيا پروګرام ازمایښت شي د کار د ظرفیت د عادي پوستې ساده شي او د دندو ترسره کولو. دا بچ وخت، خو اکثرا د سافټ ویر د unreliability، کارونکي نارضایتی، او داسې له خوا ملتيا کوي.

اغیزمنتوب

غلطيو، په لګښت کې د پام وړ اغېز او د سافټ ویر د پراختیا د اړتیا کیفیت موده څومره ښه او په چټکۍ سره دي. د د ټول د پروژې د لګښت 40٪ - نو، سره له دې چې testers معاش د پرمختگپالونکي په پرتله څو څو ځلې د کوچني تر لاسه کوی، د هغوی د خدمتونو د لګښت معمولا تر 30 دی. دا د دې لپاره پرسونل شمیر له امله، ځکه د غلطي د لټون - دا يو غير معموله او خورا ستونزمنه پروسه ده. خو که څه هم د سافټویر د ازموینو د درناوي شمېر وفات شو، هلته دی 100٪ ضمانت نشته چې تېروتنې به نه شي. نه پوهيږم، چې کله چې پیښیږي. د testers وهڅوي چې د ازموینو کې چې د دې ډیر احتمال شته چې د ګناه د موندلو ډولونه غوره، انګیزه مختلفو وسیلې کارول کیږي: د دواړو اخلاقي او مادي.

د کار او کړنلاره

د مطلوب دی کله چې د بیالبیلو میکانیزمونو د پلي کولو لپاره باوري کړي چې په سافټ غلطيو د پیل څخه نه دي. د دې، تاسو بايد د مناسب معمارۍ ډیزاین، د دندو روښانه اصطلاحاتو پاملرنه، او دا مهمه ده نه په اړیکو، تعديل لپاره کله چې په دغه پروژه کې د کار له وړاندې پیل کړي دي. په دې صورت کې، چې د غلطيو، چې په وروستیو پایلو کې پاتې يو کم شمېر د موندلو او د تشخيص دنده د ټسټ. دا به د وخت او پيسو د دواړو وژغوري.

د امتحان څه ده؟

دا د هغه د معاينې فعاليتونه يو مهم اړخ، چې د د کوډ عيب بریالي د کشف لپاره اړين دي. دوی د دې لپاره چې د صحيح غوښتنلیک کنټرول ضروري دي. د آزموينې په څه شامل دی؟ دا جرګه د معلوماتو او د خپلو لومړنيو ارزښتونو چې باید د پایلو (يا منځني) په توګه ترلاسه کړي. د دې لپاره چې په بریالیتوب سره ستونزې او تناقض په ګوته کړي، ازموینو باید وروسته د الګوریتم جوړ شوی و، خو پروګرامونه نه پيل شي. دا په زړه پورې تر څو د اړتیا وړ مالومات اټکل څو لارو کار واخلي. په دې صورت کې د یوه تېروتنه په تشخیص ځکه چې تاسو کولای شي د يوه بل پلوه، دغه کوډ معاينه د احتمال زیات شي. پیچلی ازموینو باید د پای سافټ محصولات بهرنۍ اغېزې، او همدارنګه د هغه د کار الگوريتم تایید کړي. د ځانګړو ګټو او حاشیوي وزغمی مواردو کې برابر کړي. په دې ډول، د غلطيو د عمل کولای شي اکثرا په ډاګه کړې چې د دوران په يو يا زيات ځلې له پلان څخه لږ فعالیت کوي. دا هم مهمه ده چې د کمپيوټر د ازموینی له لارې کوم چې تاسو کولای شي تایید کړي چې د بیال بیلو ماشینونه مطلوبه پایله ده. دا ضروري ده تر څو د باوري کړئ چې د سافټ ویر به په ټولو کمپیوټرونو سره کار وکړي. سربیره پردې، د کمپيوټر ټسټ، په کوم چې په پرمختګ سره به ترسره شي، د څو پلاتفورم پرمختګ د رامنځته کولو مهم دی.

ستونزو هنر

پروګرامونه اکثره وختونه موخه سره ستر ارقامو سټونه کار وکړي. آیا دا ضروري ته په بشپړه توګه جوړ کړي؟ شمیره پراخه د دغه پروګرام چې "miniaturization" د عمل ته رسولې ده. په دې صورت کې د معلوماتو د حجم یو معقول کمښت شتون لري په توګه په پرتله چې وکارول شي. راځئ چې په يوه بېلګه وګورئ: یو پروګرام، چې د اندازه 50x50 يوه لايحه رامنځته شته. په بل عبارت - تاسو باید په لاسي د 2500 ارزښتونو ته ننوځي. دا یقینا چې ممکن وي، خو دا به يو ډېر اوږد وخت ونيسي. خو د دې لپاره چې د فعالیت وازمايي، د سافټ يوه لايحه د چا بعد دی 5x5 تر السه کوي. د دې، چې تاسو ته اړتيا څخه زيات 25 ارزښتونو ته ننوځي. که، په دې صورت کې، د یو نورمال، تېروتنه-وړيا عمليات، دا په دې مانا چې د هر څه په صحيح دی. که څه هم د ځواکم چې په حقیقت چې سره miniaturization حالت رامينځ ته شي، په پایله کې بدلون ضمني شي او په موقت ډول له منځه دروغ دي. دا هم ډېر لږ دی، خو تر اوسه هم پیښیږي دا ده چې د نوي خزندې شته دي.

اهداف تعقيب

د آزموینې له کبله له دې چې دا پروسه ایا ته په بشپړه توګه رسمي نه ده يوه آسانه دنده نه ده. لوی پروګرامونه تقریبا هیڅکله د اړتيا وړ کره معیار لري. له همدې امله، په توګه د غیر مستقیم مالومات، چې، که څه هم، نه شي په بشپړه توګه د سافټ ویر د پراختیا د ځانګړنو او دندې چې د debugged منعکس شمېر په کارولو سره یو لارښود. سربیره پردې، دوی باید غوره شي، تر څو د صحيح نتيجه محاسبه مخکې د سافټ محصول به په څه ډول ازمویل شي. که تاسو د پرمختګ نه، دا لږوې د ټولو په اړه په پام کې، او که د ماشین په پایله کې په اټکلي لړ شو، دا به جوړ شي ناسمه پریکړه، چې هر څه سم دي.

په مختلفو شرايطو لاندې وګورئ

د قانون په توګه، د پروګرام د ازمايښت په حجم کوم لپاره یو محدود حد اقل ازموينه فعالیت ضروري دي واقع دی. فعالیتونه د پارامترونو د بدلون، او همدارنګه د هغوی د کاري شرايطو ترسره کړي دي. د آزموینې بهیر کولای شي په درې پړاوونو ويشل:

• عادي شرايطو لاندې وګورئ. په دې صورت کې موږ د جوړ سافټ اساسي فعالیت وازمايي. په پايله کې بايد د توقع سره مطابقت.
• په سختو شرایطو وګورئ. په دغو قضیو کې، سره د احاطې د معلوماتو، چې کېدای شي منفي د جوړ سافټ د کړنو اغیزه مترادفه. د بېلګې په توګه، موږ سره یو ډیر ستر وي او یا لږ شمېر او یا د معلوماتو د هم بشپړ نه شتون ترلاسه کار وکړي.
• په استثنایی حالاتو کې ګوري. دا شامل دي د معلوماتو د استعمال چې د درملنې څخه پورته وي. په داسې حالاتو کې، دا ډېره بده خبره ده کله چې سافټ ویر يې په توګه د محاسبه ګټور درک کوي او ورکوي یو د خصوصیاتو په پایله کې. د پاملرنې باید ونیول شي چې په داسې پېښو کې د هر ډول معلومات چې په سمه توګه نه شي پروسس شي رد شته. دا هم اړینه ده، چې د په اړه دا د کارونکي خبر ورکړي

د آزموینې: ډولونه

پرته له ګمراهۍ سافټ ویر جوړول ډېره ستونزمنه ده. دا یوه د وخت د پام وړ اندازه اړتیا لري. د تر لاسه يو ښه محصول اکثرا د آزموینې دوه ډوله کارول: "Alpha" او "د بيټا". دوی څه دي؟ کله چې خلک د الفا ازمايښت په اړه خبرې کوي، دا په دې مانا په بیاکتنه کې د ځان د پرمختګ "لابراتوار" شرایط د دولت ترسره شي. دا د ازمايښت د تېر پړاو مخکې د دې پروګرام به پای-users ته وسپارل شي. له همدې امله، پرمختگپالونکي هڅه کوي څو اعظمي شاوخوا اړوي. د عملياتو په اسانۍ، د معلوماتو غونډال کولای شي د ستونزو او د هغوی د حل د يو Chronology رامنځته کړي. د بيټا ازموینه مخې ته د کاروونکو محدود شمیر د سافټ ویر د رسولو پوه شي، نو دوی کولای شي د پروګرام د ګټه پورته کړي او د غلطي مو له لاسه په ګوته کړي. په دې صورت کې یوه ځانګړې ځانګړنه دا حقيقت دې چې زياتره د سافټ ویر د خپلو اصلي اهدافو لپاره نه استعماليږي. ځکه چې د دې ناکامي به په ګوته شي چې هلته هيڅ وه مخکې ليدلي. دا د عادي او اندېښنه په اړه دا ضروري نه ده.

ازموینه بشپړول

که د تیر ګامونه په برياليتوب سره بشپړې شوې دي، دا پاتې ده چې د منلو ازموینې ترسره کړي. هغه په دې حالت کې يواځې يو تشريفاتي شي. دغه ازموینه په اوږدو کې راځي تاييد چې نه اضافي ستونزې پیدا شوي او د سافټ ویر کولای شي په بازار کې خوشې شي. ، د نور له نږدې دا تاييد تر ټولو مهم به په پای کې پایله وي به شي. بايد پاملرنه وشي تر څو چې ټول ګامونه په برياليتوب سره بشپړې شوې دي. دلته په ټولیزه توګه د آزموینې بهیر دی. اوس راځئ چې د تخنیکي جزییات اوچتوي او داسې یوه ګټوره وسیله په اړه خبرې وکړي، چې د ازموینې پروګرامونه. کله چې کارول يې څه دي او؟

کمپيوټر په مرسته ازمايښت

پخوا دا فکر شو چې د جوړ سافټ خوځنده تحليل - دا هم د درنو روش چې په اغیزمنه توګه سؤتغذي کشف کارول. خو له امله د پروګرامونو د زياتيدونکې پېچلتيا او حجم مخالف نظر ښکاري. اتومات ازموينه کارول کیږي چې تر ټولو مهم لومړیتوبونه دي موثریت او خونديتوب. او بايد هر آخذه لاندې وي. شبکې د پروتوکولونو، ویب سرور، sandboxing: د بېلګې په توګه، د پروګرامونو لپاره چې د دا ډول ازمايښت مناسبه ده، په لاندې ډول دي. موږ ته دوام ورکړي چې په يو څو نمونې، چې کېدای شي د دغه ډول فعالیتونو لپاره ګټه واخیستل شي وګوري. که تاسو په وړیا ازمايښت پروګرامونو سره مينه، د کیفیت سخته ده چې د هغوی په منځ کې پيدا کړي. خو شته دي د ښه جوړ پروژو "سنما" نسخې منځ پانګي، نو تاسو کولی شئ د خپلو خدمتونو ته مراجعه وکړئ.

واورې د

دا وسیله له عيب په خوځنده تحلیل اکر پروګرامونو ازمویل کشف کې مرسته کوي. دا معلومات راټولوي او د روان طرحه څيز د کړنو تحليل. د ټسټ ده د عواملو چې سبب خطا او يا د خنډونو د موجوده ټولګه (بروزر) ټولګه ورکړل. یو د الګوریتم د احتمالي حالاتو کې يو زيات شمېر له خوا جوړ ښه ازموينه مننه. دغه پروګرام د آخذې معلومات، چې اجازه ورکړي چې د حالاتو کې یو زیات شمیر وڅومرول او شرايط په کوم کې چې په زیات احتمال د ناکامۍ پدیده ده د جوړولو لپاره یو مختلف ټولګه تر السه کوي. د دې پروګرام مهمه ګټه ده د سوهم له متريک د استعمال. که یوه ستونزه موجود وي، نو د غوښتنليک د ګمراهۍ ډير احتمال لري. خو د دې پروګرام لکه يوازې يو پوستې په نښه آخذه ساکټ او يا دوتنې محدودیتونه لري. کله چې د عملياتو د ترسره کولو لکه د ازمايښت پروګرامونه به له صادرېدو سره آفسيټ له امله د کتابتونونو د استعمال د ستونزو، لایتناهی کړۍ_ګانې، ناسم پتې یا malfunctions په اړه تفصيلي معلومات لري. البته، دا د غلطيو د کشف او د هغوی یوازې عام مثالونه یو بشپړ لست کې نه ده. سمولو نیمګړتیاوو، افسوس، پرمختگپالونکي لري - اتومات وسيله د دغو موخو لپاره مناسب نه دي.

KLEE

دا د آزموینی لپاره د حافظې يو ښه پروګرام. دا تقريبا 50 سیستم غوښتنې او د مجازی پروسو په موازي او یا په جلا توګه اعدام یو زیات شمیر کیږی. خو په عمومي توګه، د پروګرام د نه د ځینو شکمنو ځایونو په لټه کې، او د کوډ اعظمي ممکنه اندازه پروسس او تحلیل د معلوماتو لارو کارول. له دې امله، د دې ازموينې پروګرام د څيز په اندازه پوري اړه لري. کله چې د آفرونو د کتلو پر سمبولیک پروسو ځای. هغوی د یو پروګرام دی چې ازمویل کې دندې ترسره کوي د ممکنه لارو یو. د موازي عملیاتو مننه ممکنه ده چې د د د د ازموینې د درخواست د کار د بېرغونو یو زیات شمیر تحلیل. د آخذه ارقامو سټونه هر لاره کې خپل ازموینه کوم چی سره د چک پيل وروسته ساتل شوي دي. دا بايد په نښه شي چې د آزموینې د پروګرامونو KLEE په کارولو سره مرسته کوي چې د توپير، چې بايد نه وي یو زیات شمیر په ګوته کړي. دا هم په کاريالونو کې چې د لسیزو لپاره جوړ شوي دي ستونزې پيدا کړي.