高可信软件工程技术的特点和现状