Metode Formal-Pertemuan 2 Metode Formal.pdf

rpl, software proses, inspections

1. METODE FORMAL
Oleh :
Novita Ranti Muntiari, S.Kom., M.kom
Universitas Harapan Bangsa
PERTEMUAN 2
MateriMetodeFormal

2. Materi Pembahasan
•Perspektifsejarah(lanjutan)
•Rekayasa perangkatLunak dan
Tantangan
•Softwareprosesdansiklushidup
•SoftwareInspections
•SoftwareProjectManagement
•MetodeFormal

3. PerspektifSejarah (Lanjutan)
1940an hinggasekarangrekayasaperangkat
lunaktelahsemakinberkembangsejak
pertamakali diciptakan.
Fokusutamapengembanganuntuk
mengembangkanpraktekdan teknologiuntuk
meningkatkan produktivitas para praktisi
pengembang perangkat lunak dan kualitas
aplikasi yang dapat digunakan oleh pemakai.

4. PandanganumumRekayasaperangkatlunak
•Untukmengembangkanperangkatlunaksecaramemadai,prosespengembangan
haruslahdidefinisikanterlebihdahulu.
•UsahaRPLdapatdikategorikankedalamtigafaseumumtanpamemperdulikan
areaaplikasi,ukuranproyekataukompleksitasnya.
1.FaseDefinisi:Sistemataurekayasainformasi,analisikebutuhan,dan
perencanaanproyekperangkatlunak.
2.FasePengembangan :Rancanganperangkatlunak,pemunculankode,dan
pengujianperangkatlunak
3.FasePemeliharaan:Koreksi,Adaptasi,perkembangandanpencegahan

5. PerspektifSejarah (Lanjutan)
•1950-1960 IstilahSoftware engineering digunakan.
•1968IstilahSoftware Engineering mulaidipopulerkan,
Conferenceyang diselenggarakanoleh NATO.
•Perdebatantajammengenaiaspekengineeringdari
pengembanganperangkatlunak.
•1968-1969KomitesainsNATO mensponsori2 konferensi, yang
memberikandampakkuatuntukperkembanganperangkatlunak.

6. PerspektifSejarah (Lanjutan)
•1960 -1980,Krisis
Banyak masalahyang ditemukanpara praktisipengembangan
perangkatlunak.
•Banyak project yang gagal, melebihianggaran, hinggakasusyang
mengakibatkankerusakanfisikdan kematian
•perakayasaPerangkatLunak(RPL) secaraumumdisepakati
sebagaiterjemahandariistilahSoftware engineering.

7. PerspektifSejarah (Lanjutan)
•RPL ➔Membuatprogram komputer
PERBEDAAN
•Perangkatlunakadalahseluruhperintahyangdigunakanuntuk
memprosesinformasidapatberupaprogramatauprosedur.
•Programkomputeradalahkumpulanperintahyangdimengerti
olehkomputersedangkanproseduradalahperintahyang
dibutuhkanolehpenggunadalammemprosesinformasi

8. PerkembanganPerangkatlunak
•Ada4era
1.EraPemula➔MenggunakanKabel
2.EraStabil➔Selainpenelitidanakademijugadigunakandiindustry,
perusahaan,danditerapkandisistembasisdata.
3.EraMikro➔Dibedakandarisoftwareyaituperangkatlunaksistem
danperangkatlunakaplikasi
4.EraModern➔Sangatcanggih,mengenalinput,bentuksuara
maupungambardandistribusiadayanggratisdanbayar.

9. RekayasaPerangkatlunak
DefinisimenurutIEEE (Institute of Electrical
and Electronic Engineers)
Rekayasaperangkatlunakadalahpenerapan
pendekatanyang sistematis, disiplindan
dapatdiukuruntukpengembangan,
pengoperasian, dan pemeliharaanperangkat
lunakyaitupenerapanrekayasapada
perangkatlunakdan studitentang
pendekatanserupa.

10. RekayasaPerangkatlunak
•Rekayasaperangkatlunakmeliputi
•Metodologiuntukmerancang,mengembangkan,danmengujiperangkat
lunakuntukmemenuhikebutuhanpelanggan
•Perangkatlunakdirekayasa,Artinyaprodukperangkatlunakdirancang,
dikembangkan,dandiujidengancepat.
•Kualitasdankeamananditanganidenganbenar
•Matematikayangdigunakanuntukmembantudesaindanverifikasi
produkperangkatlunak
•Menerapkanpraktikmanajemenproyekyangbaikdanberkualitas
•Supportdanperangkatlunakditanganidenganbenar

11. Tanggangjawabseorangsarjanaatauahlirekayasaperangkatlunakyaitu:
•Harusmemberikangambaranyangtepattentangmasalahyangakan
dipecahkan.Artinyaharusdibuktikandaripersyaratanapayangdiperlukan
danapayangtidak.
•Langkahselanjutnyaadalahmembuatdesainyangakanmemecahkan
masalah,danpentinguntukvalidasikebenarandesain.
•Selanjutyaimplementasipengkodeandaridesain
•Verifikasidanvalidasidesaindilakukansecaraketat

