stachour@sctc.com (Paul Stachour) (05/24/91)
Twin Cities SIGAda
presents
Experiences with Specification Based Testing in Ada
by
Michael Endrizzi
11:30 Tuesday June 4th
at St. Athony Park Branch Library in St. Paul
Michael Endrizzi will be discussin his experience with specification
based testing in Ada for Secure Computing Technology Corporation.
SCTC builds computer security products that undergo formal evaluation
before these products are accedited to handle sensitive information.
Specification based testing is used as part of the evaluation process.
Specification based testing is an evolving form of black box testing
where executable models are derived from a formal specification of
the system. These executable models are then executed against the actual
system as a form of acceptance testing.
You may bring your own lunch, or bag lunches will be available for $5.25.
Please call Jane or Wayne Donaho (by June 3rd) to place a lunch order.
Choices include:
Sandwich: Ham, Turkey, or roast Beef
Salad: Pasta, Potato, or Fruit
Drinks: A selection of cold drinks will be provided.
If you wish to become a member of twin cities SigAda, or know more
about this meeting, please call Wayne Donaho at 456-3791 (w) or
Jane Donaho at 337-3647 (w) or Wayne at 642-1878 (h).
Directions: Take Minnesota 280 from either I35W or I94. Exit
at Como Avenue exit and go east to the library at 2245 Como Avenue.
--
Paul Stachour SCTC, 1210 W. County Rd E, Suite 100
stachour@sctc.com Arden Hills, MN 55112
[1]-(612) 482-7467