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…

Output is Just Input with the Opposite Sign

It’s been a while since I last posted about my model-based testing tool, the MBT Workbench.  That is mostly because last time, we finished something really cool (a fully working chain resulting in web-services getting called), and the big bunch of very samey user-interface coding I had to do get further was a lot less […]

Read More…

User-Interface too Noisy? Add More Icons!

Last time, we looked at how the MBT Workbench assists the user in deriving an input mapping from a service definition. This time, we will look at what input mappings look like and how they can be created inside the MBT Workbench, and we’ll also take a look at how the entire meta-model is implemented. […]

Read More…

Generic Data-types for User-interfaces

I’m playing around making an application for model-based testing.  It’s a standard GUI application, so of course, I am relying on the model-view-controller design pattern for the overall structure.  I am, however, too lazy to set up a big-ol’ object model, so the basic structure of my model is just this: [java] public class Project extends […]

Read More…

Model-based Testing

Having written 3 posts about model-based testing, I thought it would be instructional to also include a brief explanation about what the model-based testing approach is all about, in case somebody isn’t 100% up-to-date with decade-old buzzwords of academia. Revisiting the meta-model for the MBT Workbench from this post, I have also added a new […]

Read More…