Целта на дипломната работа е да се разработи система за тестване на софтуерни приложения, проектирани на базата на контракти. Системата е базирана на аспектно-ориентираното програмиране и методологията за проектиране ...