The Graybox methodology is based on
a sound software testing process for embedded
systems development that can be encapsulated
in an automated testing tool suite that will
assist the tester with many of the steps listed
above. With many of the software test tools
available today, it is possible to automate "70%
to 90%'' of the test environment generation
process [Pan218 13.
Tools exist that will extract all input and
output variables from an existing requirements
model or a software module and generate a test
case input file ready for data value population.
Static test tools are available that will
determine all entry to exit test paths using the
Structured English requirement language,
Program Design Language (PDL) or program
source code. With requirements developed in a
requirements simulation language, it is possible
to generate a portion of the actual test case data
values required to test the software.