Statistical procedures for certification of software systems door