Testing on the basis of models
On April 25, 2010 in Computer Science Club at the St. Petersburg department of Mathematical institute of RAS Kulyamin Victor (ISP RAS) performed with "Testing on the basis of Models" mini-rate (3 lectures about 90 minutes). In these lectures it was talked that it in general testing on the basis of models why it is rather perspective as approach to quality control of modern difficult software what main types of models are used in testing and by what methods it is possible to build effectively tests on their basis.
"I personally very much liked activity of audience," - Victor told, - "a large number of questions and notes as during the lectures, and later, nearly an hour more I answered questions of listeners. It while people came to lectures on Sunday, having spent it almost completely".
The slides accompanying this mini-rate are available on the website of Computer Science Club, besides videos of a performance of Victor are published: