Здравствуйте, Nata1111, Вы писали:

N>Существует такой язык для описания спецификаций — RSL. Но когда я сделала поиск по rsdn, оказалось, что он упомянут всего одним человеком. Неужели никто не использует и это только академические штучки?

Неплохой язык. Спецификации на RSL можно сразу же использовать для тестирования. Но загвоздка в том, чтобы найти средства, которые его позволял в таком качестве применять.

Насколько я понимаю концепцию помодульное тестирование, то модульные тесты вполне можно было бы писать на RSL. Но опять же нужна поддержка инструментальных сред разработки.

Еще есть такая концепция, как Аспектно-ориентированное программирование. Концепция замечательная, а вот практическое применение пока затруднено в связи с ущербной поддержкой средами