论文部分内容阅读
本模型以ＣＰＵ执行的指令流为参数对软件错误进行计数统计，使发现的错误数与软件的性能紧密联系在一起。在给定的软件可靠性要求下，随机选取测试案例时，模型对一条固定的路径所需的测试次数作出了估计，估计时对测试可能引入的新错误作了一定的考虑。
一个以指令流为参数的软件错误模型
【摘 要】
：
本模型以ＣＰＵ执行的指令流为参数对软件错误进行计数统计，使发现的错误数与软件的性能紧密联系在一起。在给定的软件可靠性要求下，随机选取测试案例时，模型对一条固定的路径所需的测
【机 构】
：
机械科学与工程学院,华中理工大学机械科学与工程学院
【出 处】
：
华中理工大学学报
【发表日期】
：
1995年6期
其他文献
研究了Ｇ．Ｋｒｏｎ混合变量方程及其系数矩阵的某些重要特性，揭示了电路分析中的混合变量法与符号网络分析中的拓扑法、参数抽出法，以及网络变换中的某些方法之间的内在联系。
考虑三阶三点边值问题ｘ＝ｆ（ｔ，ｘ，ｘ′，ｘ″），ｘ（０）＝ｘ（ξ）＝ｘ（１）＝０，其中ξ∈（０，１）．对于ｆ有非线性增长的情况，利用基于度理论的不动点定理，建立了某些存在唯一性定理．
根据ＰＴＣＲ Ｒ－Ｔ特性测试的要求，选用ＩＥＥＥ－４８８接口把智能万用表同计算机结合起来组成了测试系统，阐述了硬件和软件设计方法，详细分析了干扰产生的来源及抑制干扰所采取的具体措施。实践表明该系统
将非接触热波测试系统与计算机层析技术结合，成功检测出铜样品内部缺陷的分布。在层析成像代数模型基础上，根据热波传输的物理实质及所用实验装置的特点，分别引入几何因子消除探
提出一种利用图结构的启发式特征识别方法，其识别过程包括子图的启发式识别和子图的特征标识两部分。讨论了特征的表达、启发式规则以及用整数和字符表示特征的几何、拓扑、语义等信息的样板特征表达策略，实现了加工特征的识别。
水电站厂内经济运行的数学模型是一类非线笥、０－１规划，用ＧＡ算法求解该问题，速度快，而且可同时在时域空间上分别求出机组开停机计划和机组组合及负荷分配优化运行结果，可满足水电站厂内
建立了齿轮动态分析的数学模型，在齿轮振动模型中考虑了轮齿刚度的变化、齿轮误差和齿廓修形，用数值法求解了振动微分方程式，计算出齿轮动态响应，在动态分析的基础上建立了齿轮动
给出了较低功率密度（１０￣２～１０￣３Ｗ／ｃｍ￣２）、大光斑尺寸（２５～５０ｍｍ）的连续波ＣＯ＿２激光对ＬＹ１２铝合金板试件破坏的实验研究；测量了试件在自由状态和受预拉力作用两种情况下强激光作用的温度、应变及破坏时间等参数。结果表
从工程实际出发，阐明ＥＷＭＡ用于制作工序控制图的原理和方法，通过时间序列的ＡＲＩＭＡ模型表明ＥＷＭＡ控制图的最优性质及其广泛适用范围（自然也有一定的局限性）；借助于实例说明ＥＷＭＳ控制衅的简单制作步骤，最后
为改善聚苯胺表面的亲水性，在化学氧化法制备的聚苯胺片表面接枝共聚丙烯酰胺。研究了Ａｒ＾＋辉光放电等离子体处理ＰＡｎ表面以及共聚条件对表面接枝共聚反应的影响。结果表明丙烯酰胺可以