Jason,

Do you happen to have soft copies of the references in this document or know
of a URL where they can be found.

Thanks,

Rob

-----Original Message-----
From: jason.selvidge@... [mailto:jason.selvidge@...]
Sent: Thursday, January 25, 2001 5:50 AM
To: model-based-testing@egroups.com
Subject: Re: [model-based-testing] Model based testing with Mercury
Tools



Hi Dan,

You can download a PDF version of a white paper called "Driving GUI-Based
Applications" by going to the following link:

http://www.q-labs.com/pdf/qlabs_aste_97.pdf

It describes a process for model-based-testing using X-Runner, another
Mercury product.  The process would be the same, just plug in Win-Runner
instead of X-Runner.  If you have any questions, please don't hesitate to
contact me.

Jason Selvidge


Community email addresses:
   Post message: model-based-testing@onelist.com
   Subscribe:    model-based-testing-subscribe@onelist.com
   Unsubscribe:  model-based-testing-unsubscribe@onelist.com
   List owner:   model-based-testing-owner@onelist.com

Shortcut URL to this page:
   http://www.onelist.com/community/model-based-testing

Hi Dan,

You can download a PDF version of a white paper called "Driving GUI-Based
Applications" by going to the following link:

http://www.q-labs.com/pdf/qlabs_aste_97.pdf

It describes a process for model-based-testing using X-Runner, another
Mercury product.  The process would be the same, just plug in Win-Runner
instead of X-Runner.  If you have any questions, please don't hesitate to
contact me.

Jason Selvidge

Hello everyone,
I have been in QA for over ten years and I am impressed with your
model-based testing method. I have recently been asked to create an
automated testing method for a company that I am doing contract work
for. After doing the research, I feel that the model-based testing
method is the way to go. They have already purchased Mercury
Interactive's Test Suite (WinRunner and TestDirector).  Does anyone
have any practical experience in implementing a model-based testing
method using these tools?  Any help would be much appreciated.

Sincerely,
Dan Jenkins
Lead Qaulity Assurance Engineer
DataStream Systems, Inc.

Hello Harry !

I've read your articles Intelligent Test Automation and Applying models in
your testing process
recently and had the following impression:
* M(odel) B(ased) T(esting) sounds to me very much like a silver
bullet for the testing process !!!

Then I've done further research on the topic and found additional stuff
(e.g. the website http://www.agedis.de
of the European research project AGEDIS (Automated Generation and Execution
of Test
Suites for DIstributed Component-based Software )).

My background is as follows:
I'm a computer scientist working as a Senior Solution Development Engineer
in an Internet Startup Company. I'm currently doing research with regard to
the introduction of
an (automated) testing process for testing our complex Web App.

My questions are now as follows:
* Do You know of any real life examples where MBT has been (tried to
be) used for Web App Testing ?
* Do You think that the MBT approach is already appropriate RIGHT NOW
for Web App Testing ?
* Which tools already exist RIGHT NOW for supporting the MBT approach
?

I would also appreciate it VERY MUCH if the FAQs announced earlier in this
discussion group go live.



Kind Regards


Kai Tischler

The AGEDIS project web site is now on line at www.agedis.de
Read more about our research and development plans for automated
model based software testing tools, and take part in discussion
groups related to these topics...

Alan

--- In model-based-testing@egroups.com, "Alan Hartman" <hartman@i...>
wrote:
> A contract has just been signed between the European Commission and
a
> consortium of six European companies and one Middle Eastern company
to
> provide tools for model based testing of distributed component-
based
> software systems.
>
> The AGEDIS (Automated Generation and Execution of test suites for
> DIstributed component-based Software) Consortium consists of:
> 1. IBM Haifa Research Laboratory Software Testing Group (of which I
am
> a member)
> 2. Oxford University Computing Laboratory (Jim Woodcock is our
> intrepid Oxford collaborator)
> 3. Verimag laboratory at Universite Joseph Fournier in Grenoble
> (AGEDIS leader here is Yassine Lakhnech)
> 4. France Telecom R&D (contact Yves-Marie Quemener)
> 5. IBM development Laboratory in Hursley Park (Ian Craggs)
> 6. Intrasoft International (Antonis Ramfos)
> 7. imbus GmbH (Klaudia Dussa-Zeiger)
>
> The aim of the project is to increase the efficiency and
> competitiveness of the European software industry by automating of
> software testing, and improving the quality of software while
reducing
> the expense of the testing phase. AGEDIS will achieve this by
> developing a methodology and tools for the automation of software
> testing in general, with emphasis on distributed component-based
> software systems.
>
> AGEDIS is also pushing an open architecture for model based
software
> testing with places for all tools to plug in and allow cross
> fertilization between different open source and commercial tools.
>
> The best place to get more details (until the AGEDIS site itself
gets
> online) is in a paper on the Haifa Lab's work entitled A
Methodology
> and Architecture for Automated Software Testing
> To be presented at the: ISC TEST International Conference on
Software
> Testing, April 2001 in Bonn. I will send a copy of this paper to
> Chris, so that he can post it here.
>
> The official start of the AGEDIS project is tomorrow - November
1st. I
> will let you know as soon as the web-site is online.

The web site is now on line at www.agedis.de
>
> Alan Hartman

Since the TestMaster Web Page is no longer available, I have disabled links
to the 7 Teradyne model-based testing papers from the "online papers" page.

Regards,
Harry

Sadly, it appears this rumor is true! Here is the message from the
TestMaster web page:

The TestMaster Web site is no longer active. Although TestMaster continues
to be used by customers, it is not an actively marketed product.


I just sent a note to Larry Apfelbaum asking if the papers will be hosted by
Empirix (the new company) or if he would let me host them on my site. The
Teradyne papers provided excellent introductions to model-based testing in
general and chiefly used their TestMaster product to illustrate their
points.

More news as it happens.

Thanks,
Harry

  -----Original Message-----
From:  hartman@... [mailto:hartman@...]
Sent: Friday, December 29, 2000 5:09 AM
To: model-based-testing@egroups.com
Subject: Re: [model-based-testing] Looking for some papers




Hi Frederik,
I have heard a rumor that Teradyne have withdrawn their tool TestMaster
from the market. This may explain the absence of their papers from their
web site at www.teradyne.com.

Some abstracts of Larry Apfelbaum's papers still exist on
http://www.soft.com/QualWeek/QW99

Alan

---------------------------------------------------------
Alan Hartman
Ph: +972-4-8296525
Fx: +972-4-8296376
eMail: hartman@...
http://w3.haifa.ibm.com/~hartman/
http://www.haifa.il.ibm.com/projects/verification/gtcb/


"Fredrik Cronholm" <fredrik.cronholm@...> on 29/12/2000 14:04:30

Please respond to model-based-testing@egroups.com

To:   model-based-testing@egroups.com
cc:
Subject:  [model-based-testing] Looking for some papers




Hi!
I new to this area although I've done some work with state machines
previously, and I feel a need to read about the application to
software testing. Right now I'm trying to find the papers from
Teradyne mentioned on
<http://www.geocities.com/model_based_testing//online_papers.htm>
I just don't seem to be able to find them? Does anyone know if they
have moved?
Kind regards,
Feredrik Cronholm
SQE
Sonera SmartTrust

Hi Frederik,
I have heard a rumor that Teradyne have withdrawn their tool TestMaster
from the market. This may explain the absence of their papers from their
web site at www.teradyne.com.

Some abstracts of Larry Apfelbaum's papers still exist on
http://www.soft.com/QualWeek/QW99

Alan

---------------------------------------------------------
Alan Hartman
Ph: +972-4-8296525
Fx: +972-4-8296376
eMail: hartman@...
http://w3.haifa.ibm.com/~hartman/
http://www.haifa.il.ibm.com/projects/verification/gtcb/


"Fredrik Cronholm" <fredrik.cronholm@...> on 29/12/2000 14:04:30

Please respond to model-based-testing@egroups.com

To:   model-based-testing@egroups.com
cc:
Subject:  [model-based-testing] Looking for some papers




Hi!
I new to this area although I've done some work with state machines
previously, and I feel a need to read about the application to
software testing. Right now I'm trying to find the papers from
Teradyne mentioned on
<http://www.geocities.com/model_based_testing//online_papers.htm>
I just don't seem to be able to find them? Does anyone know if they
have moved?
Kind regards,
Feredrik Cronholm
SQE
Sonera SmartTrust



Community email addresses:
   Post message: model-based-testing@onelist.com
   Subscribe:    model-based-testing-subscribe@onelist.com
   Unsubscribe:  model-based-testing-unsubscribe@onelist.com
   List owner:   model-based-testing-owner@onelist.com

Shortcut URL to this page:
   http://www.onelist.com/community/model-based-testing

Hi!
I new to this area although I've done some work with state machines
previously, and I feel a need to read about the application to
software testing. Right now I'm trying to find the papers from
Teradyne mentioned on
<http://www.geocities.com/model_based_testing//online_papers.htm>
I just don't seem to be able to find them? Does anyone know if they
have moved?
Kind regards,
Feredrik Cronholm
SQE
Sonera SmartTrust

