Ieee ta'rifi: Sifat

Analitik texnikalar

Dasturiy ta'minot muhandislari odatda analitik usullardan foydalanadilar. Agile uslublari va yondashuvlari nuqtai nazaridan, shaxslar va o'zaro ta'sirlarni nazarda tutadi<непосредственное>muloqot va jamoa a'zolarining doimiy o'zaro ta'siri.

Ba'zida bir nechta muhandislar bir xil texnikadan foydalanadilar, lekin mahsulotning turli qismlarida. Ba'zi texnikalar ishlatiladigan asboblarning o'ziga xos xususiyatlariga asoslanadi, boshqalari esa "qo'lda" ishni o'z ichiga oladi. Ko'pchilik nuqsonlarni to'g'ridan-to'g'ri topishga yordam beradi, lekin ko'pincha ular boshqa usullarni qo'llab-quvvatlash uchun ishlatiladi. Bir qator texnikalar umumiy sifat tahlilining ajralmas qismi sifatida har xil turdagi baholashni (baholashni) ham o'z ichiga oladi. Bunday usullarga misollar murakkablik tahlili, boshqaruv oqimi tahlili (yoki nazorat oqimi tahlili) va algoritmik tahlildir.

Har bir tahlil turi o'ziga xos maqsadga ega va barcha turlar har bir loyiha uchun qo'llanilmaydi. Ta'mirlash texnikasiga misol qilib, amalga oshirish, sinovdan o'tkazish yoki to'g'ri parvarish qilish uchun juda murakkab bo'lgan tizim dizayni qismlarini aniqlash uchun foydali bo'lgan murakkablik tahlili hisoblanadi. Murakkablikni tahlil qilish natijasi test holatlarini (test holatlarini) ishlab chiqish uchun ham ishlatilishi mumkin. Boshqaruv mantiqiy tahlili kabi nuqsonlarni aniqlash usullari boshqa holatlarda ham qo'llanilishi mumkin. Keng algoritmik mantiqqa ega bo'lgan dasturiy ta'minot uchun, ayniqsa, noto'g'ri algoritm (uning amalga oshirilishi emas, balki mantiq, muallifning eslatmasi) halokatli natijalarga olib kelishi mumkin bo'lgan holatlarda (masalan, xavfsizlik bilan bog'liq bo'lgan avionika dasturlari) algoritmik usullarni qo'llash juda muhimdir. foydalanish - xavfsizlik hal qiluvchi rol o'ynaydi).

Analitik usullarning boshqa, ko'proq rasmiy turlari rasmiy usullar deb nomlanadi. Ular talablar va dizaynni tasdiqlash uchun ishlatiladi (aniq, faqat vaqti-vaqti bilan, bugungi kunda sanoat dasturiy ta'minotini ishlab chiqishning haqiqiy amaliyotida). Tasdiqlash dasturiy ta'minotning muhim qismlariga nisbatan qo'llaniladi (umuman olganda, bu rasmiy usullar bilan deyarli aloqasi yo'q - bu xarajatlarni minimallashtirish bilan birga maqbul sifatga erishishning tabiiy usuli). Ular ko'pincha muhim tizimlarning muhim qismlarini, masalan, maxsus talablarni tekshirish uchun ishlatiladi.<информационной>xavfsizlik va ishonchlilik.