.NET NUnitでeventのテストをする。 NUnitでは当然ながら一つのTestCaseは一つのパブリックなメソッドで表されます。このためイベントのテストをするためには少し工夫がいります。//Connectを呼ぶとOnConnectedイベントが呼び出されること。public vo... 2010-03-30 .NETオブジェクト指向・システム開発
オブジェクト指向・システム開発 The Verification Corner – Loop Termination | Peli at RiSE | Channel 9 The Verification Corner - Loop Termination | Peli at RiSE | Channel 9 Dafnyおもしろいかも。 2010-03-30 オブジェクト指向・システム開発
.NET 
.NET オブジェクト指向・システム開発