Added Alex Petrenko's "Fault Model-Driven Test Derivation from Finite
State Models: Annotated Bibliography" to Online Papers. It is an
excellent bibliography of test generation from finite state models.

November 2, 2000

Several updates to the model-based testing home page:

1. I added 2 articles to the Online Papers page:

    "Applying Models in Your Testing Process" (pdf)
    by Steve Rosaria and Harry Robinson
    This past September, Information and Software Technology Journal
    ran a special issue on model-based statistical testing of software
    intensive systems. In this article, Steve Rosaria and I go into
    glorious and gory detail about why and how to use model-based
    tests.

    "Chip Verification on a Large Scale" (html)
    by Rowan Dordick
    Published in IBM Research magazine in 1996, this high-level
    article highlights some of the modeling work coming out of
    IBM's Verification Group in Haifa.

2. I added the IBM Verification Group site to the Useful Links page.
    Their site provides links to their papers on their model-based
    tools Genie, Genesys and Genevieve.

3. I added a bullet item on the main MBT page to make it easier for
    visitors to find out about this newsgroup.

Regards,
Harry

Pertempto ergo sum - I test therefore I am
www.model-based-testing.org

Added the following to the Online Papers page:

	 A Methodology and Architecture for Automated Software Testing (pdf)
	 by Ilan Gronau, Alan Hartman, Andrei Kirshin, Kenneth Nagin, Sergey
Olvovsky

		 This paper gives a great overview of model-based testing and
reports on MBT experiments run at various IBM facilities. The paper is to be
presented at the ISC TEST International Conference on Software Testing,
April 2001 in Bonn.


	 When it's Good to Put the Cart Before the Horse (html)
	 by Lawrence Bernstein

		 In the December 1, 1999 issue of America's Network, Larry
Bernstein discusses how telecommunications provider GlobalOne was able to
staff its evaluation and test effort with 80% less effort than otherwise
required by using the model-based approach for test creation.

Regards,
Harry

Pertempto ergo sum - I test therefore I am
www.model-based-testing.org

A contract has just been signed between the European Commission and a
consortium of six European companies and one Middle Eastern company to
provide tools for model based testing of distributed component-based
software systems.

The AGEDIS (Automated Generation and Execution of test suites for
DIstributed component-based Software) Consortium consists of:
1. IBM Haifa Research Laboratory Software Testing Group (of which I am
a member)
2. Oxford University Computing Laboratory (Jim Woodcock is our
intrepid Oxford collaborator)
3. Verimag laboratory at Universite Joseph Fournier in Grenoble
(AGEDIS leader here is Yassine Lakhnech)
4. France Telecom R&D (contact Yves-Marie Quemener)
5. IBM development Laboratory in Hursley Park (Ian Craggs)
6. Intrasoft International (Antonis Ramfos)
7. imbus GmbH (Klaudia Dussa-Zeiger)

The aim of the project is to increase the efficiency and
competitiveness of the European software industry by automating of
software testing, and improving the quality of software while reducing
the expense of the testing phase. AGEDIS will achieve this by
developing a methodology and tools for the automation of software
testing in general, with emphasis on distributed component-based
software systems.

AGEDIS is also pushing an open architecture for model based software
testing with places for all tools to plug in and allow cross
fertilization between different open source and commercial tools.

The best place to get more details (until the AGEDIS site itself gets
online) is in a paper on the Haifa Lab's work entitled A Methodology
and Architecture for Automated Software Testing
To be presented at the: ISC TEST International Conference on Software
Testing, April 2001 in Bonn. I will send a copy of this paper to
Chris, so that he can post it here.

The official start of the AGEDIS project is tomorrow - November 1st. I
will let you know as soon as the web-site is online.

Alan Hartman

Chris:
Great idea - thanks! The posting dates and a "what's new" page are now in
place on www.model-based-testing.org

All Model Citizens:
I'm still looking for questions for the "Soon To Be Frequently Asked
Questions" list.
Here are some starter ideas:

	 What the heck is a model?

	 How can model-based testing help me get my job done?

	 Is model-based testing a method, a tool, or what?

	 Are all models finite state models? (Quick answer: No!)

	 Are there any case studies showing the effectiveness of MBT? (Quick
answer: Yes!)

	 How can I get started with model-based testing?

	 Can I re-use test automation code that I've already developed?

	 What kind of bugs do you find using model-based testing?

	 What are some drawbacks to model-based testing?

	 And so on 8-)


If you are a shy person, you can mail questions to me directly at
harryr@...

Also, would a worked out example be useful to people?

Thanks,
Harry



