Skip to main content

Bug-Free Software? Go For It!


This post is a prettied-up version of the notes for my talk at the second Cambridge Exploratory Workshop on Testing last weekend. The topic for the workshop was When Testing Went Wrong

Cold fusion is a type of nuclear reaction that, if it were possible, would provide a cheap, clean and safe form of energy. In 1989 two scientists, Fleischmann and Pons, made worldwide headlines when they claimed to have generated cold fusion in a test tube in their lab. Unfortunately, subsequent attempts to replicate their results failed, other scientists started to publicly doubt the experimental methodology, and the evidence presented was eventually debunked.

Cold fusion is a bit of a scientific joke. Which means that if you are a researcher in that field - now also called Low Energy Nuclear Reactions - you are likely to have a credibility problem before you even start. And, further, that kind of credibility issue will put many off from even starting. Which is a shame because the potential payoff  in this area is high and the cost of it being wrong is relatively low.

In a fascinating article in Aeon magazine, Huw Price, a Philosophy professor at Cambridge University, writes about how, even if unlikely, cold fusion is not theoretically impossible, and that the apparent orthodox scientific opinion on it is not based on science:
Cold fusion is tainted, and the taint is contagious … So the subject is stuck in a place that is largely inaccessible to reason – a reputation trap, we might call it.
This is echoed by Harry Collins in Are We All Scientific Experts Now?:
There is always enough room to interpret data in more than one way ... We need to know motivations as much as we need to know results if we are to understand science.
Science is not pure. It is not driven only by evidence. Collins observes that, particularly at the cutting edge of research, scientists can easily split into camps. These camps agree on the result, but don't agree on what it means. When this is the case, when there is room for more than one interpretation, then - since scientists are human - it's natural for there to be human biases and prejudices at play. And those factors, those frailties, those foibles include things like reputation, preconception and peer pressure.

You might have seen Bob Marshall blogging and tweeting about whether we really need testers, and using the hashtag #NoTesting? He is provocative:
So, do we have to test, despite the customer being unkeen to pay for it? Despite it adding little or no value from the customer’s point of view? 
And he provokes, for example, reactions like this from Albert Gareev
Recently I've been observing some new silly ideas about testing – on how to do as less of it as possible or not do it at all. I don’t bother posting links here – reading those isn't worth the time.
To me, there can be value in wondering what Marshall is getting at (which Gareev also does). Engaging with someone with an apparently fundamental opposition to you can be elucidating. A contrary position can make us see our own position in a new light and it's healthy to do that sometimes.

