Assessment of code quality through classification of unit tests in VeriNeC
10.8.2006(Together with Dominik Jungo)
WINSYS 2006, Portugal August 7-10, 2006.
Abstract: The type or class of an object is not always sufficient to decide on its runtime behaviour. In many cases, the
context of the object is also important. Environmental acquisition is a concept to handle context in information
models.
We explore the use of environmental acquisition for the management of computer network configuration and
for network simulation. Physical location or subnet membership are part of the environment for a computer
in a network. For the simulation of networks, environmental acquisition will be especially useful to model
mobile devices moving from one area into an other.
The concept is illustrated using the network configuration management project Verinec.