You could perhaps argue some of these--you might have some difference of opinion here, but I wouldn't say that the bug was in the actual software under test because the actual software did what it was supposed to do according to specification correctly.