为除去软件中的差错，赶进软件的可靠性，就需要对软件进行（）。