-----Original Message-----
From: chris_meisenzahl@...
[mailto:chris_meisenzahl@...]
Sent: Friday, October 27, 2000 4:47 AM
To: model-based-testing@egroups.com
Subject: Re: [model-based-testing] Using Pre-Oracled Data in Model-Based
Testing


Harry,

Thanks!  Your website is an awesome source of info. If I could make a
couple suggestions? I think it would helpful if maybe there were dates next
to items so we could see how old they were, and perhaps a small what's new
section that just listed updates in chronological order?

Thanks again for the effort, the site is great!

Christopher Meisenzahl
Senior Consultant
Spherion

------------ Previous Message from  "harry robinson" <harryr@...>
on  10/26/2000 07:26:47 PM ----------


Please respond to model-based-testing@egroups.com

To:   model-based-testing@egroups.com
cc:
Subject:  [model-based-testing] Using Pre-Oracled Data in Model-Based
       Testing



Hi All,

I just posted a short white paper titled "Using Pre-Oracled Data in
Model-Based Testing" on my web site. The term "pre-oracled" is
specific to my group at Microsoft. By "pre-oracled" data, we mean
that our test engine already knows the answer we expect to receive
based on the test data we generate.

The paper is available from the "online papers" page of
http://www.model-based-testing.org

This white paper is the first of a series. So I would really
appreciate feedback on it.

Thanks very much,
Harry




Community email addresses:
   Post message: model-based-testing@onelist.com
   Subscribe:    model-based-testing-subscribe@onelist.com
   Unsubscribe:  model-based-testing-unsubscribe@onelist.com
   List owner:   model-based-testing-owner@onelist.com

Shortcut URL to this page:
   http://www.onelist.com/community/model-based-testing







Community email addresses:
   Post message: model-based-testing@onelist.com
   Subscribe:    model-based-testing-subscribe@onelist.com
   Unsubscribe:  model-based-testing-unsubscribe@onelist.com
   List owner:   model-based-testing-owner@onelist.com

Shortcut URL to this page:
   http://www.onelist.com/community/model-based-testing

Harry,

Thanks!  Your website is an awesome source of info. If I could make a
couple suggestions? I think it would helpful if maybe there were dates next
to items so we could see how old they were, and perhaps a small what's new
section that just listed updates in chronological order?

Thanks again for the effort, the site is great!

Christopher Meisenzahl
Senior Consultant
Spherion

------------ Previous Message from  "harry robinson" <harryr@...>
on  10/26/2000 07:26:47 PM ----------


Please respond to model-based-testing@egroups.com

To:   model-based-testing@egroups.com
cc:
Subject:  [model-based-testing] Using Pre-Oracled Data in Model-Based
       Testing



Hi All,

I just posted a short white paper titled "Using Pre-Oracled Data in
Model-Based Testing" on my web site. The term "pre-oracled" is
specific to my group at Microsoft. By "pre-oracled" data, we mean
that our test engine already knows the answer we expect to receive
based on the test data we generate.

The paper is available from the "online papers" page of
http://www.model-based-testing.org

This white paper is the first of a series. So I would really
appreciate feedback on it.

Thanks very much,
Harry




Community email addresses:
   Post message: model-based-testing@onelist.com
   Subscribe:    model-based-testing-subscribe@onelist.com
   Unsubscribe:  model-based-testing-unsubscribe@onelist.com
   List owner:   model-based-testing-owner@onelist.com

Shortcut URL to this page:
   http://www.onelist.com/community/model-based-testing

Hi All,

I just posted a short white paper titled "Using Pre-Oracled Data in
Model-Based Testing" on my web site. The term "pre-oracled" is
specific to my group at Microsoft. By "pre-oracled" data, we mean
that our test engine already knows the answer we expect to receive
based on the test data we generate.

The paper is available from the "online papers" page of
http://www.model-based-testing.org

This white paper is the first of a series. So I would really
appreciate feedback on it.

Thanks very much,
Harry

Hi Harry,

It would be really great to have the FAQ. I would prepare the questions and
mail you again.


Thanks,

Srihari Reddy


>From: "harry robinson" <harryr@...>
>Reply-To: model-based-testing@egroups.com
>To: model-based-testing@egroups.com
>Subject: [model-based-testing] Looking for questions for model-based
>testing FAQ list
>Date: Mon, 23 Oct 2000 19:18:36 -0000
>
>
>Hi All,
>
>I am putting together a FAQ for the www.model-based-testing.org site.
>What questions would you would like to see answered there?
>
>Thanks very much,
>Harry Robinson
>

_________________________________________________________________________
Get Your Private, Free E-mail from MSN Hotmail at http://www.hotmail.com.

