- PYTHIA: A software system for automatic generation of
test cases for systems modeled by state machines. The main
objective of the technique is to achieve desired coverage
criteria with a minimal number of tests. The tools incorporates
a set of algorithms that address different types of system
models and coverage criteria. It contains a Graphic User
Interface (GUI) for inputting system specification modules
and for downloading and displaying generated test sequences.
It has been used successfully for the test generation for
various Lucent products.
- Feature testing of AT&T-Lucent PHS - a Wireless,
5ESS based ISDN Personal Handyphone System - a product sold
to Japan (4Q95). Developed and implemented efficient algorithms
for the test generation and built software tools. Test sequences
generated were used for testing the product.
- Automatic Test Generation for DIAMOND. Diamond Access
System provides telephony service via the TL1 operations
interfaces, a major project under development at Lucent.
There was a large number of devices, called objects, to
be tested and a manual testing was proved to be time consuming,
expensive, and unreliable; furthermore, given the project
schedule, it would be impossible to conduct a thorough test
manually. We developed software tools, including a GUI,
for automatic test generation that was being used by DIAMOND.
We also provided tests for robustness testing and system
validation/verification.
|
