My answers are in the context of automated software application testing: primarily testing through a UI. I have also created model-based data validation...
Second Call for Papers: TESTCOM / FATES '07 19th IFIP Int. Conference on Testing of Communicating Systems (TESTCOM) and 7th Int. Workshop on Formal Approaches...
Henry, I tried submitting my papper for ROSATEA-2007. But I'm getting "page cannot be founfd". So I'm sending the paper to You. Meanwhile I keep trying to send...
Dear Neels, you shall create a PDF version of the paper (this maybe the reason). Please try again. By the way, your message has been spammed by my filter, so...
I have a question for those of you using model-based testing in industrial applications. Industrial projects typically have a test case management system that...
Harry, This is a problem to which I am also seeking a good solution. MBT doesn't provide the metrics that people are used to reporting and they don't fit into...
I left out a piece of data that we are generating at test execution: counts of the transitions and validations defined for each model state. Our MBT states...
What is a TCM? Thanks. Pete Lakey _____ From: model-based-testing@yahoogroups.com [mailto:model-based-testing@yahoogroups.com] On Behalf Of Simo, Ben Sent:...
Im not currently using mbt but did some work on it last year. We also have a home grown tcm, with auto tests reporting into it, as well as manual results being...
As a prelude I just want to say that I'm not affiliated with any particular organization, so I don't promote any particular tool. The modeling approach that...
Harry, Traditionally I have seen that management believes in big bang approach (one delivery of software, one curve, run/count the test once, don't count runs...
Obviously, it depends on what you are modeling, but we translated standard code coverage metrics such as statement coverage, branch coverage, and MCDC coverage...
Just delurking for a couple of thoughts. I'm a QA manager now, but before I moved to the dark side, I was a test automater (and developer stint in the middle,...
Hi, This is a very good question, which also we have been thinking for some time. Currently it seems that MBT is complementary to the traditional testing...
Apologies for multiple postings Call for Papers 3rd Workshop on Advances in Model Based Testing (A-MOST 2007) Venue: Brunei Gallery, SOAS, Central London,...
CALL FOR PAPERS Second European Workshop on Milestones, Models and Mappings for Model-Driven Architecture (3M4MDA 2007): Towards Model-Driven Service-Oriented...
I attach a document that details a call for presentations for SQC 20007 (UK). SQC is an open industry conference that has been running in Europe for more than...
Dear MBT-experts, I am currently exploring the domain of model based testing to choose the precise topic of my diploma. I am getting a bit stuck at the point...
I want to share our experience in using an MBT tool. ... We store source code and generate tests only when we need them. ... We tried to present our results in...
... the precise topic of ... current state of research in ... There are two books dedicated to model-based testing: * Practical Model-Based Testing: A Tools...
Paul, I too tried the system of reporting actions as test cases. I even had buy-in from management. This resulted in my automated tests reporting tens of...
Paul, Thanks for the referral to yEd. I will check it out. Our model-based test engine currently uses Graphviz ( http://www.graphviz.org) to generate state...
sounds like we had some very similar ideas. Tens of thousands of states/transitions! Wow! I had broken down my protottype models to have , if I remember...
... Yep. This is made possible by the hierarchical state models. Due to the hierarchy, we do not have to manually define all the possible transitions for...
What do people use to 'hold' their model? Ben has shared some of his Excel spreadsheets with me. Ive also been looking at yEd ( a graph drawing package with...
Having problems with message search?
Fill out this form to ensure your group is one of the first to be migrated to the new message search system.
