ارسال: #1

صفحات 65 تا 85

درود و خدا قوت

(سوالات ابتدایی از جلسه پیش مونده بود.)
1- وقتی Complete Path Coverage ارضا میشه ، نرم افزار چه قابلیتی خواهد داشت؟
2-در محتوا فرمودین تعداد def-pair set ها در مقایسه با def-path setها بیشتر است، چرا؟ با توجه به نکته ی du(ni, v) = ∪nj du(ni , nj, v) l به نظر میرسه این حرف درست نمیباشد.
3-فرق local use وglobal use چیست؟ page 55
4- منظور از minmum test set ، آیا به تعداد tcها در TS برمیگردد یا تعداد نودهایی که در هر tc هست؟
5-ارضا شدن EPC در گراف ساده ای که شامل دو نود آغاز و پایان است و فقط از نود آغاز به پایان یالی داریم چگونه است؟
6- تفاوت tour with def‐clear sidetrip با tours, but sidetrip has def چیست؟
7-فرمودین برای گراف های discunected با method coverage یا call coverage چیزی بدست نمی آوریم، آیا اگر برای هر تیکه جدا از آن گراف هم این کاوریج ها را ارضا کنیم، کار ارزشمندی نیست؟
8-با روش external device coupling ، مثلا وقتی کلاس A دارای متغیری static هست کلاس b چطور میتواند آنرا تغییر دهد؟
9-برای نوعی از coupling که در صفحه ی 73 آمده لطف کنید مثالی بزنید.

ارسال: #2

سلام و روز بخیر

1) آیا ما می توانیم از software documentation به عنوان یک منبع اصلی و قابل اعتماد برای تولید FSM های مبتنی بر Specification استفاده کنیم؟ درضمن آیا تاکید و منظور اصلی درس از Specification بیشتر همان توضیحات inline داخل source برنامه هستند که توسط برنامه نویس در حین نوشتن کد تکمیل می شوند؟

2) باتوجه به اینکه عملا عبارت pass کردن برای dynamic test مفهوم پیدا نمی کند و درواقع یک امر infeasible می باشد پس اصولا باید dynamic test تمرکز خود را برروی fullfill کردن بعضی از coverageها در گراف قرار دهد تا اینکه tester متوجه شود که برنامه علی رغم دارا بودن بعضی faultها یا bugها, همچنان به درد بخور می باشد؟ نظرشمادراین مورد چیست؟

3) دررابطه با دو استراتژی اول تولید FSM , استراتژی اول(Combining control flow graph) و استراتژی دوم(Using the software structure):
الف) آیا در اولی برنامه نویس درگیر کار تولید FSM میشود ولی در دومی tester درگیر این کار میشود؟
ب) آیا درهردو مورد تمرکز بر روی control flow و اجرای software می باشد؟
ج) تفاوت اصلی و مزایای دومی نسبت به اولی چیست؟

ارسال: #3

سلام
1- آیا این تعریف درباره edge coverage درست است ؟
Edge Coverage (eC) (Standard Definition): Test set T satisfies
edge coverage on graph G if and only if for every reachable path of length up to 1 in G like q there is some path p in path(T) such that p tours q

Test set T، satisfi می کند edge coverage را روی گراف Gاگر و تنها اگربه ازای هر edge در گراف G یک مسیر reachable pathحداکثر با طول 1 در گراف G داشته باشیم


استاد لطفاً Edge-Pair Coverage رو توضیح بدید ؟
Criterion Edge-Pair
Coverage (EPC): TR
contains each reachable path of length up to 2, inclusive, in G.

2- در مفهوم inheritance hierarchy with objects instantiated مفهوم e dge معنی نمی دهد را کمی بشتر توضیح دهید؟
3- لطفاً برای مفهوم actual parameter وformal parameter مثال بزنید
4- در شکل 2.26 صفحه 69 کتاب اگر از x=14 تا y=G(x) تعریفی صورت نگیرد برای def-clearبودن caller f کافی نیست ؟ چرا در محتوا اشاره شده است که اگر بعد از y=G(x) به y مقدار دهیم دیگر متغییر First-useدر ماژول caller نداریم


با سپاس

ارسال: #4

با سلام.
لطفاً تعریف Last-def را با ذکر مثال توضیح دهید. (صفحه 68 کتاب یا 92 PDF)

ارسال: #5

با توجه به اینکه Static Pass ساده تر و قطعی است آیا درصورتی که Static Pass را با موفقیت انجام دهیم نیازی به انجام Dynamic Pass است؟(ص 78)