د ازمايښت سافټ میتودونه او د هغوی سره پرتله کړئ. د "تور بکس" ازمايښت د آزموینې طریقه او د "سپين بکس" میتود

د آزموینې سافټ (SW) کوډ چې باید حل شي په تشو، نیمګړتیاوې او تېروتنې په ګوته کړي. دا هم تعريف شي د سره د تحلیل په مرسته د سافټ ویر د فعالیت او د صحت د ارزونې د پروسې په توګه. د ادغام او د سافټ غوښتنلیکونه ازمايښت اساسي میتودونه او ډاډ کیفیت ده چې د سمتياوې، ډیزاین او ايښودنه، اعتبار د ارزونې، د اعتبار او تصديق وازمايي.

میتودونه

د سافټ ازمايښت اصلي موخه - د دقت سره کنترول شوي شرايطو لاندې سیستماتیک debugging غوښتنليکونو له لارې د سافټ سیستم د کیفیت د تصدیق د خپلو په بشپړيدو او دقت، او همدا شان د پټ غلطيو د کشف معلوم کړي.

د تصدیق ميتودونو (ازمايښت) پروګرامونه کولای شي د ثابتو او خوځنده شي وېشل.

د پخواني شامل غير رسمي، د څارنې او تخنیکی بیا کتنه، د معاينې، له خوا ګام تحلیل، تفتیش ګام، او همدارنګه د ثابتو معلوماتو د جريان تحلیل او مدیریت.

خوځنده تخنیکونه دي:

1. سپين بکس ازمايښت. دا د هغه د دې پروګرام د داخلي منطق او جوړښت په اړه یوه مفصله څېړنه. دا د سرچينې کوډ د علم ضروري ده.
2. تور بکس ازمايښت. دا تخنیک دا چي د د غوښتنليک د داخلي توګه په اړه د هر ډول پوهې ته اړتیا نه لري. موږ يوازې د سيستم اساسي اړخونه په اړوندو چارو، نه او يا د خپل داخلي جوړښت منطقي یو څو سره تړلي بولي.
3. خړ بکس طريقه. دا د دوو پخوانيو ترکیبوي. سره د داخلي دندې د غوښتنلیک محدود علم Debugging سره د نظام اساسي اړخونو پوهه ګډو.

شفاف ازمايښت

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

له خوا د سپين بکس Testing پروګرامونو لاندې ګټې لري:

• دا اجازه ورکوي چې د غیر ضروري کرښو له مينځه وړلو د پټ کوډ په یوه تېروتنه کشف؛
• د جانبي اغېز په کارولو؛
• اعظمي پوښښ لاسته راوړنې له خوا په يوه ازموينه کې سکرېپټ د لیکلو ده.

زيانونه:

• د لوړ لګښت د بهیر، اړتیا ماهر کړاوتمبوونکي؛
• ډېرو لارو کشف پاتې شي ځکه چې د ټولو ممکنه پټ غلطيو بشپړه پوستې ډیره پیچلې ده؛
• د کوډ د ځينو به له پامه غورځول کې تصویب شي.

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

د عمده ډولونه:

1) ازمایښت د جریان کنترول - جوړښتي ستراتيژۍ د پروګرام د کنټرول د جريان موډل په کارولو او په توګه لږ ډېر پېچلی ډیر ساده لارو پلوي؛

2) د څانګې طرحه شوې ده چې د هر انتخاب د هر کنترول Operator د، چې د ګډې د حل لاره هم شامل دي (او یا غلط) debugging زده؛

3) د اصلي لاره، چې د ټسټ ته اجازه ورکوي چې د اعدام لارو یو مرکز جوړ نظره وغورځوي منطقي پیچلتیا اندازه د کړنلارو په پروژې جوړولو ازمايښت؛

4) د ارقامو د ويالو د کتلو - يادونو له خوا د څیړنې په جریان کې د کنترول د ستراتیژۍ د زیږدیز کال په اړه د حساب معلومات او د پروګرام متحولونه وکاروي؛

