Effect, change of state

State change is a secondary effect generated by executing a unit of code. To validate the result we must access the state that has changed, so it is compromised of three steps: Execute the unit of code Access the changed state Verify the value is ...