Black-box approach for software testing based on fat-property