12. RekayasaPerangkatlunak
Parailmuanberpendapatbahwailmuwankomputerharus
menerimadasaryangkuatdalampemodelanmatematikadan
desain.
Harusjugamemilikikompetensiprofessionalsebagaiseorang
ahlidalammembangunprodukberkualitastinggidanaman
untukdigunakandipublik

13. RekayasaPerangkatlunak
Banyakperusahaanperangkatlunakmemberikanpelatihanke
stafnyaagardapatmemberikanprodukdanlayananberkualitas
tinggi
FaktanyaKaryawanyangberkualifikasisecaraprofesional
memberikanprodukdanlayananyangjauhlebihberkualitasdi
bandingperusahaanyangtidakmemberikanpelatihankestaff
makaakanmemperolehhasilyangburuksepertikehilangan
reputasidanpangsapasar

14. Tantangandalamrekayasa
perangkatlunak
Menghadirkanperangkatlunak
berkualitastinggitepatwaktu
dan sesuaikepadapelanggan.

15. PembengkakanBiayaProyek
ManajemenProyek
MemberikanEstimasi
Laporandan upayanyang
akandi lakukan

16. RekayasaPerangkatlunak
ManajemenResikoadalahbagianpentingdarimanajemenproyek.
Tujuan: Mengidentifikasiresikopotensialsejakdinidan selamaproyek
berlangsungagar dapatdikeloladengantepat.
Denganitukualitasperangkatlunakperludirencanakandenganbaik
agar proyekmenghasilkanprodukyang berkualitas

17. Perkembanganperangkatlunakmelibatkanbanyakproses
•Prosesmenentukankebutuhan
•Prosesuntukestimasi
•Perencanaanproyek
•Prosesuntukdesain
•Implementasi
•Pengujian
Prosesdigunakanharussesuaidengantujuanya
Software proses dan siklushidup

18. Asetprosesperangkatlunakdalamsuatuorganisasiumumnya:
•Kebijakanpengembanganperangkatlunakuntukorganisasi
•Petaprosesyangmenggambarkanalirankegiatan
•Prosedurdanpedomanyangmenjelaskanprosessecara
lebihrinci
•Daftarperiksauntukmembantukinerjaproses
•Templateuntukkinerjaaktivitastertentu(misalnyadesain,
pengujian)
•MateriPelatihan.
Software proses dan siklushidup

19. Prosesyangdigunakanuntukmengembangkanperangkat
lunakberkualitastinggiumumnyameliputi:
•ProsesmanajemenProyek
•Prosespersyaratan
•Prosesdesain
•Prosespengkodean
•Prosespeer-review
•Prosespengujian
•Prosesseleksidanmanajemenpemasok
•Prosesmanajemenkonfigurasi
•Prosesaudit
•Prosespengukuran
•Prosesperbaikan
•Dandukunganpelanggandanprosespemeliharaan
Software proses dan siklushidup

20. Software proses dan siklushidup
Proses pengembanganperangkatlunakmemilikisiklushidup
terkaityang terdiridariberbagaifase.
Siklushidupdalamproses pengembanganperangkatlunak
sebagaiberikut:

21. SiklushidupAirTerjun(Waterfalllifecycles)
suatuprosesperangkatlunakyangberurutan,
dipandangsebagaiterusmengalirkebawah(sepertiair
terjun)melewatifase-faseperencanaan,pemodelan,
implementasidanpengujian.
Digunakanuntukproyek-proyekyangpersyaratanya
dapatdiindentifikasipadaawalsiklushidupproyek
atautelahdiketahuisebelumnya

22. SiklushidupSpiral(Wapirallifecycles)
•Modelspiraladalahprototipeyangdapat
digunakanKembalidengananalisbisnisdan
pelangganyangmeninjauiterasiterkinidan
memberikan umpan balikkepada tim
pengembangan.Umpanbalikdianalisisdan
digunakanuntukmerencanakanliterasiberikutnya.
•Pendekataniniseringdigunakandalam
pengembangan aplikasiBersama,dimana
kegunaandantampilansertanuansaaplikasi
menjadiperhatianutama.Inipentingdalam
pengembangan berbasiswebdandalam
pengembanganantarmukapenggunagrafis(GUI).

23. ProsesTerpaduRasional(RationalUnifiedProcess)
•RationalUnifiedProcess(RUP)merupakansuatu
metoderekayasaperangkatlunakyang
dikembangkandenganmengumpulkanberbagai
praktikterbaikyangterdapatdalamindustri
pengembanganperangkatlunak.
•RUPjugamenggunakankonsepobjectoriented,
dengan aktifitasyang berfokuspada
pengembangan modeldenganmenggunakan
UnifiedModelLanguage(UML).

