From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me X-Spam-Level: * X-Spam-Status: No, score=1.9 required=5.0 tests=BAYES_50,INVALID_DATE autolearn=no autolearn_force=no version=3.4.4 Path: utzoo!utgpu!news-server.csri.toronto.edu!bonnie.concordia.ca!uunet!seismo!ukma!widener!msi.umn.edu!sctc.com!stachour From: stachour@sctc.com (Paul Stachour) Newsgroups: comp.lang.ada,mn.general Subject: Specification Based Testing in Ada, June Twin Cities SIGAda Summary: Black-Box Specification testing using an executable model in Ada Keywords: Ada, testing, specification Message-ID: <1991May23.212016.9611@sctc.com> Date: 23 May 91 21:20:16 GMT Organization: SCTC List-Id: 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