关于白盒测试基本方法的分析

对软件白盒测试的基本方法进行分析,计算机程序有顺序、选择、循环3种基本结构。根据3种基本结构的组合方式,程序又可以分为基本结构、嵌套结构和连锁结构。对于嵌套结构程序,可以使用基本路径测试法进行测试,对于连锁选择结构,可以抽取部分路径进行测试;对于连锁循环结构,则需根据循环是否独立来确定具体测试方法。     

确定程序复杂度和路径覆盖的方法

通过分析选择结构和循环结构之间的关系,在传统方法的基础上,提出了不使用公式求程序复杂度的新方法.对测试具有循环结构的程序,给出一种新的思路,用来选取符合路径覆盖要求的测试方案.     

二维非线性对流扩散方程求解程序优化

在IA-64架构Itanium2处理器上,应用gprof和pfmon对二维非线性对流扩散方程求解程序源代码进行了性能测试.在分析给定程序的数据结构,子过程调用关系,重点子程序中循环体的迭代空间、数据空间、访问轨迹,输入输出数据量大小和程序结构等的基础上,应用子过程合并、循环变换、分支消除、循环顺序逆转、数组一维结构化为二维结构、输入参数给定等方法,改善了数据访问的时空局部性,程序性能有15%的提高.     

一种用于循环程序形式化验证的划分归纳方法

为了提高软件的可靠性,人们一直在形式化验证和软件测试两个方面进行不懈的努力.本文利用划分测试中的自动分割替代技术,针对循环程序的输入域,提出了一种划分算法,并在此算法的结果上建立一种划分归纳方法,它能简化循环程序的形式化验证过程.     

循序渐进法在程序设计教学中的应用

程序的结构有三种,即：顺序结构、分支结构、循环结构。对于刚开始接触程序设计的高一学生来说,顺序结构和分支结构是比较容易理解的两种结构,而循环结构和人们平常的思维习惯有很大的不同,对于很多学生来说是比较难掌握的。本文通过作者自己的亲身教学实践,用几个例子阐述了在《visual basic算法与程序设计》课程中循环结构的教学方法,这些方法在已往的教学过程中取得了相对较好的教学效果。     

C语言循环嵌套结构教学设计探究

C程序循环嵌套结构设计是C程序循环结构教学一章的重点与难点内容,是后续数据结构课程算法实现中使用频率最多的语句,是进行复杂程序设计的基础.该文将针对初学者实际情况,通过教学实例的设计,由浅入深,采用类比、启发等多种教学方法,分析循环嵌套结构程序的设计思路与设计方法,帮助学生掌握C语言循环嵌套结构设计的实质,提高利用循环嵌套结构解决实际问题的能力.     

程序设计中的循环机制

在计算机程序设计中,较为复杂的算法程序都要使用循环结构。本文分析了循环结构中循环体的共有特性,探讨了循环结构的分析与设计。     

程序循环结构的优化

循环现象,是循环结构产生的渊源;循环结构,是计算机科学中用以描述客观广泛存在的循环现象的重要手段。所以,循环语句在程序设计中是用得最多的语句之一,很多的实际应用程序都采用了循环语句、本文就循环的优化问题进行了讨论。发现单循环比多重循环结构简明,紧凑,因而不仅输入程序时间短,且运行时间也短,大家在运用循环语句编写程序时要做到优化。     

浅谈循环结构的教学

针对程序设计语言中三大基本结构之一的循环结构,从两个方面探讨了循环结构的教学,阐述了如何让学生迅速掌握循环结构内涵的方法,归纳出需要用到循环结构编程的常见问题并给出相应的编程思路.     

《BASIC语言程序设计》中WHILE／WEND语句和FOR／NEXT语句的应用剖析

《BASIC语言程序设计》是职业院校计算机应用专业的一门专业课教材，该书的重点是培养学生的程序设计基本能力。程序的基本结构主要分为顺序结构、选择结构和循环结构。循环结构在解决实际问题时应用非常广泛。WHILE／WEND语句和FOR／NEXT语句是BASIC语言提供的两个主要的循环语句。这两个语句在编程应用中各有侧重，现剖析如下：     

分段连续阶梯三角波频谱的Mathematica程序分析

基于Mathematica程序,我们提出了一种对分段连续周期性阶梯信号进行频谱分析的方法,该方法对包含多个有限间断点的分段连续信号的频谱分析具有普遍意义.用此方法对数模转换器合成的阶梯三角波的频谱进行了分析,给出了能够完成频谱分析,作出波形图和对应频谱图的Mathematica程序.本研究表明:阶梯三角波的频谱结构由三角波每个周期中的阶梯数2k决定.     