Share information about yourself, create your own public profile at
http://profiles.msn.com.

Hi All,

I am putting together a FAQ for the www.model-based-testing.org site.
What questions would you would like to see answered there?

Thanks very much,
Harry Robinson

Good news, model citizens ! !

Thanks to the generosity of illustrator Steve Björkman, the PDF file for the
STQE article on Intelligent Test Automation now includes those wonderful
illustrations of Testers 1 thru 4!

As before, you can get to the PDF via
www.geocities.com/harry_robinson_testing/Intelligent_Test_Automation.htm.

Regards,
Harry

Hi,

I just recently joined this group due to the posting in the
swtest-digest-group.  Thanks for the link.

I have been involved in model-based testing since about 1993 using
the
techniques described in stochastic modeling techniques reference
found
on the home page leading to this discussion group.  It's great to see
a world-wide network started in this area so that we can share
information!

I have collected a few papers for a process called Statistical Usage
Testing.  It can be found at:

http://www.q-labs.com/portfolio.html

(Follow the link to "SUT".)  There is also a tool listed there for
this process called Certify.  The input to Certify is a finite state
machine describing the interface between the end user and the
software.  The transitions between states are annotated with
probilities, which makes the fsm a Markov chain model.

Certify can, among other things, generate test cases based on
importance, and at the end, measure the reliability of the software
under test.

I hope to be able to share my experiences with the other members of
this group who are also interested in model-based software testing!

Best regards,
Jason Selvidge
Senior Consultant, Software Engineering
Q-Labs GmbH


--- In model-based-testing@egroups.com, "Chris Meisenzahl"
<chris_meisenzahl@e...> wrote:
>
> All,
>
> I've been in testing for about 7 years but I'm pretty new to model
based
> testing.
>
> I've looked at some of the papers at the site and looked at the
T-Vec and Aonix
> sites. Are there any other tools out there that implement this sort
of thing?
> Anything in the freeware or open source world?
>
> Thanks in advance,
>
> Christopher Meisenzahl
> Senior Consultant
> Spherion

Hi Harry,

Thanks for the useful article in "Software Testing and Quality
Enigneering". The timing is perfect for us as we take the next steps
in reengineering our software test automation.

Over the last year we have built a test harness using Visual Test,
and based upon Linda Hayes' "Data Driven Approach". We've been
pleased with the results, and have been able to apply it in testing
most of the GUI components of our printer/scanner/fax software
applications. The down side is we do invest a considerable amount of
time generating test case files as input to the harness.

Your article is the first I've run across that offers a practical
approach toward addressing the test generation problem. I will be
reviewing it with my test engineering team next week. If you are able
to make your Visual Test (model, traversal and execution) code
available, please also keep me in mind.

Don Moreaux
Software Engineer-Scientist
Hewlett-Packard Company
Boise, Idaho


--- In model-based-testing@egroups.com, Harry Robinson <harryr@m...>
wrote:
>
> Hi Chris,
>
> There are some commercial model-based tools around: I am familiar
with
> Teradyne's TestMaster and Aonix's T (originally created by Bob
Poston of
> IDE). I have heard of T-VEC from T-Vec Technologies, but don't know
much
> about it.
>
> David Dill's Verify group at Stanford that has a freeware tool
called Murphi
> that handles verification of finite state systems. Again, I'm not
familiar
> with it.
>
> On the other hand, since model-based testing is a method rather
than a tool,
> any programming language can be used. In my case, I write Visual
Test
> programs to create the models, generate graph traversals and
execute the
> test actions. I document some of this in the "Model-Based Testing
on a
> Shoestring" paper. The code is pretty straightforward. I am looking
into
> whether I can make some of that code available. I will let you know.
>
> Noel Nyman (also of Microsoft) has a great chapter on "monkey
testing" in
> Tom Arnold's  Visual Test 6 Bible. His code is available on the
book's CD.
> He doesn't explicit create a model of the application, but many of
his
> routines are useful in showing how to move away from static
automation to
> the dynamic test generation used by monkeys and models.
>
> I would love to hear of tools that others have used and liked.
>
> Regards,
> Harry
>
>
>  -----Original Message-----
> From:  Chris Meisenzahl [mailto:chris_meisenzahl@e...]
> Sent: Wednesday, September 13, 2000 12:54 PM
> To: model-based-testing@egroups.com
> Subject: [model-based-testing] List of tools?
>
>
>
> All,
>
> I've been in testing for about 7 years but I'm pretty new to model
based
> testing.
>
> I've looked at some of the papers at the site and looked at the T-
Vec and
> Aonix
> sites. Are there any other tools out there that implement this sort
of
> thing?
> Anything in the freeware or open source world?
>
> Thanks in advance,
>
> Christopher Meisenzahl
> Senior Consultant
> Spherion
>
>
>
> Community email addresses:
>   Post message: model-based-testing@onelist.com
>   Subscribe:    model-based-testing-subscribe@onelist.com
>   Unsubscribe:  model-based-testing-unsubscribe@onelist.com
>   List owner:   model-based-testing-owner@onelist.com
>
> Shortcut URL to this page:
>   http://www.onelist.com/community/model-based-testing

