Recently I ( a software architect ) was asked, by my current employer, to do some "thought work" on functional testing. Of software, that is. To my surprise, there is surprisingly little scientific literature on the subject., and much of it is outdated. Is it not being taken serious as a topic of research and investigation ? Or is it really not worth it ? I was thrown back all the way to a paper by Priestley ( paywall, alas ) and, before that, to the thoughts of famous mathematician Imre Lakatos on empirical science. And no, Wikipedia has nothing of value on the foundations of functionally testing software. So - are we dealing with a technique ? With one of the human sciences ? Or with baked air ?