Model development

Question

Hi,

I would like to use spec explorer to generate test cases for my application which has been completely developed.

The entire application has been developed using C# codes. Now, can this code serve as a model for me? How do I generate my model from this code?

What should I do, to use this code to generate test cases?

Balaji.

---

Balaji J.

Answer 1

Hi, Balji,

The basic idea of model-based testing is to generate test cases from a model reflecting the design, and use these test cases to test the implementation. I am afraid if you want to just use your existing application as a model, you cannot find any issues because test cases are actually generated from your implemention now, not from your original design.

However, if you still want to do this, you can do some abstraction work at a specific level, and define the actions correspondingly. There is no automatic generation function in Spec Explorer, however, you can do it with some slight changes.

You can send the application or a simple sample to [e-mail] so I can have a look.

Thanks,

Xiang

Answer 2

Hi Xiang,

If I create a "Test model" of my application using modeling tools such as IBM Rational or StarUML, (with Class diagrams, state machines etc.) how do I import them in to Spec Explorer?

We as a team of test engineers are interested towards exploring MBT. Is there any possibility to conduct a Demo session sort of thing?

Regards

Balaji J.

---

Balaji J.

Answer 3

Hi, Balaji,

Currently there is no way to import them into Spec Explorer. We are on our way to support UML, you can visit http://visualstudiogallery.msdn.microsoft.com/ce73da2a-072f-44d0-ae18-600213b56520. Other inputs are not in our backlog now, but you are always welcome to provide feature requests.

For demo thing, we have some videos at http://social.msdn.microsoft.com/Forums/en-US/specexplorer/thread/9155dc4f-61f4-4e4a-a0f4-9111628aa886

If you need other help, or want to set up a meeting, feel free to contact me: [e-mail]

 

Thanks,

Xiang

Answer 4

Hi Sir,

I am Ashok working in TCS.I have some doubt regarding UML Extension for spec explorer.

I was confused that seeing the samples for uml extension like ATM sample.it is having 5 projects consisting of adapter ,mockup and as config and model project code has to be written but in case of Mockup project and adapter project there is a heavy code in that.But the concept of MBT is to generate test cases from model only na then my question is:

1.Whether we have to write the code for adapter and mockup projects or else is there any procedure to automate that code because these again contains sub classes having code ,as of now i am trying to explore the UML features of spec explorer in the perspective of business concern they cant easily understand the code .

so could you please clarify my doubt and show me the right way to learn as well

and

2.if u have any videos link or any tutorials regarding UML extension for spec explorer please do post me or send to my mailid:

[e-mail]

So please do help me .Please

Best

Ashok