onsdag, november 05, 2008

Mer från PDC; TL51 Research: Contract Checking and Automated Test Generation with Pex

Denhär sessionen var kanon, jag missade ett par minuter i början, och har inte Spec# helt aktuellt, men som jag fattade det är Contract Checking-delen det som kommer in i C#4.0 från spec#, mycket trevligt, det kan ju aldrig skada att få ytterligare en möjlighet att uttrycka sina intentioner. men precis som t ex när man skriver unittester så är det viktigt att välja rätt saker att styra upp betendet kring, annars kan det snärja dig längre fram.

Sen kommer PEX som ett imponerande extra verktyg. Det hjälper dig att kolla om du under alla omständigheter håller vad du lovar i både kontrakt och asserts. Jag tvivlar på att jag kommer att använda PEX dagligen, men i en del sammanhang kan det absolut vara till hjälp.

Sessionen som helhet rekommenderas varmt.

Inga kommentarer: