Are current abstractions good enough? If I test a software requiring network connection, then I need to consider the possible states of two obvious layers: net

Are current abstractions good enough? If I test a software requiring network connection, then I need to consider the possible states of two obvious layers: network and the os. If both layers only have 3 qualities, with 3 distinct states, then they amount to a 3^6=729 total different unique environment my software can run in. Then I need to test all my unique software states in all of the above cases, which is already impossible. So are you making the point that the current abstractions are not good enough, because I cannot consider them “invisible”?