|
Состоялся доклад «Specification Based Testing: A Practical Concern» |
|
11.09.2004 г. |
|
С 7 по 10 сентября Александр Петренко по приглашению Рабочей группы IFIP WG2.3 «Методология программирования» участвовал в заседании этой группы, проходившем в городе Прато, Италия. Был сделан доклад на тему «Specification Based Testing: A Practical Concern». В докладе особое внимание уделялось аспектам практического использования методологии тестирования на основе формальных спецификаций. В частности, рассматривалась тема расширения языков программирования, нацеленных на спецификацию программных контрактов и генерацию тестов из таких спецификаций. Особый интерес к данному докладу проявили Bertrand Meyer (автор концепции Design-by-Сontract), Gary Leavens (автор JML, Java Modeling Language), Rustan Leino (один из авторов Spec#, спецификационного расширения языка C#). Дискуссия показала перспективность подхода UniTESK к внедрению формальных спецификаций через разработку расширений общеизвестных языков программирования.
|
