论文部分内容阅读
为满足不同软件的可信度需求,提高软件测试过程效率和准确性,提出了一种基于软件目标可信度模型的软件测试过程管理框架.对软件目标可信度进行建模,在此基础上采用形式化方法对软件测试需求进行分析,以需求为出发点来管理软件测试过程.实验结果证明了该框架比之一般过程更加有效.
基于目标可信性的可信软件测试过程
【摘 要】
：
为满足不同软件的可信度需求,提高软件测试过程效率和准确性,提出了一种基于软件目标可信度模型的软件测试过程管理框架.对软件目标可信度进行建模,在此基础上采用形式化方法
【机 构】
：
上海交通大学电子信息学院微纳电子学系
【出 处】
：
微电子学与计算机
【发表日期】
：
2015年7期
其他文献
<正>宜昌人福药业有限责任公司是国家麻醉药品定点研发生产企业。经过'十二五'期间的快速发展,公司现有总资产26.81亿元,员工4000余人,各种药物批文229个,在宜昌高新
<正>党中央在'2016年在全体党员中开展的‘学党章党规、学系列讲话,做合格党员’学习教育方案'中,把'增强看齐意识'作为总体要求之一明确提出,这对于全党统
期刊
随着集成电路芯片设计难度的提高,对芯片设计的验证也变得越来越复杂.能够高效全面的验证,同时缩短整个开发周期,降低设计成本是验证工作者面对的重要问题.对此基于Verilog H
习近平总书记强调，“全面从严治党，核心是加强党的领导，基础在全面，关键在严，要害在治。”全面从严治党是党中央发出的号令，也是全党的共同责任，党的责任重如泰山。我们必须深刻把握
目的分析广州地区HBV DNA+/HBs Ag-献血者HBV基因型和S区"a"决定簇及主要亲水区(MHR)分子生物学特征,为进一步阐明OBI的分子机制提供参考。方法采用两种ELISA试剂和单人份核
针对基于任务流水化机制的高性能DSP流处理器的运算簇簇间数据通信问题,提出了COMM通信单元的设计思想.该单元通过对各个簇输出数据进行重新排布,提升了簇间数据交换的性能,
提出了基于概率测度的支持向量机算法,它采用概率分布作为均值嵌入构造再生希尔伯特空间,为了能够直接采用任何标准的基于核的学习技术,又构造了支持向量机的一般形式,称为基于概率测度的支持向量机(PMSVM).通过在MNIST数据库构建的虚拟样本进行实验,证明了该算法在识别率和时间消耗上更为有效.
<正>履职尽责是一项长期持续的工作,不可能一蹴而就,也不是为了迎接阶段检查,应作为一种常态在人社系统贯彻执行下去。去年以来,我们坚持组织、学习教育、责任和民声"四个先
针对在图像处理过程中需要对海量数据进行处理的问题,提出了一种基于压缩感知的多重测量去噪算法,并通过仿真实验验证了该去噪算法的有效性及可行性,同时也验证了该算法在保持良好的的去噪性能的同时,能大幅降低所需处理的数据量.
随着信息技术的迅速发展,互联网作为信息传播新的媒体,越来越成为高校师生获取知识和各种信息的重要渠道,并对大学师生的学习、生活,乃至思想观念产生着广泛和深刻的影响.高