آزمون برنامه های کابردی سنتی
فصل 18
نگاهی گذرا
آزمون نرم افزار چیست ؟
چه کسی آن را انجام می دهد ؟
چرا اهمیت دارد ؟
مراحل کار کدام است ؟
محصول کاری چیست ؟
چگونه مطمئن شویم از عهده کارها بر آمده ایم ؟
1
مبانی آزمون نرم افزار
جمیز بک: آزمون پذیری نرم افزار صرفاً عبارت است از اینکه یک برنامه کامپیوتری را چقدر آسان می توان آزمایش کرد.
خصوصیاتی که منجر به آزمون پذیری نرم افزار می گردد:
. قابلیت کار کردن . سادگی . قابلیت مشاهده
. پایداری .کنترل پذیری . درک پذیری
. تجزیه پذیری
نظر کینر، فالک و نگوین در مورد آزمون خوب:
آزمون خوب با احتمال زیادی خطاها را می یابد، دارای زواید نیست و باید بهترین باشد.
2
دیدگاه های درونی و بیرونی نسبت به آزمون
هر محصول مهندسی شده به یکی از دو روش زیر آزموده می شود:
دیدگاه درونی یا جعبه سفید
دیدگاه برونی یا جعبه سیاه
3
آزمون مسیر های پایه
1. نمادگذاری گراف جریان
جریان کنترل منطقی با استفاده از نماد گذاری.
متناظر با هر ساختار ساخت یافته یک نماد گراف جریان وجود دارد.
4
نمودار گردشی و گراف جریان
5
2. مسیر های مستقل برنامه
مسیر مستقل، هر مسیری از برنامه است یک حداقل یک مجموعه ی جدید از دستورهای پردازش یا یک دستور شرطی را معرفی می کند.
6
پیچیدگی سیکلوماتیک
تعداد نواحی گراف جریان متناظر با پیچیدگی سیکلوماتیک
پیچیدگی سیکلوماتیک، V(G)، برای یک گراف جریان G به دو صورت زیر تعریف می شود:
V(G)=E-N+2
V(G)=P+1
7
3.به دست آوردن موارد آزمون
استفاده از طراحی یا کد به عنوان یک بستر و رسم گراف جریان مربوط.
پیچیدگی سیکلوماتیک گراف جریان حاصل.
تعیین مجموعه ی پایه برای مسیر های مستقل خطی.
تهیه موارد آزمونی.
8
4. ماتریس گراف
یک ماتریس مربعی که اندازه آن برابرتعداد گره های موجود درگراف جریان است.
9
آزمون ساختار کنترلی
الف. آزمون شرط ها: روشی برای طراحی موارد آزمون
E1< <E2
ب. آزمون جریان داده ها: مسیر های آزمون یک برنامه طبق موقعیت تعاریف و کاربرد های متغیر ها در برنامه انتخاب می شوند.
{ DEF(S)={X
{ USE(S)={X
عمل گر رابطه ای
دستور S حاوی تعاریف X است
دستور S حاوی کاربردی از X است
10
پ. آزمون حلقه ها:
1. حلقه های ساده 3. حلقه های تسلسلی
2. حلقه های تو در تو 4. حلقه های غیر ساخت یافته
11
آزمون جعبه سیاه
با اجرای تکنیک های جعبه سیاه، مجموعه ای از موارد آزمون به دست می آید که ملاک های زیر را برآورده می کند.
1. روش های آزمون مبتنی بر گراف
12
2. افراز هم ارزی
– شرط ورودی بازه ای را مشخص کند
– شرط ورودی مقداری مشخص باشد.
– شرط ورودی نیازمند عضوی از یک مجموعه باشد.
– شرط ورودی بولی باشد.
3. تحلیل مقادیر مرزی
4. آزمون آرایه های متعامد دامنه
13
آزمون مبتنی بر مدل
تحلیل یک مدل رفتاری موجود برای نرم افزار یا ایجاد آن.
مرور مدل رفتاری و مشخص کردن ورودی هایی که نرم افزار را وادار می سازند تا از حالتی به حالت دیگر گذار کند.
مرور بر مدل رفتاری و توجه به خروجی قابل انتظار از نرم افزار، هنگامی که از حالتی به حالت دیگر گزر کند.
اجرای موارد آزمون.
نتایج واقعی و مقایسه.
14
آزمون محیط ها، معماری ها و برنامه های کابردی تخصص یافته
آزمون واسط گرافیکی کابر
آزمون معماری های کلاینت/سرور
آزمون مستندات و تسهیلات راهنما
آزمون های مربوط به سیستم های بی درنگ
15
الگو های مربوط به آزمون نرم افزار
ماریک 3 مزیتی که الگوها علاوه بر راهنمای مفید در شروع فعالیت های آزمون در اختیار ما قرار میدهد را این چنین شرح داده است:
دایره لغات فراهم می کند.
توجه به نیروهای پشت مساله برای درک بهتر.
ترغیب تفکر مبتنی بر تکرار.
16
موفق باشید