I’ve posted a list of all the open source MBT tools I can find http://www.robertvbinder.com/blog/open-source-tools-for-model-based-testing/ Please have a look.  If you see any errors or omissions, please enter a blog comment. Thanks in advance …

No tags

Interview by Michael Mlynarski at 1st ETSI MBT User Conference, Berlin, October 2011   Harry Robinson is a Principal Software Design Engineer in Test (SDET) for Microsoft’s Bing team, with over twenty years of software development and testing experience at AT&T Bell Labs, HP, Microsoft, and Google, as well as time spent in the startup [...]

harry · interview · mbtuc2011 · microsoft · robinson

Hi all, we are currently collecting models from different domains and different sources to share them with the community… and we need YOU to provide models with industrial background, too! The models will be made available here on our website. As you can see, we already collected some models and we will keep doing so. [...]

No tags

Invited Talk on Model-Based Testing for Cyber-Physical Systems – Exploration of Theory and Practice at Model-Driven Development Day, May 9th, 2012 in ‘s-Hertogenbosch, The Netherlands Model-Based Testing for Cyber-Physical Systems – Dr. Justyna Zander –   https://sites.google.com/site/justynazander, SimulatedWay and Harvard University March 1st, 2012   The ever growing pervasion of software-intensive systems into physical, technical, business, and social areas [...]

embedded · justyna · systems · zander

… is the title of the recently published book by Justyna Zander, Ina Schiederdecker, and Pieter J. Mosterman. This book provides an overview of the state-of-the-art in model-based testing for embedded systems. Consisting of 22 contributions divided into 6 parts the book covers the following MBT domains: key concepts for MBT test generation, e.g., automatic [...]

mbt · survey

MISTA: Model-based Integration and System Test Automation (a.k.a. ISTA) http://www.homepages.dsu.edu/dxu/research/MBT.html Quick introduction: MISTA is a tool for generating executable test code from a model-implementation description (MID), which consists of a test model, model-implementation mapping (MIM), and helper code. (1) It uses lightweight high-level petri nets as an expressive, visual modeling notation. Both control and data [...]

mbt · on-the-fly testing · online testing · Robot Framework · Selenium · test code generation

I’ve released the final report for the survey I conducted of model-based testing users. Thanks much to the MBTUC I conference organizers for supporting this and to all who responded.  If you have questions or comments, please post it here (comment function) and I’ll reply. Bob Binder  

No tags

Dear MBT Community, some weeks or even months ago we had a great idea: Let us organize a Community Tool Survey. We are confident that this could become a great event. But we need your help! We all know such events from other domains like constraint solving or model checking. Doing something similar in the [...]

discussion · feedback · models · planning · survey · tools

In several commercial and academic projects we have struggled with the problem of the lack of a proper language to model reactive systems. Such models should be used to specify and test (in a model-based fashion) reactive systems. Currently, either no real language at all was used (like XML), or some old fashioned, hard to [...]

java · language · model · reactive · systems

Almost 300 participants attended the first German Testing Day organized by SwissQ Consulting AG on 9th November 2011 in Frankfurt. The one-day program included keynotes from Microsoft and IBM, technical presentations and lightening talks. Below we report on some highlights of GTD and on MBT-related content. Alan Page from Microsoft held the first keynote of GTD. [...]

No tags