软件测试的故障模型

故障模型是测试的基础,也是一个测试方法成熟的重要标志.软件的错误表现为2个方面:①计算结果错误;②系统"死机".导致第1类错误的故障相对来说是比较容易检测的.导致系统死机的故障其后果是严重的,这类故障由于一般其检测概率较小,也往往难以检测.死循环故障是最常见的能引起系统死机的故障,但这种故障由于其复杂性难以对其模型化,同时在许多情况下,死循环故障也比较容易暴露.对C 中几种能导致系统死机的典型故障进行了分析,这种故障的检测其意义重大,将这些典型的故障组合在一起,就构成了面向软件系统死机故障的故障模型.     

因势利导，向新兴企业拓展民兵工作

企业是民兵组织的主要载体。新时期,三资、股份和民营等新兴企业不断发展壮大,已经成为国民经济的重要组成部分。这些企业以其良好的经济效益和优厚的报酬,吸引了大量高素质的智力型青年从业,为建立民兵组织奠定了良好的基础。可见,如何适应国家经济结构多元化形态,向新兴企业拓展民兵工作,是当前和今后一个时期民兵建设必须认真研究解决的一个重大课题。从近年城市民兵工作调整改革的情况看,新兴企业的民兵工作应重点把握以下几个问题。(一)在领导关系上,要强化属地管理。目前,我国基层民兵组织主体建在国有企业事业单位,其直接领导关系有…     

让微电影走进基层思想教育

微电影以花费少、耗时短、主题鲜明、贴近生活为主要特征,迅速成为大众传播的一个主要方式。如果把基层官兵的感人故事拍摄记录下来,制成微电影,在一定范围内宣传,有利于思想教育质量的提高。一、微电影创作对基层思想教育的意义     

以师德学风建设为着力点 深入开展创先争优活动

师德学风建设在教育教学工作中对提高教学质量、激励学生奋进、潜移默化影响学生、促进学生健康成长起着重要的作用。本文分析了大中专院校师德学风的现状,并以师德学风建设为出发点,对开展创先争优活动提了几条举措。     

大学计算机基础课程教材的建设与实践

面向21世纪计算机课程体系的核心是计算机层次教育.以1996～1998年出版的全军统编计算机教材和国家级"九五"重点计算机教材为基础,论述了计算机层次教育所包括的内容及具体的实施办法.     

软件的测试性分析与设计

软件测试是提高软件可靠性的重要手段,但软件测试的代价是巨大的。软件的测试性分析与设计是分析软件测试的复杂性,提高软件测试性的基本方法。本文提出了软件测试性的基本概念、分析与计算方法、以及软件测试性设计的基本思路。这对于高可靠性软件,特别是武器装备软件的设计是有指导意义的。     

时序电路测试中敏化路径选择研究

时序电路测试产生过程中,在进行敏化路径选择时会遇到失败问题.本文针对迭代组合阵列模型测试中产生的这些问题进行了有益的探讨,并提出了改进的时序电路测试产生算法,使之更加完善.     

一个快速的临界跟踪策略 VLSI故障模拟新方法

运用九故障信息标记（X,D,M,R,E,Q,T,P,U）,提出了加速扇出重汇聚引线临界性计算的一种故障模拟新方法,理论分析表明该方法是有效的。     

基于自由边控制流图的路径覆盖分析实现方法

针对路径覆盖测试,给出了一般循环结构的一种简化处理方案及把按此方案得到的控制流图转化为自由边控制流图方法,并探讨了基于自由边控制流图进行路径覆盖分析的实现方法和优点。     

孙建峰:从“门外汉”到“武装通”

新疆和静县县委书记、县人武部党委第一书记孙建峰,虽然没有当过兵,却有着军人的胆识和气质。他由一个“门外汉”成为“武装通”,是他对武装工作倾心投入的回报和写照。巴音布鲁克区下辖4个乡5个牧场,总面积2.5万平方公里。它是全国少有的军