MySchool

Tölvunarfræðideild
Deildarforseti:	Dr. Henning Arnór Úlfarsson
Vefpóstur:	ru@ru.is
Vefsíða:	http://www.ru.is/td
Kennarar	Skoða

BSc í tölvunarfræði
Annir:	6
Ár:	3
Einingar:	180
Um námsleiðina	Nám í tölvunarfræði hentar þeim sem langar að finna nýjar lausnir, eru skapandi og hugmyndaríkir og hafa áhuga á gervigreind, sýndarveruleika, stærðfræði, gögnum eða tölvuleikjum, svo dæmi séu tekin.
Hæfniviðmið	Skoða
Fagréttindi	Tölvunarfræðingur

Táknmyndir
	Skyldufag á braut		Kennslutungumál
	Valfag á braut		Undanfarar fyrir námskeið

Vorönn/Spring 2024

Viðskiptagreind

I-707-VGBI

6 Einingar

Forritun 1A

T-112-PRGA

2 Einingar

Forritun 1B

T-114-PRGB

2 Einingar

Forritun 1C

T-116-PRGC

2 Einingar

Gagnaskipan

T-201-GSKI

6 Einingar

Línuleg algebra með tölvunarfræði

T-201-LINC

6 Einingar

Gagnasafnsfræði

T-202-GAG1

6 Einingar

Vefforritun

T-213-VEFF

6 Einingar

Stýrikerfi

T-215-STY1

6 Einingar

Rauntímalíkön

T-219-REMO

6 Einingar

Verklegt námskeið 2

T-220-VLN2

6 Einingar

Forritun í C++

T-403-FORC

6 Einingar

Lokaverkefni

T-404-LOKA

12 Einingar

Uppl.- og samskiptatækni í skólakerfinu

T-418-UPSS

6 Einingar

Samhliða og dreifð forritun

T-419-CADP

6 Einingar

Strjál stærðfræði II

T-419-STR2

6 Einingar

Vefforritun II

T-427-WEPO

6 Einingar

Vefforritun II

T-427-WEPO

6 Einingar

Netafræði

T-445-GRTH

6 Einingar

Forritunarmál

T-501-FMAL

6 Einingar

Rökfræði í tölvunarfræði

T-505-ROKF

6 Einingar

Umhverfissálfræði og þrívíddartækni

T-534-UMHV

6 Einingar

Starfsnám BSc í tölvunarfræðideild

T-618-STAR

6 Einingar

Gervigreind

T-622-ARTI

6 Einingar

Rannsóknarvinna grunnnáms

T-622-UROP

0 Einingar

Hugbúnaðarfræði II - Prófanir

T-631-SOE2

6 Einingar

Ár

1. ár

Önn

Vorönn/Spring 2024

Stig námskeiðs

Óskilgreint

Tegund námskeiðs

Skylda

Undanfarar

T-111-PROG, Forritun
T-133-UIAD, Upplifunarhönnun notendaviðmóta
T-233-SRAD, Kerfisgreining og kerfishönnun
T-303-HUGB, Hugbúnaðarfræði
T-333-HFOV, Hugbúnaðarferlar og verkefnastjórnun

Skipulag

Ekkert skráð skipulag.

Kennari

Árni Fannar Þráinsson

Lýsing

Þróun á nútíma hugbúnaði þarfnast ekki aðeins færni í forritun, heldur einnig verkfræðilegrar kunnáttu. Helstu verkþættir við hugbúnaðarþróun eru kröfugreining (e. Requirement analysis), hönnun (e. Design), framkvæmd (e. Implementation) og prófanir (e. Testing). Ýmsar rannsóknir hafa sýnt fram á, að yfir 50% kostnaðar og vinnu við þróun hugbúnaðar eru tileinkaðar starfsemi sem tengist prófunum. Þar má nefna hönnun prófana, framkvæmd þeirra og mat á niðurstöðum þeirra. Þetta er inngangsnámskeið þar sem nemendur læra tæknilegar og hagnýtar aðferðir sem hugbúnaðarverkfræðingar nota við þróun hugbúnaðar. Námskeiðið er byggt á texta bókarinnar “Introduction to Software Testing”, eftir höfundana Paul Ammann og Jeff Offutt, þar sem áhersla er lögð á hvernig sé hægt að hanna betri prófanir eftir þekjuskilyrðum (e. Coverage criteria). Annað efni námskeiðsins tengist net þekjun (e. Graph Coverage), rök þekjun (e. Logic Coverage), hlutun inntaksrúms (e. Input Space Partitioning) og setningafræðilegum prófunum (e. Syntax-Based Testing). Í umræðum í tímum verður stundum stuðst við ítarefni til að dýpka og auka skilning nemanda á viðfangsefni námskeiðsins.

Námsmarkmið

Geti útskýrt hugtök og kenningar sem tengjast prófun hugbúnaðar.
Geti útskýrt mismunandi tegundir af formlegum þekjunar skilyrðum (e. coverage criteria)
Geti greint á milli mismunandi aðferða fyrir prófun hugbúnaðar og kunni að beita þeim
Hafi skilning á hvernig má nýta prófana umhverfi við þróunn hugbúnaðar.
Geti útskýrt hvað hugbúnaðarprófanir eru og hvers vegna þær eru nauðsynlegar.

Geti greint kröfur til prófana.
Geti skilgreint líkan af hugbúnaði og prófað það.
Geti gert áætlun um prófanir og metið hvort hún er nægilega yfirgripsmikil.
Geti notað sjálfvirkar prófanir til að meta hvort prófanir séu nægilega yfirgripsmiklar.

Geti hannað prófanir með net þekjun, rök þekjun og hlutun intaksrúms.
Geti skilgreint þekjunar skilyrði, greint þarfir og útfært viðeigandi prófanir.
Geti beitt þekjunar skilyrðum og prófanatækni til að finna galla í stóru hugbúnaðarkerfi.
Geti notað opinn hugbúnað eins og JUnit, LLVM, Klee, Coverity og Valgrind til að prófa hugbúnaðarkerfi.

Námsmat

Lesefni

Ekkert skráð lesefni.

Kennsluaðferðir

Tungumál

Íslenska

Advanced Game Design & Development

T-634-AGDD

6 Einingar

Samskipti manns og tölvu

T-636-SMAT

6 Einingar