5) دورو د ازمايښت - په بشپړه توګه د راڅرګندېدل پروسو سمه عملیاتو تمرکز درلود.

سلوکي debugging

تور بکس ازمايښت په توګه د "تور بکس" د سافټ درملنه - د پروګرام په داخلي توګه په اړه معلومات نه دي شمېرل، او یوازې د نظام اساسي اړخونو وکتل. په دې حالت کې، د ټسټ ته اړتيا لري چې د سرچينې کوډ ته د لاس رسي پرته د نظام معمارۍ پوهيږي.

د دې روش ګټي:

• د سترو کوډ برخه موثریت؛
• د نظر ټسټ کمولو؛
• د کارونکي نظره په واضح ډول د پراختیا د لیدلورو (پروگرامر او ټسټ دي د هر نورو خپلواکو) سره جلا؛
• نور د ازموینې د چټک رامنځته.

د آزموینې سافټ تور بکس ميتود لاندې نيمګړتياوي لري:

• په حقیقت کې د ازموینې قضيو شمېر ټاکل ترسره، په پایله کې محدود پوښښ؛
• د یو روښانه ځانګړنه ستونزمن ازموينه سکرېپټونو وده نشتوالی؛
• لږ موثریت.

د دې ټکنالوژۍ نور نومونه - د کړو وړو، غیر شفاف، فعال ازمايښت او د یوه تړل بکس debugging طريقه.

په همدې وېشنيزه کې کېدای شي الندې سافټ ازمايښت تخنيکونه شامل دي:

1) معادل تجزېې، چې کېدای شي د امتحان د معلوماتو په توګه آخذه سافټ ماډل معلومات جلا برخو تجزيه د سیټ د کمولو؛

2) د احاطې ارزښت تحلیل د پولو یا افراطي ارزښتونو حد د تصدیق تمرکز کوي - د لږ تر لږه، اعظمي، او د ګمراهۍ عادی ارزښتونو؛

3) fuzzing - له خوا ځیین غلطيو او يا په اتومات یا نیمه اتومات اکر فاسده ډاټا poluiskazhennyh د لټون پلي کارول شوی؛

4) د علیت حساب - یو تخنیک پر بنسټ د ګراف د جوړولو او د عمل او د هغې د لاملونو تر منځ د اړیکو په ټاکلو: د هویت، د نفي، منطقي یا او منطقي او - د څلورو اصلي تورو، د لامل او اغیز تر منځ د اړیکو څرګندوي؛

5) د orthogonal arrays تصديق سره آخذه يو نسبتا کوچنۍ سيمه د اید څېړنې امکان زیات ستونزو تطبيق؛

6) د ټولو جوړو Testing - یو تخنیک چې د ازموینې ارزښتونو يوه ټولګه د آخذه پارامترونو هر جوړې د ټولو ممکنه دويال ترکیب لري؛

7) debugging دولت انتقال - تخنیک لپاره د ماشین د حالت په کتلو، او همدارنګه د لارې وتل ګټور برسېر د کارونکي.

تور بکس ازمايښت: مثالونه

تور بکس تخنیک پر مشخصاتو، اسناد، او د سافټ ليدنمخ یا سیستم توضیحات پر بنسټ. برسېره پر دې، چې تاسو کولای شي نمونې د (رسمي يا غير رسمي) وکاروي، د سافټ اټکلي سلوک استازیتوب کوي.

په خاصه توګه، له دغه میتود څخه د debugging کارن ليدنمخ کارول او سره له خوا د معلوماتو د راټولولو او د پایلو معرفي د غوښتنليک د متقابل عمل ته اړتيا لري - پرده څخه، له راپورونو او يا printouts.

د ټسټ، له همدې امله، سره له خوا ځیین، د سرپرستانو له خوا پر سویچونه، تڼۍ یا نورو interfaces د سافټ ویر په تعامل. د آخذې معلومات انتخاب، د ادارې او يا د کړنو تسلسل په امر کولای شي چې د ترکيب په يو ستر ټول شمير سبب، لکه په لاندې مثال کې ښودل شوي.

