Test
Generation from System-level Requirements Specification
presented by
Michael Donat
| |
Test
Generation from System-level Requirements Specification
presented by
Michael Donat
|
| formalWARE
project
formalWARE
formalWARE
|
Presented by Mike Donat at
formalWARE's Open House
on October 8, 1997 at Cecil
Green House, UBC.
This research focuses on the automation of a test generation for system level, requirements based testing. This research applies formal logic directly to an industrial problem. This test generation process plays an essential role in the development of complex systems by demonstrating that every requirement has been implemented. This process is currently a predominantly manual task. Although some tools exist to support this task, the support is generally limited to editing and searching documentation. This research has resulted in the automation of a substantial portion of the test generation process. The formal logic underpinning this research provides 1) assurance that the generated tests are logical consequences of the input specification, 2) specific definitions for various coverage criteria, 3) mechanized traceability from requirements to tests, and 4) minimum impact on test suites due to requirements specification changes. In addition to providing a level of automation, this research establishes a basis for defining formal industry standards for system-level test coverage. Presentation
Slides (HTML)
. |
