Anfonwch hwn fel neges destun: Functional program testing and analysis