Finding bugs in Haskell code by proving it – Blog – Joachim Breitners Homepage

https://www.joachim-breitner.de/blog/734-Finding_bugs_in_Haskell_code_by_proving_it

Hhm. I thought that QuickCheck was the way to go for proving Haskell code. I’m disappointed.

Advertisements
Link

Developer Testing

Henrik Warne's blog

I recently found out about the book Developer Testing – Building Quality Into Software by Alexander Tarlinder, and I immediately wanted to read it. Even though I am a developer at heart, I have always been interested in software testing (I even worked as a tester for two years).

I think the subject of the book, developer testing, is timely. There seems to be a broad trend where more and more responsibility for testing is given to developers. It follows from the move towards micro services, dev ops and the “you built it, you run it” principle. Another driving force is the prevalence of developer testing frameworks that started with JUnit and now includes many more. These frameworks encourage and help developers write automatic tests.

Despite this trend of increasing developer testing, my feeling is that many developers still don’t test their programs well enough. For example, they may…

View original post 1,010 more words

Developer Testing