https://wiki.student.utwente.nl/w/index.php?action=history&feed=atom&title=Model-Based_Testing 2026-11-01T09:15:23Z Bewerkingsoverzicht voor deze pagina op de wiki MediaWiki 1.43.9 https://wiki.student.utwente.nl/w/index.php?title=Model-Based_Testing&diff=12172&oldid=prev 2010-12-31T13:39:16Z

<p><span class="autocomment">Externe Links</span></p> <table style="background-color: #fff; color: #202122;" data-mw="interface"> <col class="diff-marker" /> <col class="diff-content" /> <col class="diff-marker" /> <col class="diff-content" /> <tr class="diff-title" lang="nl"> <td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">← Oudere versie</td> <td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">Versie van 31 dec 2010 13:39</td> </tr><tr> <td colspan="2" class="diff-lineno">Regel 11:</td> <td colspan="2" class="diff-lineno">Regel 11:</td> </tr> <tr> <td class="diff-marker"></td> <td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br /></td> <td class="diff-marker"></td> <td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br /></td> </tr> <tr> <td class="diff-marker"></td> <td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>==Externe Links==</div></td> <td class="diff-marker"></td> <td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>==Externe Links==</div></td> </tr> <tr> <td class="diff-marker" data-marker="−"></td> <td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div>[http://wwwhome.cs.utwente.nl/~timmer/papers/ST09extended.pdf Onderzoek Mark Timmer &amp; <del style="font-weight: bold; text-decoration: none;">Mariëlle</del> Stoelinga]</div></td> <td class="diff-marker" data-marker="+"></td> <td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div>[http://wwwhome.cs.utwente.nl/~timmer/papers/ST09extended.pdf Onderzoek Mark Timmer &amp; <ins style="font-weight: bold; text-decoration: none;">Mariëlle</ins> Stoelinga]</div></td> </tr> <tr> <td class="diff-marker"></td> <td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br /></td> <td class="diff-marker"></td> <td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br /></td> </tr> <tr> <td colspan="2" class="diff-empty diff-side-deleted"></td> <td class="diff-marker" data-marker="+"></td> <td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div>[http://eprints.eemcs.utwente.nl/18580/01/TBS11.pdf Overzichtsartikel model-based testing]</div></td> </tr> <tr> <td class="diff-marker"></td> <td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>[[Categorie:Omschrijving]]</div></td> <td class="diff-marker"></td> <td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>[[Categorie:Omschrijving]]</div></td> </tr> <tr> <td class="diff-marker"></td> <td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>[[Categorie:Projecten]]</div></td> <td class="diff-marker"></td> <td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>[[Categorie:Projecten]]</div></td> </tr> </table>

Marktimmer https://wiki.student.utwente.nl/w/index.php?title=Model-Based_Testing&diff=11072&oldid=prev 2009-01-25T12:45:21Z

<p></p> <p><b>Nieuwe pagina</b></p><div>==Omschrijving==<br /> Model-based testing is een manier van software testen waarbij de test cases worden verkregen door middel van een wiskundig model van het hele of een deel van het te testen systeem. <br /> <br /> Het model is normaal gesproken een abstracte weergave van het verwachte gedrag van het te testen systeem. Vaak wordt het model opgedeeld in verschillende delen, die samen het geheel vormen, omdat anders van een te groot en complex model sprake zou zijn. De test case, die vanuit dit model door een speciaal computerprogramma kan worden gegenereerd, is niet gelijk uit te voeren op het systeem, omdat het gebaseerd is op het model en niet op het syteem. Hiervoor is dus nog een speciaal te schrijven programma nodig om de daadwerkelijke test uit te kunnen voeren. <br /> Het is, zoals met alle manieren van testen niet uit te sluiten, dat een systeem nog altijd fouten bevat na het testen. Testen kan namelijk alleen het aanwezig zijn van fouten aantonen, niet het afwezig zijn van fouten.<br /> <br /> ==Onderzoek binnen de UT==<br /> Binnen de UT wordt onderzoek in de Model-based testing wereld gedaan op de leerstoel [[FMT]]. Oa. Mark Timmer heeft zich bezig gehouden met het ontwikkelen van een methode waarmee is vast te stellen wat er bekend is na het uitvoeren van een test. Als gezegd kun je nooit 100% zeker weten, dat er geen fouten optreden, maar toch is het fijn om een schatting te hebben van de mate van zekerheid die er is over de correctheid van een syteem. <br /> <br /> <br /> <br /> ==Externe Links==<br /> [http://wwwhome.cs.utwente.nl/~timmer/papers/ST09extended.pdf Onderzoek Mark Timmer &amp; Mariëlle Stoelinga]<br /> <br /> [[Categorie:Omschrijving]]<br /> [[Categorie:Projecten]]<br /> <br /> <br /> {{leerstoelen}}</div>

MCKolkman