Reusing Test Cases Based on the Function Point

Reusing test cases from existing test case library is quite common in the software testing field. Testing practice tells us that there is a strong relationship between the granularity of a function unit under testing and that of the test case. A function unit with small granularity usually results in the test cases with the same small granularity. Therefore a test case defined as the function point,i. e.,the smallest size function unit,was provided for the first time.Though test cases with smaller granularity usually have better reusability,the cost of accurately reusing and integrating such test cases is also higher. In order to balance the test case reusability and the cost of test case reuse,a novel test case reuse model based on the function point was proposed in this paper. In this model,a reusable test case for specification-based testing was defined and some reuse strategies and three formal reuse methods were given. Finally,the complete automatic software process was realized by a reusing generation tool. The new method has improved reuse accuracy,while greatly enhances the software productivity.     

关于某些抽象函数原型问题的研究

抽象函数问题既能考查学生对函数概念和性质的理解,又能考查学生的推理和论证能力.利用极限的相关理论和实数理论,给出了4个抽象函数的原型问题的证明.     

两线阵CCD相机几何指标差异对立体测绘的影响

为了准确、全面地揭示相机几何指标在立体测绘中的误差传播规律,研究了两线阵CCD相机几何指标差异与定位准确度之间的关系.针对两线阵立体测绘特点,分析了影响测绘定位的几何指标差异参量.在前方空间交会地面点计算公式的基础上,推导并建立了两线阵相机定位准确度模型,据此研究了内方位元素标定误差间的几何指标差异对定位准确度的影响规律.结果表明:主点位置x方向误差间的差异对定位准确度影响显著,当其值从1 μm增至2.5 μm时,定位准确度明显下降了60%,焦距f误差间的差异对定位准确度的影响几乎可忽略.本文所建立的模型与相关研究结论对两线阵CCD相机指标的量化与优化设计具有重要指导意义.     

一种积分时滞过程的内模PID鲁棒整定方法

针对工业系统中普遍存在的积分时滞过程,提出了一种内模PID（比例-积分-微分）控制器设计及鲁棒整定方法.利用一阶环节逼近积分环节,改善了内模控制系统的稳态特性,在此基础上利用一阶泰勒表达式逼近过程模型中的时滞项,得出了内模PID控制器的设计方法,并根据最大灵敏度Ms指标,导出了对控制器可调参数进行鲁棒整定的解析表达式,克服了常规方法中参数整定的盲目性.仿真结果表明该方法可使系统同时获得良好的动态响应性能和鲁棒性.     

基于规格说明的面向对象软件原型开发

提出了一种基于规格说明的面向对象软件原型开发方法．规格说明分为结构部分和行为部分．结构部分利用了面向对象开发方法ＯＭＴ的直观可视的表示和分析设计规程；行为部分利用类ＣＣＳ的表示文法和形式验证机制，使得规格说明及其求精结果由一致的语言表示，且在同一的形式框架构成的原型上进行行为分析．并且通过一个实例说明了此方法的特点     

一种求解变分不等式问题的光滑路径方法

目前已提出了许多求解变分不等式的算法，其主要是牛顿型方法等传统的迭代法及其对此类问题的推广，一般只有局限收敛性。讨论了一种具有全局收敛性的光滑路径方法。     

一个含有不确定性语言的代数规范说明

本文定义了一个语言L,其允许表达式有负作用并对表达式序列的计算顺序不加规定,这样,在L中,同一表达式序列,因其计算顺序不同而可以有不同的结果,因而其语义模型就不是唯一的,传统的单一模型方法不适于定义L的语义,本文在极大语义的意义下,定义了L的代数规格说明并讨论其模型性质。     

光学树脂镜片性能指标

简要介绍光学树脂镜片的几种特殊性能及其测试方法。     

GTMS图文菜单规范

本文讨论了图文菜单规范的可行性及其包含的内容;提出并阐述了采用交互方式与程序设计方式相结合的图文菜单的一种规范——GTMS规范。该规范可以用来设计与实现图文菜单的自动生成系统,为图文菜单的自动生成提供了理论与技术基础。     

对比分析两种规范确定的桩基竖向承载力

分析了《建筑地基基础规范》《建筑桩基技术规范》所确定的桩基承载力计算公式和参数影响。通过工程实例的对比分析，得到了两个承载力的差异程度，并对桩基规范的基础设计提出了建议的简化设计方法。