论文部分内容阅读
软件的可靠性是软件质量的一个重要技术指标.该文采用软件蓝图描述软件结构,进而给出了基于程序图的环型复杂度的计算方法.在此基础上,建立起一个软件可靠性模型.最后通过一个例子说明了如何应用这个模型,通过潜在错误的检测和环型复杂度的计算,对软件的可靠性作出预测.
基于环型复杂度的一种判断程序可靠性的统计方法
【摘 要】
：
软件的可靠性是软件质量的一个重要技术指标.该文采用软件蓝图描述软件结构,进而给出了基于程序图的环型复杂度的计算方法.在此基础上,建立起一个软件可靠性模型.最后通过一
【机 构】
：
上海市计算技术研究所
【出 处】
：
计算机工程与应用
【发表日期】
：
2004年期
其他文献
2009～2011年对施秉县内太子参病虫害种类进行了调查、鉴定。结果表明,施秉县太子参常见病虫害17种。其中病害8种,害虫9种。观察了主要病虫害为害症状,并对主要病虫的发生为害
目的:通过对预防接种的儿童进行无缝隙护理管理,保证护理安全,提高服务质量.方法:选择515例2011年接受预防接种的儿童为对照组,实施常规护理流程；选择612例2012年进行预防接种
新牧区建设是内蒙古自治区根据本区自然地理和人文条件提出的落实科学发展观、深化牧区改革、推进“三牧”工作的重大举措,也是全面建设小康社会、加快地区发展的必然要求.本
科学发展观是以胡锦涛为核心的上一代领导集体留下的理论遗产,而中国梦则是以习近平为核心的新一代领导集体开创的理论成果。有了中国梦,那么,科学发展观就有了明确的目标和
我国分类分部门分别登记的担保登记制度,存在多头立法、登记机关林立、程序繁复、信息不透明、查询困难、难以监管担保泡沫等弊端。为保护债权人权益,预防担保风险,我国有必
史学属于历史范畴,是社会存在的折射和反映,是人类思维之具体的凝固。史学在晚清士人、学者心中占据着重要地位,使其成为西方改变中国人观念的选择对象。西方史著在华译介产
The paper discusses the meaning of modernization of China,basic characteristics,monitoring system of indicators,monitoring standards,monitoring methods,together
当计数区域相对它到粒子源的距离或相对整个系统甚小时, 要想用Monte Carlo方法实现对能量沉积计数十分困难. 给出了强迫碰撞随机游动方法, 解决了含权重随机游动情况下的能
受主客观因素的影响,西南少数民族地区地市级党报普遍处在较低的发展水平,报纸的综合实力较低,社会影响力不足。在多角度呈现其发展现状并分析原因之后,根据研究对象所处的具