observations on software testing