管材超声波分层缺陷检测中盲区的构成探析

管材超声波分层检测作为控制产品质量的关键步骤,必须引起相关从业人员的重视,特别是要重点分析分层缺陷检测中盲区的构成原因和分布特征。只有这样,才能切实保证检测结果的准确性,更好地控制管材质量。通过对超声波分层缺陷检测的重要性进行阐释,分析了其中盲区的构成和分布等问题。     

软件测试中测试用例设计的问题研究

软件测试作为软件质量的保证,受到了IT行业的高度重视。测试用例的设计是软件测试的主要内容。重点分析了测试用例的优点和不足,建议针对不同的软件项目采取不同的测试用例设计方法。     

软件测试模型的探讨

软件测试是软件工程的一个阶段,也是保障软件质量必不可少的重要一环。软件测试模型是软件测试的工作框架,用于指导软件测试过程。本文在深入研究各种综合测试技术的基础上,通过对比分析各种主流的测试模型,提出了一种新的软件测试模型,包括静态测试、动态测试,测试评估等活动,把这些活动嵌入到软件开发的整个生命周期,能更好地规划软件开发和测试等一系列活动,提高了软件生产效率及其质量,该模型还适合于迭代开发。     

Early age microstructure of Portland cement mortar investigated by ultrasonic shear waves and numerical simulation

This paper investigates the ability of a shear wave reflection (WR) method to monitor microstructural changes of Portland cement mortar during hydration. The wave reflection method measures the reflection loss of shear waves at an interface between a steel plate and mortar. Mortars with water/cement ratios of 0.35, 0.5 and 0.6 were tested at isothermal curing conditions of 25 °C. The numerical model HYMOSTRUC3D was used to simulate the evolution of microstructural properties of the cement paste phase of the tested mortars. The parameters obtained from the simulations were the volume fraction of the total and connected solid phase and the specific contact area of the hydrated cement particles. The investigations have shown that the wave reflection measurements are governed primarily by the degree of the inter-particle bonding of the cement particles as calculated from the specific contact area of a simulated microstructure.     

软件测试工具分析及其应用探讨

结合实践探讨了在现有生产软件的中小型企业中,如何将软件测试与软件开发相结合,使软件测试管理的质量得以提升。介绍了一些目前常用的软件测试工具及测试管理工具,对软件测试管理中应注意到的80:20问题进行阐述分析,提出对测试管理中可能存在的风险可采取一些方法来应对。实践证明,使用全程软件测试管理对解决测试管理工作中存在的问题有很大帮助。     

雷达软件测试文档追踪系统的关键技术研究

雷达软件规模日益庞大,其软件测试也变得非常复杂,测试需求追踪逐步变成非常困难的任务,目前急需解决雷达软件中测试需求追踪管理、文档自动生成等问题。通过对软件测试需求的识别与定位、软件测试任务的分派,实现了雷达软件测试需求的跟踪、追溯,以及按标准模板产生相应的文档,重点对实现该追踪系统的关键技术进行了分析和描述。     

基于攻击树的安全芯片穿透性測试评估

随着安全芯片应用范围的不断扩大和应用环境的日趋复杂,需要通过穿透性测试验证芯片的安全性,同时有必要对测试进行评估。为此,提出一种基于攻击树模型的安全芯片穿透性测试评估方法。分析安全芯片的穿透性测试过程,采用攻击树模型作为穿透性测试的描述模型,在此基础上提出攻击事件的多属性赋值方法、攻击代价的推算方法和攻击路径的分析方法。应用结果表明,该方法可准确评估安全芯片穿透性测试结果。     

准完全最大距离伪随机测试研究

对超大规模集成电路进行随机测试的测试码之间的距离作了定量分析,在此基础上,改进了最大距离随机测试算法中测试码的生成方法,使得所生成的伪随机测试码集合同时达到最大海明距离与近似最大笛卡尔距离。因此每一个测试码可以尽可能多地独立检测到更多不重复的故障。进而提出了准完全最大距离测试新算法的思想和构建理论,并详细阐述了该算法的执行流程。在ISCAS'85基准电路上进行的大量实验数据分析表明,本方法确实有效地提高了随机测试效率,降低了随机测试成本。     

基于控制流模型的Web系统测试方法研究

Web应用系统的使用与日俱增,技术层出不穷,但是Web应用系统的测试却是一个难点.论文提出一种基于控制流的测试方法,对Web应用系统建立控制流模型,并给出形式化的定义,采用模型进行测试用例的产生.为了使测试自动化,论文还谈到脚本技术和测试执行器的设计.     

一种基于单条程序执行路径的错误定位方法

当程序在测试中发生错误时,将形成一条错误的程序执行路径,程序员将会花费很多精力去检测程序代码和定位最终的程序错误．提出一种基于单条程序执行路径的错误定位方法,该方法通过对程序进行反向执行,计算出多个最弱前置条件及其相对应的疑似错误语句集,并生成错误定位树,来辅助程序员进行快速错误定位．对西门子测试数据集进行的实验表明了该方法具有良好的效果．