Virtual Testing example #1 : validating and/or making Robotics programs