结构化面向对象形式规格说明语言OOZS——规格说明测试

自动或半自动实现面向对象形式规格说明的测试不但要求相应的规格说明语言具有严格的形式语义,而且要求使用人员具有较深的数学基础,从而最终影响了面向对象规格说明测试的研究。本文提出了一种测试方法,该方法通过构造测试用例对面向对象形式规格说明的各种特性进行检验,可以较容易地发现形式规格说明中的不一致、不完整之处。     

一种基于Object-Z规格说明的集成测试用例生成方法

形式化方法具有精确的描述性和很强的抽象性.用形式化方法描述规格说明,避免了在需求分析阶段对数据结构和算法细节的详细描述,同时又避免了一般建模方法中的模糊性和歧义性.针对组件系统的集成测试产生测试用例,提出一种使用Object-Z模式描述组件模型的方法,并且针对模型提出测试准则,产生测试场景,然后根据得到的测试场景产生测试用例.     

基于形式活动图的协议一致性测试用例生成方法研究

在对协议的一致性进行测试的过程中,首先要设计并生成有效的测试用例,通过测试用例的自动生成可以大大提高设计和生成测试用例的效率.文章描述了一种形式活动图和扩展有限状态机,介绍了从形式活动图生成扩展有限状态机的算法以及从扩展有限状态机自动生成测试用例的算法.最后对算法进行了相关分析并给予一个实例进行说明.     

基于形式活动图的协议一致性测试用例生成方法研究

在对协议的一致性进行测试的过程中,首先要设计并生成有效的测试用例,通过测试用例的自动生成可以大大提高设计和生成测试用例的效率.文章描述了一种形式活动图和扩展有限状态机,介绍了从形式活动图生成扩展有限状态机的算法以及从扩展有限状态机自动生成测试用例的算法.最后对算法进行了相关分析并给予一个实例进行说明.     

基于程序规则说明的自动测试用例生成

自动测试过程中,在特定测试标准下生成的测试用例的质量优劣,将极大地影响测试的性能和结果.作者结合基于程序规则说明的两种测试方法———随机测试技术和决策表技术,利用决策表形成完备的测试标准,保证随机生成的测试用例的充分性,完成测试用例的自动生成过程.研究内容分为如下4个部分:(1)基于软件规则说明的自动测试技术分析;(2)对程序规则说明生成决策表方法的测试标准;(3)结合随机测试数据生成和决策表技术对自动生成测试用例进行分析,比随机生成测试用例方法有更好的效果.     

软件集成测试中的一种用例生成方法

针对面向对象语言的多态、动态绑定等特性增加了面向对象软件集成测试难度的问题,提出了一种测试用例的生成方法.首先借鉴正交矩阵测试策略的思想,采用自定义正交矩阵生成算法生成一个二维正交矩阵,再使用鲁棒性测试方法优化生成正交矩阵,最后采用自定义测试用例生成算法为面向对象软件的集成测试生成测试用例集,并将测试用例集用XML文档保存,以备下一步测试用例复用.经验证表明,使用正交矩阵能提高错误检测能力,用其生成的测试用例比较少且方法简单、易于实现.     

基于UML状态图的测试用例自动生成方法

随着UML建模在软件开发中的广泛应用,基于状态图的测试用例自动生成方法逐渐成为规格说明测试中的重要研究方向.在研究了现有测试用例生成方法的基础上,提出了采用函数最小化思想,依据边界测试准则生成测试数据,采用深度优先策略及记忆化搜索高效地生成测试用例.实验结果显示该方法能以较少的测试用例达到较高的路径覆盖率.     

从ESTELLE协议规格说明生成测试序列

ESTELLE是一种由ISO提出的用于描述计算机通信协议的形式化描述技术,并已成为国际标准。随着计算机网络技术的发展,出现了一门新的学科——协议工程。它包括通信协议的规范、验证、生成、测试。测试序列生成在协议一致性测试中是一个非常复杂的问题。本文提出了从ESTELLE语言规范生成测试序列的方法。有关测试序列生成的一些原始材料可以在一些协议规范的文本中找到。_抽象机(即扩充的有限自动机)是所提方法的基础。这个方法的思想是这样的:首先是用ESTELLE语言编译器从ESTELLE协议文本中提取要求的信息(抽象机),并且用某种形式表尔之。第二,将抽象机展开成为一个一般的有限自动机。第三,从有限自动机中生成测试序列。最后,把测试序列转换成TTCN形式。     

一种新的布尔规格测试用例生成算法

