Seol mar théacs é seo: A formal model for the functional test of software to achieve maturity integrated level 2