摘要
本文通过对可信软件的现状和发展趋势研究,从可信软件可靠性分析技术、软件可信性评估技术、软件可信性测试与验证技术等方面详细分析了软件可信的国内外研究现状和发展趋势。
Based on the credibility of the current situation and development trend of software research from credible software reliability analysis techniques, software reliability assessment techniques, software reliability testing and verification technology, and a detailed analysis of domestic and foreign software trustworthiness research and development trends.
出处
《软件工程师》
2013年第12期7-8,共2页
Software Engineer
关键词
可信软件
分析
评估
测试
trustworthy software
analysis
evaluation
testing
