Ma’ruza mavzulari Dars soatlari hajmi

Jarayonning xarakteristikasi
Tavsif
Tekshirish mumkin	Jarayon, jarayon standartlariga rioya qilinayotganligini tekshirishi va jarayonni takomillashtirish bo'yicha takliflar berishi mumkin bo'lgan jarayon ishtirokchilaridan tashqari odamlar uchun tushunarli bo'lishi kerak.
Turli xil	Jarayon ortiqcha va xilma-xil tekshirish va tasdiqlash tadbirlarini o'z ichiga olishi kerak.
Hujjatli	Jarayon aniqlangan jarayon modeliga ega bo'lishi kerak, bu jarayondagi harakatlarni va ushbu faoliyat davomida ishlab chiqilishi kerak bo'lgan hujjatlarni belgilaydi.
Mustahkam	Jarayon individual jarayon faoliyatidagi muvaffaqiyatsizliklardan tiklanishi kerak.
Standartlashtirilgan	Dasturiy ta'minot ishlab chiqarish va hujjatlarni qamrab oluvchi dasturiy ta'minotni ishlab chiqish standartlarining keng qamrovli to'plami mavjud bo'lishi kerak.

_Ishonchli jarayonlarda qo'llaniladigan faoliyat turlariga bog'liq ishlab chiqilayotgan dasturiy ta'minot jarayonlari . Umuman olganda, quyidagi harakatlar bo'lishi kerak
tizimga xatolar kiritilishining oldini olishga, xatolarni aniqlash va yo'q qilishga va jarayonning o'zi haqidagi ma'lumotlarni saqlashga qaratilgan.
Ishonchli jarayonga qo'shilishi mumkin bo'lgan faoliyat misollari quyidagilarni o'z ichiga oladi:

1. 
   Talablarning iloji boricha to'liq va izchilligini tekshirish uchun talablarni ko'rib chiqish.
   
2. 
   Talablarga kiritilgan o'zgarishlar ­nazorat qilinishini va taklif qilingan talablar o'zgarishining ta'siri o'zgarishlardan ta'sirlangan barcha ishlab chiquvchilar tomonidan tushunilishini ta'minlash uchun talablarni boshqarish.
   
3. 
   Rasmiy spetsifikatsiya, bu erda dasturiy ta'minotning matematik modeli yaratiladi va tahlil qilinadi. (Men 10.5 -bo'limda rasmiy spetsifikatsiyaning afzalliklarini muhokama qildim .) Balki uning eng muhim foydasi shundaki, u tizim talablarini juda batafsil tahlil qilishga majbur qiladi. Ushbu tahlilning o'zi talablarni ko'rib chiqishda o'tkazib yuborilgan talab muammolarini aniqlashi mumkin.
   
4. 
   Tizim modellashtirish, bu erda dasturiy ta'minot dizayni aniq grafik modellar to'plami sifatida hujjatlashtirilgan va talablar va ushbu modellar o'rtasidagi aloqalar aniq hujjatlashtirilgan. Agar modelga asoslangan muhandislik yondashuvi ishlatilsa ( 5-bobga qarang), kod ushbu modellardan avtomatik ravishda yaratilishi mumkin.
   
5. 
   Dizayn va dastur tekshiruvlari, bu erda tizimning turli tavsiflari turli odamlar tomonidan tekshiriladi va tekshiriladi. Tekshiruv jarayoniga e'tibor qaratish uchun umumiy dizayn va dasturlash xatolarining nazorat ro'yxatidan foydalanish mumkin.
   
6. 
   Statik tahlil, bu erda dasturning dastlabki kodida avtomatlashtirilgan tekshiruvlar o'tkaziladi. Ular dasturlash xatosi yoki kamchiliklarini ko'rsatishi mumkin bo'lgan anomaliyalarni qidiradi. (Men 12-bobda statik tahlilni yoritaman .)
   

Sinovlarni rejalashtirish va boshqarish, bu erda tizim testlarining keng qamrovli to'plami ishlab chiqilgan. Ushbu testlar tizim talablarini qamrab olishini va sinov jarayonida to'g'ri qo'llanilishini ko'rsatish uchun sinov jarayonini diqqat bilan boshqarish kerak.