Hello all. I have been reading many papers about model based testing and a couple of papers and books about model checking. I think that model checking applied...
Hi All, I am new to model based testing and would like to understand that completely so as to bring in a process for implementation of the same in my...
... Model-checking and model-based testing are closely related but not the same. The goal of model-checking is to find design defects by verifying assertions...
Hello, Regular expressions, while being equivalent to finite automata, are probably not well suited for modeling an application. RegExp's and Finite Automata...
Hello, Can anyone point me towards any articles or books that discuss model driven testing of requirements? I am starting to push MBT within my organization...
Hello, For the past few months I have been building a modelbased testing tool. I have a working version, but it still needs quite a bit of work to be higly...
Rob, I am intrigued. I am currently using a model based test engine (MBTE) I developed for WinRunner that generates tests based on models defined in Excel...
Hi rob, Thank you for the information rob. Actually, i had been thinking on this since quite some time and i understand that a turing machine is what comes...
Dear Rob/Bin These are exciting possibilities. Can you please tell me what language you are using for the translation ? unfortunately all these have to be...
Dear All, Can i know how to generate different paths for testing, I think chinese postman algorithm is best for path generation for testing when we represent...
Hi I spent a little time investigating test sequencing, a while ago. I have one piece of advice in this area: Decide on your test criteria, and generate a...
It is really simple, but Depth First Search can also generate paths. It is probably one of the easiest algorithms to implement, it is based on recursion. It...
Could this scenario also be posed as finding the shortest path to a goal in a search space? For instance, given start node A in Graph G, find the shortest ...
In detail s1 - - - - s s3---------------s4 - - - - s2 let s be start node and s4 be endnode and s1 and s2 are intermediate nodes, U consider links s1-s2,... as...
Dear, all. That was my reseach area of my ms degree. I developed a tool which supports a tester to model the behavior of software and generate a set of ...
Hi, Interesting tool. How can we get access to it? Regards, Luis ... From: model-based-testing@yahoogroups.com [mailto:model-based-testing@yahoogroups.com] On...
I would like to remind you of the deadline for paper submission for the European Conference on Model Driven Architecture® - Foundations and Applications...
Hi, I make my question very lucid, We can represent the behaviour of a system using FSM or Some other model, the various paths in the FSM(Finite state machine)...
Hi Saravana, Might I start with something very basic? Forgive me if this is familiar territory. "Paths" are a phenomenon of "computational models", in which...
I Appreciate U for the information U have given. Thanks for Ur Reply, Frankly iam looking at path coverage for FSM,( that to including DFD to provide value for...
A small correction: ... In principle (again), the number of paths needed to achieve 100% path coverage of a non-looping graph doubles with each binary decision...
Hi, all. Unique paths means all different paths from entry to exit. In your example, S-A-B-C-D-A-B-F is different than S-A-B-F. So, let's think about how many...
Dear All, Let me first introduce the context and then the query. We are an Independent Test Group in a software development organization performing black box...
Hi all, With this mail, i am attaching a word document which contains a slightly different approach to model based testing. I am not sure as to how good the...
Hi shankar, I want to know, u alone developed this algorithm or with the help of others, U said u r having set of rules and u traverse the rules to generate...
Hi I have 2 suggestions. These are borne out of previous attempts at a 'model first, then test' approach : - Abandon over-simple examples. The 'trivialities'...
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.
