Proqram təminatı mühəndisliyi

Tək başına 200 sətirlik skript yazmaq proqramlaşdırmadır; 50 nəfərlik komandanın illərlə milyonlarla sətir kodu inkişaf etdirməsi, sınaması və heç nəyi sındırmadan hər həftə yeniləməsi isə proqram təminatı mühəndisliyidir. Burada əsas çətinlik alqoritm deyil, mürəkkəblik, dəyişən tələblər və insanlar arasında ünsiyyətdir. Bu dərsdə peşəkar komandaların bu problemləri necə idarə etdiyini öyrənəcəyik.

Həyat dövrü: şəlalədən çevik üsullara

1. 1
   Tələblər

   Sistem nə etməlidir (funksional) və necə yaxşı etməlidir (sürət, təhlükəsizlik — qeyri-funksional)?

2. 2
   Layihələndirmə

   Arxitektura, modullar, verilənlər bazası, interfeyslər.

3. 3
   Reallaşdırma

   Kodun yazılması, kod icmalı, versiyalara nəzarət.

4. 4
   Testləşdirmə

   Vahid, inteqrasiya, sistem və qəbul testləri.

5. 5
   Yerləşdirmə və dəstək

   Buraxılış, monitorinq, səhvlərin düzəldilməsi və yeni tələblər — sistemin ömrünün ən uzun hissəsi.

2001-ci ildə qəbul edilmiş Çevik manifest işləyən proqramı, müştəri ilə əməkdaşlığı və dəyişikliyə hazır olmağı ön plana çəkir. Ən populyar çevik çərçivə Scrum-dır. Onun üç rolu var: Product Owner (məhsul sahibi — Product Backlog-u və prioritetləri idarə edir), Scrum Master (prosesə kömək edir, maneələri aradan qaldırır) və Developers (işi görən komanda). İş sprintlərlə — bir aya qədər sabit müddətli dövrlərlə aparılır: Sprint Planning, hər gün 15 dəqiqəlik Daily Scrum, sonda Sprint Review (nəticənin nümayişi) və Retrospective (prosesin təkmilləşdirilməsi).

Git ilə versiyalara nəzarət

Git paylanmış versiyalara nəzarət sistemidir: hər tərtibatçının kompüterində bütün tarixçə ilə tam repozitoriya var. Commit — layihənin «fotoşəkli»dir (dəyişikliklər, müəllif, vaxt, izah); commitlər zəncir əmələ gətirir və hər biri heş ilə adlanır. Budaq (branch) — commitə istinad edən hərəkətli göstəricidir: yeni funksiyanı ayrıca budaqda edib, hazır olanda pull request vasitəsilə yoxlamaya göndərir və əsas budağa birləşdirirsən (merge).

git switch -c feature/login          # create and switch to a new branch
git add login.py
git commit -m 'Validate the login form'
git push -u origin feature/login     # then open a pull request

git switch main
git pull                             # get the reviewed and merged work
git revert 3f2a9c1                   # safely undo a bad pushed commit

Testləşdirmə

def is_leap(year):
    return year % 4 == 0 and (year % 100 != 0 or year % 400 == 0)

def buggy_is_leap(year):
    return year % 4 == 0

cases = {2024: True, 2023: False, 1900: False, 2000: True}

def run_tests(func):
    failed = [y for y, expected in cases.items() if func(y) != expected]
    return 'all passed' if not failed else 'FAILED for ' + str(failed)

print('is_leap:', run_tests(is_leap))
print('buggy_is_leap:', run_tests(buggy_is_leap))

is_leap: all passed
buggy_is_leap: FAILED for [1900]

SOLID və kod icmalı

from abc import ABC, abstractmethod

class Discount(ABC):
    @abstractmethod
    def apply(self, price): ...

class NoDiscount(Discount):
    def apply(self, price):
        return price

class Percent(Discount):
    def __init__(self, p):
        self.p = p
    def apply(self, price):
        return round(price * (1 - self.p / 100), 2)

class StudentCard(Discount):
    def apply(self, price):
        return max(price - 5, 0)

def checkout(price, discount: Discount):
    return discount.apply(price)

for d in [NoDiscount(), Percent(20), StudentCard()]:
    print(type(d).__name__, checkout(50, d))

NoDiscount 50
Percent 40.0
StudentCard 45

Kod icmalı (code review) — dəyişikliyin əsas budağa düşməzdən əvvəl başqa tərtibatçı tərəfindən yoxlanmasıdır. Rəyçi düzgünlüyə, testlərə, oxunaqlılığa, təhlükəsizliyə və dizayna baxır; üslubu isə avtomatik alətlər (linter, formatlayıcı) yoxlamalıdır. İcmal səhvləri tutmaqla yanaşı, biliyi komandaya yayır: sistemin hər hissəsini ən azı iki nəfər tanıyır. Kiçik pull request-lər (bir neçə yüz sətirdən az) daha diqqətlə oxunur.