code contracts n.
Download
Skip this Video
Loading SlideShow in 5 Seconds..
Code Contracts PowerPoint Presentation
Download Presentation
Code Contracts

Loading in 2 Seconds...

play fullscreen
1 / 19

Code Contracts - PowerPoint PPT Presentation


  • 118 Views
  • Uploaded on

Code Contracts. Gunnar Peipman ASP/ASP.NET MVP. Päevakava. Mis on koodilepe ? Koodilepete kasutamine Koodilepped ja dokumentatsioon Koodilepped ja automaattestid Liideste lepped Küsimused ja vastused. Mis on koodilepe. Mis on koodilepe.

loader
I am the owner, or an agent authorized to act on behalf of the owner, of the copyrighted work described.
capcha
Download Presentation

PowerPoint Slideshow about 'Code Contracts' - wesley-bates


An Image/Link below is provided (as is) to download presentation

Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author.While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server.


- - - - - - - - - - - - - - - - - - - - - - - - - - E N D - - - - - - - - - - - - - - - - - - - - - - - - - -
Presentation Transcript
code contracts

Code Contracts

Gunnar PeipmanASP/ASP.NET MVP

p evakava
Päevakava
  • Mis on koodilepe?
  • Koodilepetekasutamine
  • Koodileppedjadokumentatsioon
  • Koodileppedjaautomaattestid
  • Liidestelepped
  • Küsimusedjavastused
mis on koodilepe
Mis on koodilepe
  • Koodilepped on keelestsõltumatuviiskirjeldadakooditöötamiseeeldusi .NET keeltes
  • Koodilepete eesmärgiks on tõhustada koodi testimist koodi töötamise ajal ja kompileerimise eel ning võimaldada koodi paremat dokumenteerimist.
t vahendid
Töövahendid
  • Code Contracts Standard
    • Kõik VS versioonid peale Expressi
    • Binary rewriter, stand-alone library, reference assemblyte loomine
  • Code Contracts Premium
    • VS Premium või Ultimate
    • Kõik Standardi võimalused
    • Staatiline koodi kontrollimine
koodilepete t bid
Koodilepete tüübid
  • Pre-condition – eeltingimused, kontrollitakse sisendeid
  • Post-condition – järeltingimused, kontrollitakse tagastatavat väärtust
  • Assertion – kohapealne kontroll
  • Assumption – staatilise leppe eeldus
  • Object invariant – alati kontrollitav tingimus, mis peab olema täidetud
lepete kontrollimine
Lepete kontrollimine
  • Static
    • Kontrollitakse kompileerimisel
    • Leppeid ei sisaldu kompileeritud koodis
    • Koodilepete rikkumine runtimes lubatud
  • Runtime
    • Koodilepped kompileeritakse koodi
    • Kontrollitakse jooksvalt
slide8

Demo

Koodilepped ja nende kasutamine

dokumenteerimine
Dokumenteerimine
  • Koodilepped saab lisada Visual Studio koodi dokumentatsiooni
  • Lepped lisatakse peale kompileerimist, algsed failid säilitatakse
  • Töövahendid:
    • Sandcastle
    • Sandcastle Help File Builder
slide11

Demo

Koodi dokumentatsiooni genereerimine

slide12

Testimine

Koodilepped ja ühiktestid

koodilepped ja testid
Koodilepped ja testid
  • Koodilepped ja testid pole teineteist välistavad
  • Koodilepped ja testid on erinevad:
    • Koodilepped on osa koodist
    • Koodilepped on osa igast paigaldusest
    • Teste ei paigaldata kõikidesse keskkondadesse
  • Testima peab ka koodileppeid
slide14

Demo

Lepetega koodi testimine

liideste lepped
Liideste lepped
  • Koodileppeid saab liideste kaudu jõustada klassidele
  • Probleem: liidestel puudub keha
  • Lahendus: lepete klassid ja vastavad atribuudid
  • Võimaldab luua üldiseid ärireeglite kogumikke
slide17

Demo

Liideste lepped

slide18

Demo

Koodilepped ja pärilus