There was an interesting (to most testers anyway, I'd hope)  headline out of Princeton earlier this year: Computer scientists launch campaign to guarantee bug-free software. What's your gut reaction to that? Something like this, perhaps? You can’t get rid of bugs …  and it’s stupid to even think you might be able to!

But read behind the headline only a little way and you will find that the project is trying to write formal (mathematical logical) specifications for software building blocks, such as a C compiler or an OS, and then chain together such components using consistent specifications.

Doesn't a formal spec just shift the specification problem? It still has to be written, right? Perhaps, but a formal language can be reasoned about; proofs can be created for aspects of it; other tools can be brought to bear on it in a way that they cannot with user stories or other (natural language) devices for specification.

For sure, it's a non-trivial problem. And perhaps it won't work. And perhaps it will even prove to have been misguided. And, absolutely, it won't catch the class of bugs that are do to with the specification being for something other than what the users actually want. But should that mean that we shouldn't pursue this line? A line that has (relative to all the research being done) low cost, potentially high benefit.

James Bach might put this kind of effort into the Analytical School. For example:
The Analytical School way is to limit themselves to laboratory contexts where the numbers apply or trying to change projects to fit the assumptions of the numbers [...]  I have a fondness for the Analytical School, but I'm not an academic, so I have to live in a world where I must solve the problems that come to me, rather than the ones I choose.
He and Cem Kaner, founders of the Context-Driven School of testing, have publicly disagreed here. Kaner says:
I think it’s a Bad Idea to alienate, ignore, or marginalize people who do hard work on interesting problems.
Bach speaks to this:
One of the things that concerns Cem is the polarization of the craft. He doesn’t like it, anymore. I suppose he wants more listening to people who have different views about whether there are best practices or not. To me, that’s unwise.
And Kaner responds:
 I've learned a lot from people who would never associate themselves with context-driven testing.
And, in fact he actively engages folk outside of the context-driven community, such as with Rex Black, who many would regard as a Factory Schooler. 

When thought leaders like Bach and Kaner, both of whom contribute so much to the community and craft of testing, say these kinds of things it's wise to listen. They clearly fall into two different camps on this topic, but they would both, I'm sure, encourage us to think critically about what we are hearing from them, and to take our own view, for ourselves.

So, to the question that CEWT #2 is posing: when does testing go wrong?  Maybe in ways like this:
  • When we look inwards too much: if we stay in our own bubble we risk lack of exposure to useful information, to things that can help us make connections.
  • When we don’t apply critical thinking: we should strive to understand our sources and the degree of confidence we have in them, and in which areas we think that confidence is justified.
  • When we don’t consider human factors: we should ask ourselves why something is being claimed. 
  • When we create reputation traps: we should be wary of closing off topics for others. Sure, we may legitimately have nothing to learn; but others might.
Like the scientists mentioned up top, testers are humans, and we have, do, and will continue to make these kinds of mistakes. Testing will always go wrong because it is done by people.

But that's also the good news: people have the capacity to observe this happening and attempt to take action to avoid or mitigate it. I want to give myself a chance of spotting approaches that are appropriate to whatever context I find myself in and I think (and perhaps this is my bias) that a sensible way to go about this is to be open to information from anywhere.

This doesn't mean that I have to accept everything or even that I shouldn't be sceptical of everything. Nor that I have to give equal time, effort or respect to everything. It doesn't mean that I can't take someone else's word for something, but I challenge myself to have considered whether that's sensible this time, for this thing.

So, if you want to tell me that you're going to find a way guarantee bug-free software, I say go for it. But when you do, explain what you did and show me the results you got and don't be surprised if I question them and your motivation.

Here's my slides:

Comments

Popular posts from this blog

Can Code, Can't Code, Is Useful

The Association for Software Testing is crowd-sourcing a book,  Navigating the World as a Context-Driven Tester , which aims to provide  responses to common questions and statements about testing from a  context-driven perspective . It's being edited by  Lee Hawkins  who is  posing questions on  Twitter ,   LinkedIn , Mastodon , Slack , and the AST  mailing list  and then collating the replies, focusing on practice over theory. I've decided to  contribute  by answering briefly, and without a lot of editing or crafting, by imagining that I'm speaking to someone in software development who's acting in good faith, cares about their work and mine, but doesn't have much visibility of what testing can be. Perhaps you'd like to join me?   --00-- "If testers can’t code, they’re of no use to us" My first reaction is to wonder what you expect from your testers. I am immediately interested in your working context and the way

Testing (AI) is Testing

Last November I gave a talk, Random Exploration of a Chatbot API , at the BCS Testing, Diversity, AI Conference .  It was a nice surprise afterwards to be offered a book from their catalogue and I chose Artificial Intelligence and Software Testing by Rex Black, James Davenport, Joanna Olszewska, Jeremias Rößler, Adam Leon Smith, and Jonathon Wright.  This week, on a couple of train journeys around East Anglia, I read it and made sketchnotes. As someone not deeply into this field, but who has been experimenting with AI as a testing tool at work, I found the landscape view provided by the book interesting, particularly the lists: of challenges in testing AI, of approaches to testing AI, and of quality aspects to consider when evaluating AI.  Despite the hype around the area right now there's much that any competent tester will be familiar with, and skills that translate directly. Where there's likely to be novelty is in the technology, and the technical domain, and the effect of

Testers are Gate-Crashers

  The Association for Software Testing is crowd-sourcing a book,  Navigating the World as a Context-Driven Tester , which aims to provide  responses to common questions and statements about testing from a  context-driven perspective . It's being edited by  Lee Hawkins  who is  posing questions on  Twitter ,   LinkedIn , Mastodon , Slack , and the AST  mailing list  and then collating the replies, focusing on practice over theory. I've decided to  contribute  by answering briefly, and without a lot of editing or crafting, by imagining that I'm speaking to someone in software development who's acting in good faith, cares about their work and mine, but doesn't have much visibility of what testing can be. Perhaps you'd like to join me?   --00-- "Testers are the gatekeepers of quality" Instinctively I don't like the sound of that, but I wonder what you mean by it. Perhaps one or more of these? Testers set the quality sta

Am I Wrong?

I happened across Exploratory Testing: Why Is It Not Ideal for Agile Projects? by Vitaly Prus this week and I was triggered. But why? I took a few minutes to think that through. Partly, I guess, I feel directly challenged. I work on an agile project (by the definition in the article) and I would say that I use exclusively exploratory testing. Naturally, I like to think I'm doing a good job. Am I wrong? After calming down, and re-reading the article a couple of times, I don't think so. 😸 From the start, even the title makes me tense. The ideal solution is a perfect solution, the best solution. My context-driven instincts are reluctant to accept the premise, and I wonder what the author thinks is an ideal solution for an agile project, or any project. I notice also that I slid so easily from "an approach is not ideal" into "I am not doing a good job" and, in retrospect, that makes me smile. It doesn't do any harm to be reminded that your cognitive bias

Play to Play

I'm reading Rick Rubin's The Creative Act: A Way of Being . It's spiritual without being religious, simultaneously vague and specific, and unerring positive about the power and ubiquity of creativity.  We artists — and we are all artists he says — can boost our creativity by being open and welcoming to knowledge and experiences and layering them with past knowledge and experiences to create new knowledge and experiences.  If that sounds a little New Age to you, well it does to me too, yet also fits with how I think about how I work. This is in part due to that vagueness, in part due to the human tendency to pattern-match, and in part because it's true. I'm only about a quarter of the way through the book but already I am making connections to things that I think and that I have thought in the past. For example, in some ways it resembles essay-format Oblique Strategy cards and I wrote about the potential value of them to testers 12 years ago. This week I found the f

Meet Me Halfway?

  The Association for Software Testing is crowd-sourcing a book,  Navigating the World as a Context-Driven Tester , which aims to provide  responses to common questions and statements about testing from a  context-driven perspective . It's being edited by  Lee Hawkins  who is  posing questions on  Twitter ,   LinkedIn , Mastodon , Slack , and the AST  mailing list  and then collating the replies, focusing on practice over theory. I've decided to  contribute  by answering briefly, and without a lot of editing or crafting, by imagining that I'm speaking to someone in software development who's acting in good faith, cares about their work and mine, but doesn't have much visibility of what testing can be. Perhaps you'd like to join me?   --00-- "Stop answering my questions with questions." Sure, I can do that. In return, please stop asking me questions so open to interpretation that any answer would be almost meaningless and certa

Test Now

The Association for Software Testing is crowd-sourcing a book,  Navigating the World as a Context-Driven Tester , which aims to provide  responses to common questions and statements about testing from a  context-driven perspective . It's being edited by  Lee Hawkins  who is  posing questions on  Twitter ,   LinkedIn , Mastodon , Slack , and the AST  mailing list  and then collating the replies, focusing on practice over theory. I've decided to  contribute  by answering briefly, and without a lot of editing or crafting, by imagining that I'm speaking to someone in software development who's acting in good faith, cares about their work and mine, but doesn't have much visibility of what testing can be. Perhaps you'd like to join me?   --00-- "When is the best time to test?" Twenty posts in , I hope you're not expecting an answer without nuance? You are? Well, I'll do my best. For me, the best time to test is when there

Rage Against the Machinery

  I often review and collaborate on unit tests at work. One of the patterns I see a lot is this: there are a handful of tests, each about a page long the tests share a lot of functionality, copy-pasted the test data is a complex object, created inside the test the test data varies little from test to test. In Kotlin-ish pseudocode, each unit test might look something like this: @Test fun `test input against response for endpoint` () { setupMocks() setupTestContext() ... val input = Object(a, OtherObject(b, c), AnotherObject(d)) ... val response = someHttpCall(endPoint, method, headers, createBodyFromInput(input) ) ... val expected = Object(w, OtherObject(x, y), AnotherObject (z)) val output = Object(process(response.getField()), otherProcess(response.getOtherField()), response.getLastField()) assertEquals(expected, output) } ... While these tests are generally functional, and I rarely have reason to doubt that they

A Qualified Answer

The Association for Software Testing is crowd-sourcing a book,  Navigating the World as a Context-Driven Tester , which aims to provide  responses to common questions and statements about testing from a  context-driven perspective . It's being edited by  Lee Hawkins  who is  posing questions on  Twitter ,   LinkedIn ,   Slack , and the AST  mailing list  and then collating the replies, focusing on practice over theory. I've decided to  contribute  by answering briefly, and without a lot of editing or crafting, by imagining that I'm speaking to someone in software development who's acting in good faith, cares about their work and mine, but doesn't have much visibility of what testing can be. Perhaps you'd like to join me?   --00-- "Whenever possible, you should hire testers with testing certifications"  Interesting. Which would you value more? (a) a candidate who was sent on loads of courses approved by some organisation you don't know and ru

README

    This week at work my team attended a Myers Briggs Type Indicator workshop. Beforehand we each completed a questionnaire which assigned us a personality type based on our position on five behavioural preference axes. For what it's worth, this time I was labelled INFJ-A and roughly at the mid-point on every axis.  I am sceptical about the value of such labels . In my less charitable moments, I imagine that the MBTI exercise gives us each a box and, later when work shows up, we try to force the work into the box regardless of any compatiblity in size and shape. On the other hand, I am not sceptical about the value of having conversations with those I work with about how we each like to work or, if you prefer it, what shape our boxes are, how much they flex, and how eager we are to chop problems up so that they fit into our boxes. Wondering how to stretch the workshop's conversational value into something ongoing I decided to write a README for me and