2.2. Tavsifning maxsus texnikasi
3.1 bo‘limda taqdim qilingan tavsif texnikalari (Ma’lumotlar oqimi o‘tish chizmasi, dasturning
mantiqiy chizmasi va tarkibiy diagrammasi) dasturning mantiqiy o‘tishini hujjatlashtiradi va bu bilan
bevosita amalga oshishga yoki dasturlashga juda «yaqin». Bu texnikalar ishlab chiqilgan yoki ishlab
chiqilayotgan dasturning sifatini ya’ni uning to‘laqonligini va bexatoligini tekshirish uchun unchalik yaroqli
emas.
Bu maqsad uchun quyida ko‘rsatilgan usullar xizmat qiladi.
Do'stlaringiz bilan baham: |