Building Software Synthesizing Audit Experience Of The State Audit