Statistical procedures for certification of software systems by