The Freedom software implementation and testing process is based on a white box model of a software system, where a white box is characterized by complete information about the system. For computer software, complete information is equivalent to the complete computer program source code for the software system.
The white box view of a software system therefore consists of