Thanks to Software Testing & Quality Engineering magazine, the PDF of the
"Intelligent Test Automation" article is now available online.

You can see it at
http://www.geocities.com/harry_robinson_testing/Intelligent_Test_Automation.
htm
<http://www.geocities.com/harry_robinson_testing/Intelligent_Test_Automation
.htm>

Best regards,
Harry

Hi Chris,

There are some commercial model-based tools around: I am familiar with
Teradyne's TestMaster and Aonix's T (originally created by Bob Poston of
IDE). I have heard of T-VEC from T-Vec Technologies, but don't know much
about it.

David Dill's Verify group at Stanford that has a freeware tool called Murphi
that handles verification of finite state systems. Again, I'm not familiar
with it.

On the other hand, since model-based testing is a method rather than a tool,
any programming language can be used. In my case, I write Visual Test
programs to create the models, generate graph traversals and execute the
test actions. I document some of this in the "Model-Based Testing on a
Shoestring" paper. The code is pretty straightforward. I am looking into
whether I can make some of that code available. I will let you know.

Noel Nyman (also of Microsoft) has a great chapter on "monkey testing" in
Tom Arnold's  Visual Test 6 Bible. His code is available on the book's CD.
He doesn't explicit create a model of the application, but many of his
routines are useful in showing how to move away from static automation to
the dynamic test generation used by monkeys and models.

I would love to hear of tools that others have used and liked.

Regards,
Harry


  -----Original Message-----
From:  Chris Meisenzahl [mailto:chris_meisenzahl@...]
Sent: Wednesday, September 13, 2000 12:54 PM
To: model-based-testing@egroups.com
Subject: [model-based-testing] List of tools?



All,

I've been in testing for about 7 years but I'm pretty new to model based
testing.

I've looked at some of the papers at the site and looked at the T-Vec and
Aonix
sites. Are there any other tools out there that implement this sort of
thing?
Anything in the freeware or open source world?

Thanks in advance,

Christopher Meisenzahl
Senior Consultant
Spherion



Community email addresses:
   Post message: model-based-testing@onelist.com
   Subscribe:    model-based-testing-subscribe@onelist.com
   Unsubscribe:  model-based-testing-unsubscribe@onelist.com
   List owner:   model-based-testing-owner@onelist.com

Shortcut URL to this page:
   http://www.onelist.com/community/model-based-testing

All,

I've been in testing for about 7 years but I'm pretty new to model based
testing.

I've looked at some of the papers at the site and looked at the T-Vec and Aonix
sites. Are there any other tools out there that implement this sort of thing?
Anything in the freeware or open source world?

Thanks in advance,

Christopher Meisenzahl
Senior Consultant
Spherion

Sorry! - that URL should have read
www.model-based-testing.org/online_papers.htm

Harry

  -----Original Message-----
From:  Harry Robinson
Sent: Tuesday, September 12, 2000 10:27 AM
To: 'model-based-testing@egroups.com'
Subject: RE: [model-based-testing] Getting Started



Hi Mark,

Being able to generate test sequences by traversing a state machine is near
and dear to model-based testing! I wrote a paper last year called "Graph
Theory Techniques in Model-Based Testing" that provides an overview and some
good references.

The particular approach of using transition probabilities is known as Markov
chains. Dr. James Whittaker of Florida Tech is an authority on Markov chains
and software testing. His paper "Stochastic Software Testing" is a great
intro.

Both papers are available online via
http://www.model_based_testing.org/online_papers.htm

Regards,
Harry

  -----Original Message-----
From:  Mark Hampton [mailto:mark.hampton@...]
Sent: Sunday, November 05, 2000 1:16 AM
To: model-based-testing@egroups.com
Subject: Re: [model-based-testing] Getting Started

>>What does it mean to "color the transitions"?
I'll explain what I meant (which is unlikely to be what it means;)  I
imagine
being able to generate test sequences by traversing a state machine.  If I
want
to generate random test sequences then I assign probablilities to the
transitions in the state machine.  By changing the probability (I used the
idea
'colorisation') of a transition the random test sequences could be directed.
I
was thinking of the "colorisation" term as used in automatic code generation
packages to favour a particular architcture.



