NASA is testing a computer program for aircraft that is all about the little things