The Fuzz about Models

The past weeks, I’ve been working on what was intended to be a small amusing feature in the Model-Based Testing Workbench, but instead turned out to be much more complex and useful than I thought it would be. Fuzzing is a testing technique, which consists largely of just throwing random inputs at a program and […]

Read More… from The Fuzz about Models

Mean Means

I am for whatever reasons computing some averages.  Should be simple enough, right?  The average of 4 and 6 is (4 + 6) / 2 = 5, right?  Yes, but no.  TD;DR: computers are dumb! Any sensible person would implement the computation in a C/Java style language like this: [java] int avg1(final int a, final […]

Read More… from Mean Means

Minor Improvements

It’s been a while since I last wrote about the Model-based Testing Workbench.  That’s not for lack of developments, but because I bit over what turned out to be much more complex and useful than I originally anticipated.  That’s not the topic of this post, though, in this post I’ll outline a bunch of minor […]

Read More… from Minor Improvements

An Answer to the Backup Question?

I’ve been posting a lot about backup.  Well, not a lot a lot, but pretty much every year or so the past half decade or so, I have solicited the wisdom of the internet brain trust as I was searching for a backup solution. My backup needs are a bit atypical; they are not unique, […]

Read More… from An Answer to the Backup Question?

A Model of a Program

The MBT Workbench, my tool for model-based testing, is nearing completion, at least in a proof-of-concept state.  The idea is that instead of focusing on setting up test logical cases and manually or semi-automatically validating that an application adheres to them, we just provide a model describing the correct system behavior, and let the computer […]

Read More… from A Model of a Program