24. PengembangAgile(AgileDevelopment)
•Metodelogiinimencangkuppengendalian
untukmengelolaperubahanpadapersyaratan,
dankomunikasiyangbaiksertaumpanbalik
rutindiawalmerupanbagianpentingdari
prosestersebut.
•Agilemerupakanpemrogramanberpasangan
dangayakerjakolaboratifdenganfilosofi
bahwaduakepalalebihbaikdarisatu.Ini
memungkinkanberbagaiprespektifdalam
pengambilkeputusandanpemahamanyang
lebihluastentangmasalah

25. •Pengujianperangkatlunaksangatpentingpadalifecyclesinidanumumnya
menggunakanpengujianotomatisuntukpengujianunit,penerimaan,kinerjadan
integrasi.
•Agilemenggunakanpengembanganberbasispengujiandenganpengujianyang
ditulissebelumkode.
•Pengembanganmenuliskodeuntukmembuatteslulusdenganpengembang
idealnyahanyamengkodekantesyanggagal.
•Pendekataninimemaksapengembanguntukmenuliskodeyangdapatdiuji.

26. •Inspectionsdalamperangkatlunakadalahbagianlangkahuntukmemeriksakualitas
sebuahproyek.
•Beberapahalinspeksiperangkatlunaksepertimelibatkanmemeriksaperangkatlunak,
dokumentasi,catatanprosesdanlainlain.
•Tujuanadalahagarhasilnyadapatmenjaditinjauanbagimanajerproyekuntukdapat
membuatkeputusanperencanaandanpengalokasikansumberdayauntukproses
pembangunan.Sehinggahasilnyadapatuntukmeningkatkankualitasperangkatlunak,
bukan untuk menilaikinerjaorang di tim pengembangan.

27. Ada pendekatanterkenalseperti:
MetodologiFagan
PendekatanGilb
PendekatanPrince

28. Peranyangditentukandalaninspeksisoftwareyaitu:
•Moderator:memimpininspeksi
•Pembaca:Bertanggungjawauntukmembacaataupenyampaiantertentu
•Penulis:penciptapenyampaiantersebutdanmemilikikepentingankhususuntuk
memastikanbahwapenyampaiantersebutbenar.
•Penguji:berkaitandengansudutpandangpengujian

29. •Prosesinspeksiakanmempertimbangkanapakahdesainsudahbenarsehubungan
denganpersyaratandanapakahkodesumberbenarberkaitandengandesain.
•Inspeksiperangkatlunakmemainkanperanpentingdalammembangunkualitaske
dalamperangkatlunakdandalammengurangibiayakualitasyangburukdalam
organisasi.

30. •Pengirimanperangkatlunakyangberkualitassecaratepatwaktumembutuhkanproses
manajemendanrekayasayangbaik.
•Estimasidanpenjadwalanproyeksulitdilakukankarenaproyekperangkatlunaksering
kalimerupakanterobosanbarudanberbedadariproyeksebelumnya.
•Manajemenrisikoyangefektifselamaproyeksangatpentinguntukkeberhasilan
proyek

31. •Risikomunculkarenaketidakpastiandansiklusmanajemenrisikoyangmelibatkan
identifikasirisiko,analisis
•evaluasirisiko,mengidentifikasiresponsterhadaprisiko,memilihdanmerencanakan
responsterhadaprisikodanpemantauanresiko.
•Risikodicatatdankemungkinansetiaprisikoyangtimbulsertadampaknyakemudia
bisaditentukan.

32. •Caramengembangkanperangkatlunakyangbenaradalahdenganmenurunkan
programdarispesifikasinyamenggunakanmatematika,danmenggunakanbukti
matematikauntukmenunjukankebenarannya.
•Inimenawarkankerangkakerjayangketatuntukmengembangkanprogramyang
mengikutiBatasankualitastertinggi.
EdsgerWybeDijkstra
Charles Antony Richard Hoare

33. MetodeFormal
•Dalampraktiknyateknikmatematikaterbuktirumituntuk
digunakandanpenggunaanyasecaraluasdalamindustry
tidakmungkindilakukansaatini.
•Karenaadakebutuhanuntukketelitianekstradalam
bidang ini,dan teknikmatematika dapat
mendemostrasikanatautidaknyapropertytertentuyang
diingkanatautidakdiinginkan.

34. •Sifatnotasimatematikayangtidakambigumenghindarimasalahambiguitasdalam
deksripsibahasatext.
•Istilah“metodeformal”digunakanuntukmenggambarkanbahasaspesifikasiformal
danmetodeuntukdesaindanimplementasisistemkomputer.
•Spesifikasitersebutditulisdengantepatdalambahasamatematika.
•Metodeformaltelahditerapkanpadaberbagaiaplikasitermasukdesainsirkuit,
kecerdasanbuatan,spesifikasistandar,spesifikasidanverifikasiprogram.

36. Tugas / Quiz
Tugas
------------------
Ada
Quiz
------------------
Ada

37. [email protected]
Sampaijumpadi pertemuanberikutya
denganmateri
“Software Reliability And Dependability”
Sekiandan Terimakasih...