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...
Im afraid you will have to ask Ben directly ( or hope he reads the list ), as they were sent to me and I wouldnt want to send them on without his permssion ...
The stuff I sent to Paul was quickly tossed together and stripped from a real app for which I can't send out the entire model. I'll create a model for a small...
_________________________________________________________ ECMDA-FA'07 CALL FOR TOOLS AND CONSULTANTS European Conference on Model Driven Architecture® ...
Call for Participation TESTCOM / FATES 2007 The International Event for Testing of Software and Communicating Systems 19th IFIP Int. Conference on Testing of...
Good afternoon, I was wondering how you check the adequacy of your OCL Expressions (invariants, pre/postconditions). I'm in the process of validating my...
In doing a search on models based on Markov Chains I came across a project and tool called MaTeLo (Markov Testing Logic). Look it up if you're interested....
Sorry for the delay. I haven't yet gotten a chance to assemble some sample model files. I did send something to Suresh. It's still on my list to create some...
Hi all, I want to know about the transformation of system design model (SDM) into Test design model (TDM) which can further use for test data, test oracle ...
When I first started doing MBT about seven years ago, I thought it would be wonderful if I could just take the system design models and transfer them to an...
Anyone find links to the tool? The one I found http://www.alitec.net/matelo, appears to be obsolete. Thanks, -Demian Please note: message attached In doing a...
Here is an active link. http://www.all4tec.net/index.php?option=com_content <http://www.all4tec.net/index.php?option=com_content&task=view&id=20&Itemid= ...
Hi Ben You wrote, I haven't yet worked in a place that system design models were made available to testers in a form that could be used for test automation. ...
... Ben, I think you've hit the nail on the head. Some development teams here have begun to use Agitar as a supplement to their unit testing, while others ...
Bob, Nice description of V-TEC. I have a question, though. Your diagrams refer to "Test Vectors" which have long been defined as a static set of "Inputs"...
Hi Alan, ... Well, the name is actually T-VEC. (Short for Test VECtor) rather than V-TEC which is a Honda engine technology ;-) Since about 1988-89 we have...
My apologies for confusing V-TEC with T-VEC. Alan ... From: Bob Busser To: model-based-testing@yahoogroups.com ; aaj@... Sent: Thursday, May 10, 2007...
////////////////////////////////////// New submission deadline: May 28, 2007 //////////////////////////////////// Call for Papers: Domain-Specific Approaches...
hi friends I have a doubt regarding the test cases been generated from state specification for an object oriented program how the test cases would formly be...
Gayathri & All, I am a consultant and have been using Matlab for embedded software development for over 10 years. This includes model-based testing. Matlab has...
Scott, I'm sorry, but the resolution of you screen shot was such that I was unable to read some of your model, presented, I must say, in a very confusing way. ...
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.