为提高布尔规格测试用例生成的效率,对常用的循环赋值方法进行了改进,将检测条件转换为类似合取范式(CNF)的表达式并对各子表达式进行了循环赋值.针对布尔表达式中文字否定错误(LNF)及文字引用错误(LRF)等2种类型的变异,该方法从语法树中发生变异的叶结点处进行回溯,将检测条件分解成子表达式,并分别对各子表达式进行循环从而生成其可满足赋值,最后将上述赋值组合形成测试用例.实验数据显示:该方法有效地减少了测试用例生成时所需的循环赋值次数,且测试用例生成时间的缩减与循环次数的减少呈近似线性关系;相对LNF,该方法对LRF时间的缩减更为明显.研究表明检测条件的分解循环能有效降低总循环次数,从而提高了测试用例的生成效率.     

TCP状态非典型变迁的形式化研究

协议的规格说明主要是以自然语言描述的,对其进行形式化的目的是精确描述协议,减少开发人员对协议规格说明理解的偏差.B方法以数学理论为基础,可产生简明、精确、无歧义且可证明的规格说明.B方法的优点使得它适合对协议进行形式化描述和一致性测试。本文详细介绍了使用B方法对TCP状态非典型变迁进行形式化,并据此生成了测试用例,提高了TCP协议一致性测试的质量和可靠性。     

疲劳试验新方法—显微疲劳试验

介绍了显微疲劳试验－一个新的疲劳试验方法，由此研制的疲劳试验装置，能够在金相级的水平上进行十分精细的疲劳试验，全部实验过程可以进行实时观察和记录，用该细观手段实验观察，可望对金属疲劳进行更深层次的分析研究，能更好地理解工程零部件中实际疲劳裂纹的产生与扩展的过程。     

用测验信息量分析试卷质量

测验信息量是项目反应理论中的一个重要概念，它可以用来预测和评价一个测验的误差大小。该文给出了几个与测验信息量相关的计算公式。为了便于编程，作者对一些已有公式进行了化简。求对应能力值需要迭代，该文为迭代公式提供了一个初值计算式，并将其应用于试卷质量的分析中。     

数字电路逻辑测试系统中的测试生成

测试生成是数字电路测试的关键问题之一,文章闸述计算机辅助测试系统DCTS-CAT仪中测试图形产生的确定法和部分随机法。研究表明采用的方法满足功能级在线检测要求,测试速度较快,测试的错误覆盖率较高。     

一道硕士研究生考题的推广

文章利用积分中值定理,给出一道硕士研究生考题的推广     

取定检验统计量的最佳双边检验

研究了未知参数进行假设检验时构造的检验统计量.在不同检验统计量的情况下证明了最佳双边检验是存在且唯一的,同时给出了求参数最佳双边检验需满足的条件;并且将最佳双边检验与传统检验进行了比较,最后给出了一个应用实例.     

计算机多阶段自适应测验的组卷方法

计算机多阶段自适应测验(MST)实施的关键是成功组建多个满足测验规范(即统计和非统计约束)的平行测验(或称测验面板),自动组卷(ATA)为实现测验平行提供了可能.现有的MST组卷方法研究主要包括以下几种:1)基于线性规范算法的组卷方法; 2)基于启发式算法的组卷方法; 3)基于蒙特卡洛算法的组卷方法; 4)基于在线组卷的方法.该文讨论这几种方法的优缺点并进行比较,同时指出未来可进一步改进这种方法并开发基于认知诊断测验的自动组卷方法.     

柯西判别法与达朗贝尔判别法的正确应用

在数值级数中，对于一般的变号级数∑^∞n=1Un，为了判断该级数是条件收敛还是绝对收敛，我们常常将其转化为判别正项级数∑^∞n=1Un|与变号级数∑^∞n=1Un的敛散性而得到，在正项级数的判别法中，最简单又最常用的是柯西判别法与达朗贝尔判别法，但是学生在应用这两个判别法时，又经常出现错误，通过对上述两个判别法的证明过程的分析，归纳出一些结论和应注意的地方，以便今后少出现错误。     

影响汽车燃料经济性试验结果的因素

笔者根据实践经验,较详细地论述了影响汽车燃料经济性试验结果的各种因素,并提出了保证试验质量的有效措施。     

单边检验在方差检验中的局限性

论证了方差的原假设H0:(σ2≤σ20)或(σ2≥σ20)只进行单边检验的局限性——只给出一个拒绝域是不够完善的;首次提出H0:(σ2≤σ20)或(σ2≥σ20)进行双边检验的方法及双边拒绝域.     

张爱玲小说的苍凉世界

我认为张爱玲的身上辉映着动乱时代的影子,这位一夜走红的女作家,从骨子里到笔尖都流露出让人心寒的苍凉。虽然她的作品题材千变万化,但“中心话语”永远是苍凉,一种深入骨髓的乱世苍凉。这种苍凉是作者独特的审美艺术创造,它满足了人们超常的审美需求。