Community email addresses:
   Post message: model-based-testing@onelist.com
   Subscribe:    model-based-testing-subscribe@onelist.com
   Unsubscribe:  model-based-testing-unsubscribe@onelist.com
   List owner:   model-based-testing-owner@onelist.com

Shortcut URL to this page:
   http://www.onelist.com/community/model-based-testing

Hi Mark,

Being able to generate test sequences by traversing a state machine is near
and dear to model-based testing! I wrote a paper last year called "Graph
Theory Techniques in Model-Based Testing" that provides an overview and some
good references.

The particular approach of using transition probabilities is known as Markov
chains. Dr. James Whittaker of Florida Tech is an authority on Markov chains
and software testing. His paper "Stochastic Software Testing" is a great
intro.

Both papers are available online via
http://www.model_based_testing.org/online_papers.htm

Regards,
Harry

  -----Original Message-----
From:  Mark Hampton [mailto:mark.hampton@...]
Sent: Sunday, November 05, 2000 1:16 AM
To: model-based-testing@egroups.com
Subject: Re: [model-based-testing] Getting Started

>>What does it mean to "color the transitions"?
I'll explain what I meant (which is unlikely to be what it means;)  I
imagine
being able to generate test sequences by traversing a state machine.  If I
want
to generate random test sequences then I assign probablilities to the
transitions in the state machine.  By changing the probability (I used the
idea
'colorisation') of a transition the random test sequences could be directed.
I
was thinking of the "colorisation" term as used in automatic code generation
packages to favour a particular architcture.

>>What does it mean to "color the transitions"?
I'll explain what I meant (which is unlikely to be what it means;)  I imagine
being able to generate test sequences by traversing a state machine.  If I want
to generate random test sequences then I assign probablilities to the
transitions in the state machine.  By changing the probability (I used the idea
'colorisation') of a transition the random test sequences could be directed.  I
was thinking of the "colorisation" term as used in automatic code generation
packages to favour a particular architcture.

I've had a brief look at the sites.  Thanks very much for the pointers.  I'll
continue to read up on Murphi.

There has been a fair bit of hype in the Hardware Verification community
regarding VERA (from Synopsys) and Specman (from Verisity).  These tools are
based around languages designed for verification.  From what I understand the
more powerful features are Automated Stimulus Generation combined with (or
directed by) Functional Coverage metrics.  For example VERA provides a construct
:

randcase {
   10: statement A;
   20: statement B;
   50: statement C;
}

randcase can be used recursively.  There are also powerful features for creating
"random" data types.

I'm slowly coming to the conclusion it might be necessary to write something -
if I'm looking for a basic solution.  I'm thinking Perl.  Chronology's
Quickbench - another Hardware Verification environment is based on the language
RAVE.  I think RAVE is based around Perl.
http://www.chronology.com/quickbench/qbraveexamples.html

Do you know if the software world using specific verification languages ?

Regards,
Mark


Harry Robinson wrote:

>
> Here is the IBM Hardware Verification Technologies link:
>
> http://www.haifa.il.ibm.com/verification_g.html
>
> and here is David Dill's Hardware Verification Group at Stanford:
>
> http://verify.stanford.edu/
>
> Dill's group provides a freeware tool called Murphi. I know very little
> about it. Here is their blurb on it:
>
> Murphi is a description language and automatic formal verification system
> for the high-level description of finite-state systems, including many
> protocols and distributed algorithms. We have used the system both as a
> verification tool and as a platform for studying state reduction methods.
> Several new methods have been discovered and implemented in Murphi.
>
> What does it mean to "color the transitions"?
>
> Regards,
> Harry
>
>  -----Original Message-----
> From:   Harry Robinson
> Sent:   Monday, September 11, 2000 7:56 AM
> To:     'model-based-testing@egroups.com'
> Subject:        RE: [model-based-testing] Getting Started
>
> Hi Mark,
>
> Model-Based Testing has deep roots in hardware verification. Two cases that
> come to mind: IBM in Haifa has been doing some great MBT work on PowerPC and
> David Dill leads a group in California testing the FLASH processor. I will
> send some pointers later today.
>
> Regards,
> Harry
>
>  -----Original Message-----
> From:   Mark H [mailto:mark.hampton@...]
> Sent:   Monday, September 11, 2000 7:39 AM
> To:     model-based-testing@egroups.com
> Subject:        [model-based-testing] Getting Started
>
> Hi,
> I'd like to look into using Model Based Testing in ASIC (Hardware)
> verification.  Is there a methodology based on freely available tools
> documented on the WWW ?  I imagine something relatively basic e.g.
> specify a state machine and have the ability to generate test scripts
> based on trajectories within the state machine.  The ability to
> colour the transitions and generate random cases is of particular
> interest.
>
> Regards,
> Mark Hampton
>
> Community email addresses:
>   Post message: model-based-testing@onelist.com
>   Subscribe:    model-based-testing-subscribe@onelist.com
>   Unsubscribe:  model-based-testing-unsubscribe@onelist.com
>   List owner:   model-based-testing-owner@onelist.com
>
> Shortcut URL to this page:
>   http://www.onelist.com/community/model-based-testing
>
> Community email addresses:
>   Post message: model-based-testing@onelist.com
>   Subscribe:    model-based-testing-subscribe@onelist.com
>   Unsubscribe:  model-based-testing-unsubscribe@onelist.com
>   List owner:   model-based-testing-owner@onelist.com
>
> Shortcut URL to this page:
>   http://www.onelist.com/community/model-based-testing

