Software　credibility　refers　to　the　matching　degree　between　the　expected　result　and　system　behavior　in　the　real　running　environment.　This　paper　focuses　on　the　application　of　software　creditability　verification　method　based　on　the　application　behavior　declaration　(ABD),　in　which　the　application　of　software　credibility　validation　process　and　the　software　behavior　declaration　definition　statement　are　put　forward.　In　the　integration　of　the　process　and　the　software　development　life　cycle,　the　ABD　is　embedded　into　the　software　development　phases　to　make　the　software　behavior　be　consistent　with　the　judgment　and　the　final　realization　meet　the　requirement　of　trusted　software　verification.　©　2016,　Wuhan　University　and　Springer-Verlag　Berlin　Heidelberg.