Block-based test data adequacy measurement criteria and test complexity metrics

On the basis of software testing tools we developed for progrmnming languages, we firstly present a new control flowgraph model based on block. In view of the notion of block, we extend the traditional program-based software test data adequacy measurement criteria, and empirically analyze the subsume relation between these measurement criteria. Then, we define four test complexity metrics based on block. They are J-complexity 0; J-complexity 1 ; J-complexity 1 ; J-complexity 2. Finally, we show the Kiviat diagram that makes software quality visible.     

LehmerDH数在模p剩余系的分布

设 p≥ 3为素数 ,集合A ={a|1≤a 相似文献   

SWOT模型分析方法在天津电力发展战略中的应用

面对激烈的市场竞争和复杂多变的社会环境，确定企业的战略方向已成为企业经营管理的首要任务。本文采用定性分析与定量分析相结合的方法构造了一个用于制定企业战略的SWOT战略分析模型，并结合天津电力公司发展现状，应用此模型分析确定了天津电力公司所应采取的发展战略。     

质速关系的恒力作功推导法

通过分析惯性系中的质点在恒力作用下作直线运动的事例，导出了质速关系。     

CAD网络教学系统研究

本文从当前CAD教学现状入手,结合网络和多媒体技术,详细阐述了架构CAD网络教学系统的必要性,并结合当前互联网模式,设计出基于B/S结构的CAD网络教学系统模型.     

结合梁剪力连接件剪拔受力的非线性分析

探讨了结合梁剪力连接件在复杂受力情况下的非线性分析模式与分析方法，计算结果与剪拔试验模型实测结果吻合良好。在此基础上，计算了广州内环中山一路结合梁剪力连接件的受力行为，为设计单位提供了设计参数。     

试析价格消费曲线的多层含义

价格消费曲线是说明价格变化引起需求量变化的曲线，一般表示某商品在价高时需求量少，价低时需求量大。但笔者认为：它的变化规律也可以提示不同市场及不同弹性商品的需求变化规律，还可以反映整个社会对所有商品的需求变化规律。     

基于GM（1，1）模型的某高校招生人数预测

分析了近年来我国高校招生人数的变化趋势，并利用GM（1，1）模型对某高校2008年的招生人数进行了预测．从而为高校招生人数决策提供了依据。     

多档次概率罐子模型估计的渐近性质

对多个处理且试验结果为多档次的临床试验,构建了其概率罐子模型。研究了模型中每个处理试验结果发生的概率。利用极大似然估计方法得到其估计量,并获得此估计量具有渐近正态性。     

基于Hamaker假设的黏着接触弹性模型

为研究微纳米系统中的黏着接触问题，基于Hamaker假设和Lennard-Jones势能定律，通过积分方法得到了球体与平面间的黏着力，同时结合经典弹性理论建立了一种新型的球体与平面黏着接触的弹性模型，该模型可以同时得到平面轮廓随间距的变形过程及黏着力和平面变形量随间距的变化规律，当球体半径较大时，所建模型与基于Derjaguin近似的黏着模型给出的结果基本一致，随着球体半径的逐渐减小，两种模型的差异逐渐增大，这是由于Derjaguin近似的误差随球体半径的减小而增大引起的，因此，当球体的半径趋近纳米级时，基于Hamaker假设的黏着接触模型可以给出更加准确的结果。