Website: | website met extra informatie | |||||||||||||||||||||||||
Vakcode: | INFOB3STV | |||||||||||||||||||||||||
Studiepunten: | 7.5 ECTS | |||||||||||||||||||||||||
Historie: | Dit vak is de opvolger van Programmeren en correctheid (INFOPC). Je kunt maar een van beide vakken voor je examen opvoeren | |||||||||||||||||||||||||
Periode: | periode 4 (week 17 t/m 26, d.w.z. 26-4-2021 t/m 2-7-2021; herkansing week 28) | ![]() | ||||||||||||||||||||||||
Timeslot: | C | |||||||||||||||||||||||||
Deelnemers: | tot nu toe 0 inschrijvingen | |||||||||||||||||||||||||
Rooster: | De officiële roosters staan in MyTimetable | |||||||||||||||||||||||||
Docenten: |
| |||||||||||||||||||||||||
Nota bene: | Er is geen recente vakbeschrijving beschikbaar. Onderstaande tekst is een oude vakbeschrijving uit collegejaar 2019/2020 | |||||||||||||||||||||||||
Inhoud: | Testing is noodzakelijk om te garanderen dat onze software betrouwbaar is. Echter, software wordt steeds complexer. Testing wordt ook erg duur, omdat er te veel mogelijke executies zijn die getest moeten worden. We zouden dus keuzes moeten maken. In dit vak gaan we een aantal kern concepten, theorieën en technieken leren, zoals partitie-gebaseerd of control-flow-gebaseerd, om testing als een doelgericht en systematisch proces te beschrijven en uit te voeren. Ook zal er aandacht gegeven worden aan het testen van computer games. In sommige toepassingsgebieden is het echter belangrijk om het risico van fouten zo min mogelijk te houden (denk aan de elektronica van je auto’s). We gaan dus ook een programmeerlogica leren, waarmee we een programma correct kunnen bewijzen, zonder dat wij het programma hoeven te testen. De methode is volledig: een correct aangetoond programma voldoet echt aan zijn specificatie. | |||||||||||||||||||||||||
Literatuur: | Kan veranderen!
| |||||||||||||||||||||||||
Werkvorm: | college, project, en werkcollege. | |||||||||||||||||||||||||
Toetsvorm: | 2 projecten, 1 opdracht, 1 midtentamen, 1 eindtentamen.
eindcijfer = 0.3 * (gemiddelde van projecten) + 0.2 * opdracht + 0.5 * (gemiddelde van tentamens) | |||||||||||||||||||||||||
Inspanningsverplichting voor aanvullende toets: | Om aan de aanvullende toets te mogen meedoen moet de oorspronkelijke uitslag minstens 4 zijn. | |||||||||||||||||||||||||
Beschrijving: | Themas:
|