ارسال: #1

اين بخش مربوط به درس سوم تست و نگهداري نرم افزار در نيمسال دوم 90-91 مي باشد.

---

درس دوم : از صفحه 44 تا 66 (از بخش 2.2.2 تا ابتداي 2.4)

پس از مطالعه درس كليه سئوالات خود را در اين بخش بنويسيد

---

سئوال : صفحه 48 - معيار 2.11
لطفاً درخصوص All-du-Path Coverage و رابطه آن با All-Def Coverage و All-Uses Coverage توضيح دهيد آيا نداشتن هريك از اين پوشش ها به معني بروز خطاست؟

---

ارسال: #2

در صفحه 47 کتاب شکل 2.13 برای نود 2

ارسال: #3

- آیا تفاوت تعریف du_path و def_pair set فقط وجود تعدد مسیر در def_pair set است ؟


- در محتوی در قسمت Since each definition فرمودید :
def_pair ها دارای طول کمتر و تعداد بیشتری نسبت به def_path ها هستند ، با توجه به رابطه ی du(nj,v)=U nj(ni , nj , v) 1
آیا بطور کلی نمی توان گفت تعداد def_pair ها و def_path ها با هم برابر است ؟

ارسال: #4

با سلام
اگر امکان دارد در مورد نرم افزارهای مورد استفاده برای تبدیل source code به CFG بیشتر توضیح بدهید.


صفحه 49 پاراگراف آخر -- در صورت امکان مفاهیم Direct touring و best-effort touring بیان شده در این پاراگراف را بیشتر توضیح دهید

ارسال: #5

با سلام
شکل2-1 صفحه 28 ، n8 به عنوان نود پایانی توضیح داده شد. در تعریف نود پایانی گفته شده که از آن نمی توان به نود دیگری رفت در حالی که از n8 می توان به n5 رفت . آیا n8 با توجه به تعریف نود پایانی جزء مجموعه Nf است؟

ارسال: #6

با سلام
در صفحه 55 درباره حالتهایی که def وجود دارد بیشتر توضیح دهید.

ارسال: #7

سلام؛
در test path ها ایرادی ندارد loop داشته باشیم؟

ارسال: #8

1- چون در صورت وجود loop در گراف، تعداد pathها بینهایت می شود، نحوه بررسی CPC چگونه خواهد بود و آیا راه حلی وجود دارد؟
2- با توجه به شکل 15-2 صفحه 50 کتاب کاورج PPC کاورج EPC را پوشش می دهد، آیا این رابطه در صورت وجود سیکل در یکی از نودهای گراف درست است؟
PPC does NOT subsume EPC : If a node n has an edge to itself, EPC will require: [n, n, m] but [n, n, m] is not prime

ارسال: #9

لطفا مثالی درمورد def-path و def-pair مثالی بزنید .

ارسال: #10

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