Code assertions provide a clear way to define the required behaviour of an application. For example, the following Java assertion states that the variable number should be non-negative