Aspect-Oriented Programming with the e Verification Language

Chapter 5. Creating Pluggable Code

Pluggable code is code that can be nonintrusively plugged into your verification environment or unplugged from your verification environment, just by including (or not) the appropriate files. Think about it as self-connecting or self-integrating code. Pluggable code allows you to add a new feature to your verification environment simply by including it in the manifest file or to remove a feature simply by excluding the file.

Why would you want this? One reason might be to expand or reduce the number of packet types that can be randomly selected during a simulation run. By selecting which files are included in the load phase, you can control what packets your tests can randomly chose from. For instance, you might ...