Here is the IBM Hardware Verification Technologies link:

http://www.haifa.il.ibm.com/verification_g.html

and here is David Dill's Hardware Verification Group at Stanford:

http://verify.stanford.edu/

Dill's group provides a freeware tool called Murphi. I know very little
about it. Here is their blurb on it:

Murphi is a description language and automatic formal verification system
for the high-level description of finite-state systems, including many
protocols and distributed algorithms. We have used the system both as a
verification tool and as a platform for studying state reduction methods.
Several new methods have been discovered and implemented in Murphi.

What does it mean to "color the transitions"?

Regards,
Harry

  -----Original Message-----
From:  Harry Robinson
Sent: Monday, September 11, 2000 7:56 AM
To: 'model-based-testing@egroups.com'
Subject: RE: [model-based-testing] Getting Started


Hi Mark,

Model-Based Testing has deep roots in hardware verification. Two cases that
come to mind: IBM in Haifa has been doing some great MBT work on PowerPC and
David Dill leads a group in California testing the FLASH processor. I will
send some pointers later today.

Regards,
Harry

  -----Original Message-----
From:  Mark H [mailto:mark.hampton@...]
Sent: Monday, September 11, 2000 7:39 AM
To: model-based-testing@egroups.com
Subject: [model-based-testing] Getting Started


Hi,
I'd like to look into using Model Based Testing in ASIC (Hardware)
verification.  Is there a methodology based on freely available tools
documented on the WWW ?  I imagine something relatively basic e.g.
specify a state machine and have the ability to generate test scripts
based on trajectories within the state machine.  The ability to
colour the transitions and generate random cases is of particular
interest.

Regards,
Mark Hampton


Community email addresses:
   Post message: model-based-testing@onelist.com
   Subscribe:    model-based-testing-subscribe@onelist.com
   Unsubscribe:  model-based-testing-unsubscribe@onelist.com
   List owner:   model-based-testing-owner@onelist.com

Shortcut URL to this page:
   http://www.onelist.com/community/model-based-testing

Hi Mark,

Model-Based Testing has deep roots in hardware verification. Two cases that
come to mind: IBM in Haifa has been doing some great MBT work on PowerPC and
David Dill leads a group in California testing the FLASH processor. I will
send some pointers later today.

Regards,
Harry

  -----Original Message-----
From:  Mark H [mailto:mark.hampton@...]
Sent: Monday, September 11, 2000 7:39 AM
To: model-based-testing@egroups.com
Subject: [model-based-testing] Getting Started


Hi,
I'd like to look into using Model Based Testing in ASIC (Hardware)
verification.  Is there a methodology based on freely available tools
documented on the WWW ?  I imagine something relatively basic e.g.
specify a state machine and have the ability to generate test scripts
based on trajectories within the state machine.  The ability to
colour the transitions and generate random cases is of particular
interest.

Regards,
Mark Hampton


Community email addresses:
   Post message: model-based-testing@onelist.com
   Subscribe:    model-based-testing-subscribe@onelist.com
   Unsubscribe:  model-based-testing-unsubscribe@onelist.com
   List owner:   model-based-testing-owner@onelist.com

Shortcut URL to this page:
   http://www.onelist.com/community/model-based-testing

Hi,
I'd like to look into using Model Based Testing in ASIC (Hardware)
verification.  Is there a methodology based on freely available tools
documented on the WWW ?  I imagine something relatively basic e.g.
specify a state machine and have the ability to generate test scripts
based on trajectories within the state machine.  The ability to
colour the transitions and generate random cases is of particular
interest.

Regards,
Mark Hampton