ارسال: #1

سلام وقت بخير
سوالات بخش 2.2.2 تا ابتداي بخش2.4.2 كتاب

ارسال: #2

با سلام و خسته نباشید خدمت استاد محترم:

1- آیا تفاوت du-path و def-pair-set فقط در تعداد مسیرهایشان در مجموعه def-pair است؟
2- اگر امکان دارد در مورد نرم افزارهای مورد استفاده برای تبدیل source code به CFG به صورت خودکار توضیح دهید؟ یا معرفی نمایید؟
ممنون و متشکر

ارسال: #3

با سلام


1- برای EPC مثال بزنید ؟


2- مثال پاراگراف زیر که در محتوا اشاره شده بود را لطفاً دوباره توضیح دهید ؟

3- استادتوضیحات مربوط به پاراگراف زیردر محتوا خیلی واضح نیست لطفاً دوباره توضیح دهید


4- تکه کد جاوا زیر را بیشتر توضیح دهید ؟



5- استاد لطفاً تست کردن سطر دوم جدول اسلاید 20—[font=&quot]Test paths to
satisfy all du-paths coverage on TestPat[/font]را از روی گراف توضیح دهید؟



با سپاس

ارسال: #4

با سلام خدمت استاد

1-لطفا all du path coverage توضیح بفرمایید؟

2-لطفا شکل صفحه 47 کتاب را توضیح دهید چرا هم def ,همuse استفاده شده؟

3-در cfg هرنودمشخص کننده یک دستوروهر edge مشخص کننده یک برنامه است؟

ارسال: #5

با سلام و خسته نباشید

1- اگر نتوانیم All-du-Coverage را بدست آوریم به این معنی است که اشتباهی در کد وجود دارد .آیا این اشتباه منجر به Failure می شود ؟

2- اگر امکان دارد مفهوم edge -pair-Coverage را توضیح دهید؟

ارسال: #6

با سلام
ظاهرا Call covarage va method covarage با هم همپوشانی دارند. لطفا توضیح فرمایید.(ص 65)
لطفا در مورد Inheritance توضیح دهید و در مورد کاربردهایش مثالی بزنید.(ص 66)
با تشکر.

ارسال: #7

متوجه def-path و def-pair نشدم.گفتید def-path تمام مسیر هایی هست که متغیر v در ni تعریف شده و در def-pair هم تعریف می شه و هم باید استفاده شه.
یا منظور این بوده که در def-path تعریف و مورد استفاده قرار می گیره ولی در انتخهای def-pair تمام می شه ، یعنی متغییر kill می شه؟
اینکه فرمودید def-pair ها خیلی کوچکترن ولی تعدادشون از def-path بیشتره ، یعنی اینکه مسیر های خیلی کوچکی هستند ولی تعداد این مسیر ها از def-path بیشتره؟ اگه آره چطور ممکنه بیشتر باشه. در حالی که فقط نیازه در def-path متغییر تعریف بشه ولی در def-pair باید هم تعریف بشه و هم استفاده بشه؟
اینکه فرمودید مجموعه هر مسیری که تعریف رو به یک use حاص ببره می شه یک def-pair ولی تمام اینها با هم میشه یک def-path یعنی چی

---

در بحث پوشش فرمودید ، 3 شرط داریم و شرط سوم این بود که هر node که پیش از یک یال ورودی داشت ، باید در هر یال خروجی متغییر استفاده بشه و متغییر هایی که هم استفاده می شه مثل هم باشه.
این مثل هم بودن یعنی چی؟
شاید دستور IF یا SWITCH داشته باشیم و در هر یال خروجی یک متغییر متفاوت از یال خروجی دیگه استفاده کنیم و مثل هم نباشند

ارسال: #8

1- در صفحه 47 کتاب در پاراگراف دوم به نظر می رسد جمله نوشته شده با رابطه نوشته شده مطابقت ندارد یعنی به جای اینکه بنویسد def-path set اجتماع تمام def-pair set هاست برعکس نوشته است . اگر کتاب اشتباه ننوشته لطفا جمله مذکور را توضیح دهید .

2- در شکل 2.15 صفحه 50 کتاب All-Uses Coverage در این شکل Edge Coverage را subsume می کند در حالی که با مثال صفحه قبل در شکل 2.14 All-Uses تمام Edge ها را پوشش نمی دهد . لطفا این مورد و نحوه subsume کردن این coverage رو توضیح دهید .

3- CFG حلقه در کتاب یک نوع برای while آورده شده است و یک نوع برای for (شکل های 2.18 و 2.19 صفحه 53 و 54 کتاب) که مشخص است که شکل 2.18 که برای while آورده شده است برای for نیز صحیح است کدام شکل برای for بهتر است ؟

ارسال: #9

با سلام
1- توضیح و تعریف All-du-Paths Coverage همراه با مثال.
2-با توجه به اینکه در برخی زبانها برای انواع پایه مهم مقدار اولیه در نظر گرفته می شود و برای حالت هایی که هنگام تعریف متغیر خودمان همان جا مقدار دهی می کنیم وضعیت مجموعه def و use به چه صورت است.یعنی در نود 0 یا initialization هر دو کار با هم انجام می گیرد یا باید در گراف دو نود جداگانه داشت؟
3-در محتوا برای قسمت inheritance توضیح دادید که برای هر کلاس یک instance ایجاد می کنیم. متوجه نشدم که چرا با این کار دیگر مفهوم edge بی معنی میشه. لطفاً توضیح بدین.
با تشکر.

ارسال: #10

1.درشکل صفحه 47 کتاب چرابرای نود9 هم def وهم use آمده ؟ipad=ipad+1

2.dummy node توضیح میدهید؟

ارسال: #11

با سلام
def ،برای تعریف یک متغیر است یا مقداردهی به آن؟ آیا تغییر مقدار هر متغیر را هم شامل می شود؟
برای کشیدن گراف از کدام یک استفاده می شود؟ Structural Graph یا Data Flow Graph یا Design Elements یا کلا بسته به سوال می توان از هر کدام استفاده کرد؟

ارسال: #12

در مورد پوشش داده ها:
این قیمت را می شود توضیح دهید؟
هر نودی اگر بیش از یک یال ورودی دارد ف هر یال خروجی اش باید حداقل یک متغیر را استفاده کند و متغیر هایی که در یال های خروجی استفاده می شوند مثل همدیگر باشند