څومره ازموینو اړتیا تر څو ټول د 4 کړکۍ له بېرغ او یو پړاو ډګر لپاره د امکان ارزښتونو وګورئ، د وخت په ثانيو کې جوړ؟ په لومړې نظر کې محاسبه ساده دی: 4 برخو کې سره دوه امکان States - 24 = 16، چې باید له 00 تر 99 د ممکنه پوستونو شمېر څو چنده شي، i.e. 1600 ممکنه ازموینو.

په هرصورت، دا محاسبه غلط دی: موږ کولای شو چی د دوه ټکی ډګر هم کولای شي د يو ځای لري، يعنې دا د دوه په الفبې پوستونو څخه جوړه ده او کولای شي په دې ډول په الفبې تورو، د ځانګړو تورو، ځایونو، او داسې نور شامل دي، که .... نظام دی 16-bit کمپيوټر، په پایله 4294967296 ازموينه مواردو کې چې دي چې د بيرغونو په 16 ترکیب چې ټول ټال د 68.719.476 736. که دوی ترسره ورکوي څو چنده شي د هر موقف اړوي 216 = 65536 یو په هر دویم 1 ازموينه کې، ټول اشاريي olzhitelnost ازمايښت دی 2 177.5 کاله. د 32 يا 64-bit سیستمونو، موده نور هم.

له همدې امله ده ته د منلو وړ کچه د دې موده کې کم شي. په دې ډول، د تخنيکونو بايد استعمال شي چې د ازموینې د قضيو د شمېر د ازمايښت د وسعت په کمولو پرته کم کړي.

Equivalence partitioning

د معادل Partition کې یو ساده میتود دی چې د هر متحولونه دي چې په سافټ حاضر تطبيق وړ وي، چې ایا آخذه یا محصول ارزښتونو، سمبولیک، شمېريزو، او نور. دا په اصل پر بنسټ ولاړه ده چې له یوه معادل د تجزېې به د ټولو معلوماتو له خوا په ورته توګه چلند وشي او دی ورته لارښوونه.

ازمايښت په ترڅ کې، د هر ځانګړي equivalence تجزېې يو استازې غوره کړ. دا تاسو ته اجازه درکوي په سيستماتيک ډول پرته د قومندې او د دندو د پوښښ له لاسه د ازموینې امکان قضیو شمېر کم کړي.

د دې partitioning بله پايله دا ده چې د مختلفو متحولونه او د ازموینې د قضيو د تړاو د کمولو تر منځ د combinatorial چاودنه کم کړي.

د مثال په توګه، په (1 / x) ^1/2 کارولو درې مالومات سلسله، درې معادل تجزېې:

1. ټولې د مثبتې شمېرې به په همدې لاره چلند وشي او بايد صحيح پایلې ښائي.

2. ټول منفي شمېر په همدې پايله کې ورته لاره سمبال دي. دا ناسمه وي، ځکه چې د یوه منفي شمېر د ريښو ده د خیالي.

3. د صفر به په جلا توګه اداره شي او د "له خوا د صفر فرقې" تېروتنه ورکړي. دا سره د یو واحد ارزښت یوه کړی.

په دې ډول، موږ له دري برخو، چې يو يې د يوه واحد ارزښت کم وګورئ. شته يو "درست" کړی، چې د اعتماد وړ پایلې ورکوي، او دوه "غلط" سره ناسم پايلو.

د احاطې ارزښت تحلیل

د پروسس د معادل partitioning د پولو په مختلف ډول کولای شي له توقع څخه. د حد ارزښتونو څېړنې - د په داسې سيمو کې د پوستکالي د سلوک د تحليل یوه مشهوره میتود. دا تخنیک د داسې تېروتنې په ګوته کړي دا ممکنه کوي:

• د اړیکی متصدیانو د ناسم استعمال (<،>، =، ≠، ≥، ≤)؛
• واحد غلطي؛
• په دورو او iterations ستونزې،
• غلط ډولونه او يا د متحولونه د معلوماتو د ذخيره کولو لپاره کارول اندازه؛
• مصنوعي محدودیتونو سره د معلوماتو د ډولونو او متحولونه تړاو لري.

translucent ازمايښت

خړ بکس طريقه زیاتوی د ازموینې د پوښښ، تاسو کولی شئ چې د تور او سپين تخنيکونو د ترکيب له لارې په ټولو د سیستم ستونزمن کچه پاملرنه وکړي.

دا تخنیک په کارولو سره، د ټسټ د ارزښتونو د پرمختګ لپاره د ټسټ باید د داخلي معلومات جوړښتونو او الگوريتم پوهه لري. د خړ-بکس ازمايښت ميتودونو مثالونه په لاندې ډول دي:

• معماري موډل؛
• موټي ماډل ژبه (پاړکی)؛
• دولت موډل (د محدودو حالت ماشين).

د خړ بکس د میتود ازموينه پېښو وده په کې سپين انجینرۍ کوډونه ماډلونه مطالعه، او واقعي ازموينه ده د تور تکنالوژۍ د پروګرامونو د interfaces ترسره کړ.

دغه ازمایښت ميتودونو لاندې ګټې لري:

• د ګټې فني سپين او تور بکسونه ترکیب؛
• ټسټ پر ليدنمخ او فعال ځانګړنه، او نه د سرچینې کوډ پر بنسټ؛
• په کړاوتمبوونکي کولای شي غوره ازموينه مواردو لپاره؛
• چک دی د کارونکي، نه د پروګرام د طراح نقطې نظر څخه د جوړ؛
• د ګمرک ازموينه پرمختګ رامنځته کړي؛
• عينيت.

زيانونه:

• ازموینه پوښښ محدود ځکه چې هلته د سرچینې کوډ ته الس رسي نه لري؛
• په وېشل غوښتنلیکونه د عيب پيچلتيا؛
• څو لارو پاتې کشف شوی؛
• که د سافټ ویر د پراختیا د ازموینې پیل، نو د نورو پلټنو ښايي له حده زیات وي.

د خړ بکس تخنيکونه بل نوم - translucent debugging.

دا وېشنيزه د آزموینې دغه ميتود شامل دي:

1) orthogonal یوشان - د ټولو ترکیبونه گنل د کارولو؛

2) د دغه پروګرام د معلوماتو د دولت د کارولو جدول debugging؛

3) کمید د تفتیش په نوي بدلونونه د سافټ ویر د ترسره؛

4) کېنډۍ ازموينه چې د يو ښه درخواست د ډيزاين او معمارۍ تحليلوي.

د سافټ ازمايښت تخنيکونه پرتله

د خوځنده ميتودونو استعمال د ازموینو چې باید جوړ شي پلې او د ترسره شمیر combinatorial د چاودنې لامل ګرځي. هر تخنیک باید عملي وکارول شي، د خپلو محدودیتونو په پام کې نیولو.

د یوازې ریښتیني د ميتود شتون نه لري، هلته یوازې هغه کسان دي چې د ځانګړو شرایطو په ښه طريقه ده. Structural انجینري اجازه موږ ته د يو بې ګټې او يا ناوړه کوډونه کړو، خو هغوی پيچلي دي او د تطبيق وړ دي د لويو پروګرامونو نه. ميتودونو په اساس د مشخصاتو - د يوازنی چې کولای شي د ورک کوډ په ګوته کړي، خو هغوی نه شي کولای د يوه بهرني په ګوته کړي. ځینې تخنیکونه دي يو خاص د ازموینی په کچه، ګمراهۍ ډول یا د شرایطو د نورو په پرتله د زيات مناسب.

لاندې درې خوځنده ازمايښت تخنيکونو ترمنځ اصلي توپیرونه دي - د debugging سافټ درې فورمې تر منځ پرتله جدول دی ورکړل.