数控系统加工程序的编译

由于传统NC程序结构不完善,很多加工程序非常庞大,降低了数控系统的编译效率,所以需要研究一种高效的编译方法.该文介绍的方法在传统NC程序的基础上增添了跳转、分支和循环结构,有效地简化了加工程序;对于某些巨量加工程序则进行合理分块,每次调一个程序块到常规内存并映射到扩展内存,然后对扩展内存中的程序块解释执行.该方法通用性强,可扩展性好,经过进一步的完善,它还能够支持并行编译.     

程序结构的自相似性及其二叉树表示

阐述了在结构化程序设计中,程序由顺序、选择、循环3种基本结构构成,这3种基本结构在构成程序时,明显带有局部与整体的自相似性。对程序结构的自相似性作分析后,给出了程序的二叉树表示,指出这3种基本结构可以看成是语句的运算符,程序可以看成是语句和这3种运算符组合成的表达式,从而以一种新的思维看待程序,进一步指出了由此可能对软件测试带来的影响。     

二维连续体的拓扑优化设计研究

为二维连续体的扑拓优化提供一种基于材料弹性模量的解析敏度求解方法。利用该方法开发一套二维连续体的拓扑优化设计程序。方法用以可变弹性模量作为设计变量的新方法对连续体进行拓扑优化设计,使拓扑优化在各向同性连续材料的前提下,用解析法求解敏度。     

嵌入式软件回归测试错误定位方法的研究

由于嵌入式软件的复杂性,决定着嵌入式软件的修改是一项困难的任务,在修改的过程中容易引入新的错误.由此可知嵌入式软件的回归测试在整个软件开发的生命周期中占有重要地位.通过研究几种回归测试错误定位方法,提出一种适用于嵌入式软件的基于程序频谱和原子依赖的回归测试错误定位方法,并且通过实例对该方法进行了说明.     

基于LabWindows/CVI的数据处理系统设计与实现

虚拟仪器系统是目前工业测试技术中新兴的系统,本文针对人工增雨火箭发动机试验数据设计了一种功能强大的数据处理系统,详细介绍了基于LabWindows平台利用C语言进行仪器程序设计的方法,利用不同的软件模块实现不同功能,开发成本低、开发周期短、升级和维护容易,而且用户可以根据需要进行扩展,方便实现人机交互。     

工程结构强度可靠性研究

本文提出了一种结构强度可靠性分析的新方法,并研制了结构强度可靠度计算通用程序。该程序采用数值积分法和蒙特卡罗模拟法两种方法计算可靠度R,并可计算可靠度的置信下限。利用该程序对一个实例进行了计算。     

The application of multitasking mechanism in single chip computer system

Developed a new program structure using in single chip computer system, which based on multitasking mechanism. Discussed the specific method for realization of the new structure. The applied sample is also provided. Yu Jin: born in 1975, Master student     

完善Jackson的设计方法

Jackson方法所得到的程序模块结构差，形式化描述能力弱.因此，结构性不理想，使得Jackson方法在使用中受到限制.本文提出一种方法.将数据结构按其性质划分成若干个数据结构，对每一个数据结构设计出相应的CSP，它们之间接口是CSP通讯.在设计每个CSP时给出所处理数据的属性文法的形式说明，其描述能力比Jackson的数据结构树更严格.由此形成说明导出相应的进程.所设计的方法实质上是融合了当前属性文法，模块程序设计以及Jackson方法，而获得一个更好、更为有力的程序设计方法.     

永磁同步电机的结构与其电磁参数关系分析

永磁同步电机的结构多种多样 ,磁场复杂 ,在电机的设计和仿真时 ,电磁参数不易得到。论文提出一种新的方法 ,从电机电磁场的角度 ,研究电磁参数和电机结构的关系。在永磁同步电机的设计和仿真时 ,直接根据具体电机结构调入所需电磁参数 ,不但缩短了仿真程序的开发周期 ,而且能进行多种结构电机的设计 ,增加了程序的通用性。另外 ,从电磁场的角度直接计算电磁参数 ,保证了参数的精确性。针对内置径向式永磁同步电机 ,研究了电磁参数与其结构关系 ,并将所得参数用于电机的设计和仿真。仿真和试验结果表明该方法能快速精确地设计永磁同步电机