skm@sequoia.Harris-ATD.com (Sharon K.Mitchell) (03/18/91)
Have any of you had experience with the software testing tool T from PEI (Programming Environments, Inc.)? T is a tool which produces functional test cases automatically from a formal requirements specification. Creation of the formal specification (in T's specification design language) from a natural language document is guided by the tool. From the formal spec, T then uses various techniques (equivalence class partitioning, cause- effect graphing, random testing) to generate a "minimal, but sufficient" set of functional test cases (at any testing level). Apparently, the tool has been used by a number of organizations -- 3M, BELLCORE, Pitney Bowes, Boeing, Sandia National Labs, SAIC in San Diego, Technicon, the Army and the Navy, and others. If anyone has experience with the tool, beyond exposure to the product literature and the marketing presentation, which I've attended, I would like to hear about it. I'm considering doing an evaluation of the tool on a pilot project. Thanks! Sharon Mitchell e-mail: skm@epg.harris.com Harris Corporation Phone: 407-727-4876 Melbourne, Florida
glenn8@garfield.cs.mun.ca (Glenn Stowe) (05/23/91)
Does anybody know of any existing tools that would facilitate testing an existing program that is about to under-go a major update. I'm in a Unix-C environment. ----- Glenn Stowe glenn8@odie.cs.mun.ca