作者：郭晓天 绳伟光 毛志刚软件测试过程可信软件形式化方法测试需求分析
摘要：为满足不同软件的可信度需求,提高软件测试过程效率和准确性,提出了一种基于软件目标可信度模型的软件测试过程管理框架.对软件目标可信度进行建模,在此基础上采用形式化方法对软件测试需求进行分析,以需求为出发点来管理软件测试过程.实验结果证明了该框架比之一般过程更加有效.
注：因版权方要求，不能公开全文，如需全文，请咨询杂志社
《微电子学与计算机》（CN：61-1123/TN）是一本有较高学术价值的大型月刊，自创刊以来，选题新奇而不失报道广度，服务大众而不失理论高度。颇受业界和广大读者的关注和好评。 《微电子学与计算机》是中国计算机学会会刊，本刊的宗旨是，严谨认真，求实创新；以人为本，研以致用；弘扬科学，追求真理。本刊国内公开发行，面向科研院所，厂矿技术人员、院校师生和管理人员，及时提供国内微电子与计算机行业最新科研成果。
部级期刊
人气 229919 评论 65
人气 214100 评论 35
省级期刊
人气 212681 评论 71
北大期刊、统计源期刊
人气 192801 评论 73