اړخ	د تور بکس میتود	خړ بکس میتود	سپين-بکس میتود
د معلوماتو د شتون په اړه د پروګرام د جوړښت	یوازې د اساسي اړخونو ګوري	د پروګرام د داخلي جوړښت په اړه د قسمي پوهه	د سرچینې کوډ ته بشپړ لاسرسی
د پروګرام ټوټه Degree	کم	د مرکزي	لوړ
debugging څوک توليدوي؟	پای کارنان، testers او پرمختگپالونکي	پای کارنان، پرمختگپالونکي او debuggers	پرمختگپالونکي او testers
اډه	د آزموینې پر خارجي بیړنیو حالاتو پر بنسټ.	دا مالومه ډیټابیس، د معلوماتو مالومه، د الګوریتم او معمارۍ د داخلي پوهه دولت	د داخلي آله ده په بشپړه توګه خبر
د پوښښ کچه	لږ جامع او د وخت د حد اقل ته اړتيا لري	د مرکزي	په بالقوه توګه د تر ټولو پراخه. د وخت ضايع
د معلوماتو او داخلي پولو	مينيوګانو یوازې له خوا محاکمه او د ګمراهۍ	آيا د معلوماتو د شپولونو او داخلي پولو وکتل شي، که دوی په توګه پېژندل شوي	د امتحان د معلوماتو غوره شپولونو او داخلي پولو
لیاقت ازمايښت الګوریتم	نه	نه	هو

اتومات

د سافټ ازمايښت اتومات ميتودونو ده څومره د تفتیش په پروسه ساده، د تخنیکي چاپیریال او د شرایطو په پام کې. دوی په دوو مواردو کې کارول شوې دي:

1) د کاغذپراني، پوستر يا د پرانټرنېټ دندو لکه د دوتنې په موخه د ټسټ ډیر مهم ټکي تمرکز وخت خوشې څو زره د قطارونو په پرتله سیستم اتوماتیک؛

2) د تعقیب او يا دندو چې نه شي په اسانۍ سره د خلکو له خوا لکه د کړنو د تاييد یا د تحلیل په ځواب ځل دی چې په د دوهم hundredths اندازه شي ترسره کوي.

امتحان وسیلې کولای شي په مختلفو طریقو طبقه بندی شي. د بل د ویش پر دندو دوی ملاتړ پر بنسټ:

• ازموينه د مدیریت، په کوم کې چې د پروژې د مدیریت د ملاتړ، نسخې، بڼې، د خطر د تحلیل، د ټسټ تعقیب، غلطيو، عيب، او راپور وسیلې؛
• اړتیاو اداره، چې د ساتلو شرایط او مشخصات شامل دي، د بشپړوالي او ابهام، خپل لومړیتوب او د هر امتحان د واردکوونکو يې وګورئ؛
• مهمه څیړنه او سکون تحلیل، د جريان د څارنې، او د دندو، ثبتول او د تبصرو، عیب د کشف د ساتلو او پالن سمونو مدیریت ته څآرونکو او اصولو، د اړیکو سرچینه اسناد او کوډ Static تحلیل سؤتغذي کشف تعقیبولو تړنې، سره د لیکلو کوډ د معیارونو سره مطابقت ډاډ په ګډون، د جوړښتونو او dependencies تحلیل، د کوډ او معمارۍ د متريک پارامترونو محاسبه. برسېره پر دې، حديثونه، تحلیلوونکي، جنراتورونو او د Cross-مرجع اړیکو وکاروي؛
• ماډل، چې د موډل د کاروبار د چلند وسیلې شامل دي او د نمونې امتحان؛
• ازموينه د پراختیا د معلوماتو تمه د شرايطو او د کارن ليدنمخ موډلونو او د کوډ په اساس د نسل ډاډ، د رامنځ ته او یا د د مدیریت، د شرايطو او خطرونو احصایوی تحلیل د اصولو په اساس دوتنې او ډيټابيس، پیغامونه، د معلوماتو د اعتبار بدلون اداره؛
• له خوا د کښنيز کارن ليدنمخ، API، د قوماندې د پرتلې په کارولو سره چې د بریالیو او ناکامو ازموینو په ګوته مرسته کرښې له لارې د معلوماتو د ننوتلو یو مهم محتویات؛
• debugging چاپیریال ملاتړ چې تاسو ته اجازه پر بنسټ د هوډمن محصول نه گنل، ترمينل emulators، ګرځنده تليفونونه او د شبکې د تجهیزاتو، د ژبو، چليز غونډالونو او د کتلو د چاپیریال د ورک هارډویر او یا سافټ ویر، او تجهیز د وسايلو په ټوک. h. ځای هارډویر له خوا د ورک برخې چلوونکی ځای، جعلي ماډلونه، او داسې نور، او همدارنګه د نيولو او د OS تعدیل وسیلې د CPU ظاهري محدودیت، RAM، ROM، یا شبکې غوښتنه کوي .؛
• .. د معلوماتو د دوتنې، ډیټابیس، په ترڅ کې او وروسته د آزموينې په بشپړ، incl فعال دی او داځکه چه په پرتله، اتومات "Oracles" د متوقعه پایلې وګورئ په پرتله؛
• د حافظې د درزونو د ځايتابه او ناسم خپل کنترول سلوک اټکل سيستم لاندې په کار لپاره یو اندازه، تحلیل او د سيسټم د سرچينو راپور تایید ودې حقیقي سناریو پټی بار بار تولید غوښتنلیکونه، ډیټابیس، شبکو یا سرور اندازه نښی په؛
• امنيت؛
• کړنو ازمايښت، بار او خوځنده تحليل؛
• نورو وسایلو، په جلد h.. د امال او العروض، وګورئ شبکه امنيت، د ټولو ویب پاڼو او نورو د شتون.

نظره

د سافټ ویر په صنعت کې د کتابتون تمايلاتو، د debugging پروسه هم د بدلون تابع ده. د سافټ ازمايښت نوي میتودونو، لکه د خدمت orientirovannae معمارۍ (SOA)، بيسيم ټکنالوژي، د موبایل خدمتونه، او داسې نور. E. موجود دي، آیا د آزموینې سافټ نويو لارو پرانستل. د بدلونونه چې په صنعت کې تمه کیږي په راتلونکو څو کلونو په اوږدو کې ځینې لست په لاندې ډول دي:

• testers به د سپکو نمونه چې د پرمختگپالونکي به وکولای شي چې د خپل کوډ وګورئ وي برابر کړي؛
• د ازمايښت میتودونو، په شمول د لید او په لومړنيو پړاوونو ماډل پروګرامونو، د تناقضات څو به له منځه پراختیا؛
• د ډېرو interceptions ازموينه شتون به د تیروتنې کشف وخت رالنډ؛
• Static analyzer او د کشف مانا شي په پراخه توګه واخستل؛
• د کاني کوولو، لکه د سمتياوې د پوښښ د استعمال، د موډل او د کوډ د پوښښ د ساحې به د پروژو د پرمختګ معلوم کړي؛
• combinatorial وسیلې اجازه testers لپاره debugging د لومړیتوب لرونکو برخو معلوم کړي؛
• testers به د سافټ ویر د پرمختګ د پروسې په اوږدو کې ډېر حسي او ارزښتناکو خدمتونو برابر کړي؛
• debuggers کولای وسیلې او سافټ ازمايښت ميتودونو په او سره د پروګرامونو د بېلو ژبو چلند لیکل رامنځته؛
• Debugging کارپوهان به نور مسلکي وروزل شي.

به د یو نوي کاروبار لرونکې سافټ ازمايښت ميتودونو بدل شي، چې د سره د سيستمونو د متقابل عمل په لاره او د معلوماتو د په داسې حال کې د خطرونو د راکمولو او د سوداګرۍ د بدلونونو د ګټو زياتوالي دوی برابر بدلون.