Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456
Model Based Protocol Testing in C#
[go: Go Back, main page]

Mudelipõhine protokollitestimine programmeerimiskeeles C# (kevad 2007)


Registreerumine: Kursusele registreerumiseks deklarareerida selle kuulamine vastavalt kehtivale korrale dekanaadis, kuid saata ka meil Juhan Ernitsale aadressil juhan(at)cc.ioc.ee. Tähtaeg: 12.2.2007 kl 17.00.


Kood: ITI8020

Punkte: 2.0 AP

Tunde: 12 tundi loenguid

Tunniplaan: loengud toimuvad kell 15.00-18.00 17., 18., 19. ja 20. aprillil 2007. Ruum on B101 Küberneetika Majas, Akadeemia tee 21. Loengud toimuvad inglise keeles.

Kontrollivorm: eksam

Eksam: Eksamihinde saamiseks tuleb lahendada komplekt koduülesandeid/teostada miniprojekt. Tähtaeg R 11.05.2007!

Õppejõud: dr Margus Veanes, Microsoft Research, Redmond, USA

Kontakt: Juhan Ernits, juhan(at)cc.ioc.ee

Kursust toetab:
Tiigriülikool


Model Based Protocol Testing in C#


Abstract


The course starts with a brief introduction to general principles of model based testing and continues on to issues and techniques of model based protocol testing. Model based protocol testing is relevant for example for testing the application programming interface (API) of some piece of object oriented software where the behaviour is most conveniently described in terms of a protocol. An example of such protocol is the specification of a file access library: a file can not be read or written to prior to opening it, and after reading or writing it should be closed, thus plain knowledge of the API or member function signatures is not sufficient neither for using nor testing such file access library. The course additionally discusses how specifying the behaviour of a complex set of protocols can be split into features and how these features can later be composed. A large part of the course is comprised of practical examples and exercises using C# and the Modeling Library developed at Microsoft Research.

Viiteid

Seotud tööriistad

Mõned näpunäited

Windowsis harjutuste tegemiseks tuleb paigaldada .Net SDK versioon 2.0. Lisaks võib paigaldada Visual Studio C# 2005 Express Editioni, et oleks mugav tekstiredaktor C# tarbeks.

Windowsis saab mugavalt kätte käsurea, kus .Net SDK kompilaator, csc.exe, on rajas, kui avada käsurea aken alustades Start menüüst: Program Files, Microsoft .NET Framework SDK v2.0, SDK Command Prompt.

TTÜ tudengitel on võimalik Visual Studio 2005 sikutada endale MSDN Academic Alliance programmi raames aadressilt http://zaurus.ttu.ee


Dept. of Computer Science, TUT, Institute of Cybernetics.
Juhan Ernits
Viimati muudetud 17.04.2007