School of Software Engineering;
Beijing University of Technology;
Beijing 100124;
China;
Beijing Digi Hall Information Limited Co;
Beijing 100022;
China;
National Application Software Test;
Beijing 100191;
China;
National Electronics Standardization Institute;
Beijing100176;
China;
software credibility; application behavior declaratio(ABD); whole life cycle;