Describir: Study of the antivirus patch testing problem through optimal control modeling