Zullen we het ooit leren? Maarten Boasson Quaerendo Invenietis bv Universiteit van Amsterdam.

Presentatie over: "Zullen we het ooit leren? Maarten Boasson Quaerendo Invenietis bv Universiteit van Amsterdam."— Transcript van de presentatie:

1 Zullen we het ooit leren? Maarten Boasson Quaerendo Invenietis bv Universiteit van Amsterdam

2 idee specontwerpimplementatietestprototype upgradesmodificationsdeath

3 systeemkennis implementatieinzicht formele technieken systeemkennis implementatie software hardware lifecycle hardware software systeem hardware software idee prototypespecontwerpimplementatietest vereiste kennis

4 wat zijn de goede abstracties? hoe interpreteren we de ervaringen? kunnen we de resultaten generaliseren? kunnen we performance extrapoleren? abstractie executeerbaar idee prototypespecontwerpimplementatietest problemen

5 abstractie executeerbaar niet te lezen meestal niet executeerbaar ?? consistentie? volledigheid? niet te veel? gedrag – functioneel, temporeel, …? context? idee prototypespecontwerpimplementatietest problemen

6 abstractie executeerbaar niet te lezen meestal niet executeerbaar ?? niet executeerbaar essentiele keuzes algoritmen architectuur? kwaliteits-attributen? correctheid? idee prototypespecontwerpimplementatietest problemen

7 idee prototypespecontwerpimplementatietest abstractie executeerbaar niet te lezen meestal niet executeerbaar ?? niet executeerbaar essentiele keuzes algoritmen executeerbaar techn. specifiek onderhoudbaar? performance? equivalentie? problemen

8 idee prototypespecontwerpimplementatietest raadselachtig proces scheppende kunst

9 idee prototypespecontwerpimplementatietest dit begrijpen we (nog steeds) niet echt er bestaat geen methode  vuistregels die voortgang garanderen brengt een ontwerp beslissing ons dichterbij de oplossing?  theorie waarmee correctheid kan worden onderzocht

10 dit kunnen we niet meer! “voorgeschreven” gereedschap bijv. OO: meer voor analyse dan voor ontwerp we kennen de onderliggende hardware niet meer resource gebruik onduidelijk, caching, … we kunnen niet denken op vele niveaus van abstractie tegelijk idee prototypespecontwerpimplementatietest

11 idee prototypespecontwerpimplementatietest geen solide basis voor definitie van tests test resultaten relateren aan ontwerp moeilijk en eventueel aan spec nog moeilijker testduur  kwaliteit?

12 Zullen we het ooit leren? Niet als we om de hete brij heen blijven draaien! –we ontwikkelen methoden om complexiteit te beheren –we hebben beheersing van complexiteit nodig! –we verzinnen steeds weer nieuwe silver bullets –we moeten onze verworvenheden koesteren

13 Zullen we het ooit leren? Noodzakelijke voorwaarden –leren van ervaringen evalueren van mislukkingen en successen documenteren van ontwerpbeslissingen met impact –open geest niet dogmatisch meedoen aan de mode gebruik van ervaringen (eigen en van anderen)

14 Zullen we het ooit leren? Noodzakelijke voorwaarden –fundamenteeel onderzoek maar wel naar realistische problemenconnectivitytimeliness availabilityevolvability performance security

15 Zullen we het ooit leren? Noodzakelijke voorwaarden –samenwerking universiteit-industrie universiteit kent de echte problemen niet industrie kan de problemen i.h.a. niet oplossen op voet van gelijkheid zaak van lange adem publicatieplicht universiteit wegnemen

16 Zullen we het ooit leren? Voldoende voorwaarden –Als we dat eens wisten!