Assumptions Software Testing