|
SQM texnikasini bir necha toifalarga bo'lish mumkin
|
| bet | 27/82 | | Sana | 29.05.2024 | | Hajmi | 6,67 Mb. | | #256570 |
Bog'liq Dasturiy ta\'mnot sifatini ta\'minlashi UMK 2021 2022 (2)SQM texnikasini bir necha toifalarga bo'lish mumkin:
Statik texnikalar
Statik usullar loyiha hujjatlarini, dasturiy ta'minotni va dasturiy mahsulot haqidagi boshqa ma'lumotlarni uni amalga oshirmasdan "batafsil" o'rganishni (ekspertlashni) o'z ichiga oladi. Ushbu usullar avtomatlashtirishdan qay darajada foydalanilishidan qat'i nazar, quyida muhokama qilinadigan boshqa "jamoa" baholash yoki "individual" tekshirish tadbirlarini o'z ichiga olishi mumkin.
Odamlarga intensiv texnikalar
Ushbu turdagi texnikaning shakli, jumladan, baholash va audit, rasmiy uchrashuvlardan norasmiy yig'ilishlar yoki mahsulot haqidagi munozaralargacha, hatto uning kodiga ham murojaat qilmasdan o'zgarishi mumkin. Odatda, bunday texnika kamida ikkita va ko'p hollarda bir nechta mutaxassisning yuzma-yuz muloqotini o'z ichiga oladi. Shu bilan birga, bunday yig'ilishlar oldindan tayyorgarlikni talab qilishi mumkin (deyarli har doim yig'ilishlar mazmunini, ya'ni muhokama qilinadigan masalalar ro'yxatini belgilashga tegishli). Bunday usullarda qo'llaniladigan manbalar, o'rganilgan artefaktlar (mahsulot, hujjatlar, modellar va boshqalar) bilan bir qatorda, turli xil nazorat ro'yxatlarini va tahliliy usullarning natijalarini (quyida muhokama qilinadi) va sinov ishlarini o'z ichiga olishi mumkin. Ushbu usullar, masalan, 12207 standartida baholash ( ko'rib chiqish) va audit (audit) muhokama qilinganda muhokama qilinadi.
Analitik texnikalar
Dasturiy ta'minot muhandislari odatda analitik usullardan foydalanadilar. Agile usullari va yondashuvlari nuqtai nazaridan, shaxslar va o'zaro ta'sirlar "to'g'ridan-to'g'ri" muloqot va jamoa a'zolarining doimiy o'zaro ta'sirini nazarda tutadi.
Ba'zida bir nechta muhandislar bir xil texnikadan foydalanadilar, ammo mahsulotning turli qismlarida. Ba'zi texnikalar ishlatiladigan asboblarning o'ziga xos xususiyatlariga asoslanadi, boshqalari "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 usullar, shuningdek, umumiy sifat tahlilining ajralmas elementi sifatida har xil turdagi ekspertizalarni (baholashni) 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. Qo'llab-quvvatlash texnikasiga misol qilib, to'g'ri amalga oshirish, sinovdan o'tkazish yoki texnik xizmat ko'rsatish uchun juda murakkab bo'lgan tizim dizayni qismlarini aniqlash uchun foydali bo'lgan murakkablik tahlilidir. Murakkablikni tahlil qilish natijasi test stsenariylarini (sinov holatlari) ishlab chiqish uchun ham ishlatilishi mumkin. Boshqaruv mantiqiy tahlili kabi xatolarni aniqlash usullari boshqa holatlarda ham qo'llanilishi mumkin. Keng algoritmik mantiqqa ega bo'lgan dasturiy ta'minot uchun, ayniqsa, noto'g'ri algoritm (uni amalga oshirish emas, balki mantiq, muallifning eslatmasi) halokatli natijalarga olib kelishi mumkin bo'lgan holatlarda (masalan, xavfsizligini ta'minlaydigan avionika dasturlari) algoritmik usullarni qo'llash juda muhimdir. foydalanish masalalari - xavfsizlik hal qiluvchi rol o'ynaydi).
Analitik usullarning boshqa, ko'proq rasmiy turlari rasmiy usullar deb nomlanadi. Ular talablar va dizaynni tekshirish uchun ishlatiladi (tan olish kerak, faqat vaqti-vaqti bilan, sanoat dasturiy ta'minotini ishlab chiqishning bugungi 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). Ko'pincha ular muhim tizimlarning muhim qismlarini tekshirish uchun ishlatiladi, masalan, maxsus xavfsizlik va ishonchlilik talablari.
Dinamik texnikalar
Dasturiy ta'minotni ishlab chiqish va unga xizmat ko'rsatish jarayonida har xil turdagi dinamik usullarga murojaat qilish kerak. Asosan, bu sinov usullari. Shu bilan birga, simulyatsiya, modelni tekshirish va ramziy bajarish usullarini dinamik usullar sifatida ko'rib chiqish mumkin (ramziy bajarish, odatda, bajarilgan mantiq nuqtai nazaridan "qo'g'irchoq" moduldan foydalanishni o'z ichiga oladi, kirish va chiqishning umumiy stsenariysini ko'rib chiqishda emulyatsiya qilingan. multimodulli tizimlar; ba'zan tanlangan manbaga qarab, bu atama boshqa texnikalar ham tushuniladi).
Kodni ko'rish (o'qish) odatda statik texnika sifatida ko'rib chiqiladi, ammo malakali muhandis kodni uni o'qish jarayonida to'g'ridan-to'g'ri bajarishi mumkin (masalan, birovning kodini tanish yoki baholash uchun bosqichma-bosqich interaktiv disk raskadrovka vositalaridan foydalanish) ). Shunday qilib, bu texnikani dinamik sifatida muhokama qilish mumkin. Texnikalarni tasniflashdagi bunday nomuvofiqliklar, shaxsning tashkilotdagi roliga qarab, u bir xil usullarni turli usullarda qabul qilishi va qo'llashi mumkinligini aniq ko'rsatadi.
Loyihaning tashkil etilishiga qarab, SQA va V&V jarayonlarida dasturiy ta'minot tizimlarini ishlab chiqishda ma'lum sinov tadbirlari amalga oshirilishi mumkin. SQM rejasi test masalalarini hal qilganligi sababli, bu mavzu testga oid ba'zi sharhlarni o'z ichiga oladi.
Sinov
|
| |
