One embodiment of the present invention provides a system that facilitates
generating a simulation module for testing a system design. The system
operates by receiving a system specification, which specifies correct
behavior for modules within the system design. The system also receives
modules that are individually designed to this system specification. The
system then compares the modules with the system specification to identify
nonfunctioning modules that can include either missing modules or
incorrect modules. The system also determines an interface for the
nonfunctioning modules from the system specification, which specifies
input and output requirements for these nonfunctioning modules. The system
then generates the simulation module. This simulation module can function
in place of the nonfunctioning module and can simulate a functionality
assigned to the nonfunctioning module.
Één belichaming van de onderhavige uitvinding verstrekt een systeem dat het produceren van een simulatiemodule voor het testen van een systeemontwerp vergemakkelijkt. Het systeem werkt door een systeemspecificatie te ontvangen, die correct gedrag voor modules binnen het systeemontwerp specificeert. Het systeem ontvangt ook modules die individueel aan deze systeemspecificatie worden ontworpen. Het systeem vergelijkt dan de modules met de systeemspecificatie om nonfunctioning modules te identificeren die of ontbrekende modules of onjuiste modules kunnen omvatten. Het systeem bepaalt ook een interface voor de nonfunctioning modules van de systeemspecificatie, die input en outputeisen ten aanzien van deze nonfunctioning modules specificeert. Het systeem produceert dan de simulatiemodule. Deze simulatiemodule kan in plaats van de nonfunctioning module functioneren en kan een functionaliteit simuleren die aan de nonfunctioning module wordt toegewezen.
