从测试规格说明到测试用例的自动生成方法

讨论了使用域测试策略生成测试用例的过程 :将测试规格说明 ,即经过预处理的形式规格说明所得到的以析取范式形式表示的线性谓词 ,变换成不等式组 ,然后对每一个不等式组利用 1× 1域测试策略生成域测试矩阵 ,最终得到测试用例包 .提出了一种应用 1× 1域测试策略和线性不等式值转换器来构成一个从测试规格说明生成测试用例的方法 .最后通过一个实例说明如何使用 1× 1域测试策略来实现从测试规格说明到测试用例的自动生成 .     

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

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

Object-Z规格说明的结构模拟动画技术

形式化方法让软件需求的规格说明变得更加简洁精确,但是它的抽象难懂让用户难以确定形式规格说明中所叙述的用户需求就是他们所期望的.另外,大多的规格说明语言都是不可执行的,因此人们采用一种动画模拟的方式,将形式规格说明转换成一种可模拟执行的形式,从而帮助用户和规格说明者确认形式规格说明是否与用户的非形式化需求相一致.通过分析比较形式规格说明的两种动画策略———形式化程序合成和结构模拟的优缺点,决定使用结构模拟技术将Object-Z规格说明转换成SICStus Prolog可执行程序并加以执行,从而实现对Object-Z规格说明的确认.     

关于通信协议测试生成形式方法的探讨

结合作者最近提出的基于ＵＩＯ序列的形式叠加测试方法，通过一个实例讨论了基于ＦＳＭ的５种主要的测试生成形式方法，它们分别：ＵＩＯ方法、ＳＵＩＯ方法、ＭＵＩＯ方法、叠加方法和形式叠加方法，并且，针对以上五种方法分别给出各自生成的测试序列的长度的上界。     

结构化面向对象形式规格说明语言OOZS——设计原理

形式方法与面向对象方法的综合使用可以使它们各自的优点得到充分体现：形式方法使目标软件系统的需求规格说明简明、精确,面向对象方法使目标软件系统的组织和分解工作更加系统、自然．本文讨论了Ｚ规格说明语言的应用限制,并在Ｚ语言的基础上介绍了结构化面向对象形式规格说明语言——ＯＯＺＳ的设计方法．该语言吸收了面向对象程序设计语言ＳｍａｌＴａｌｋ、Ｃ＋＋以及形式规格说明语言ＶＤＭ、Ｚｃ、Ｚ．Ｓ等的优点,引入了类、继承、入口、出口、Ｐｒｅ谓词、Ｐｏｓｔ谓词等机制,并对Ｚ语言的符号进行结构化处理,提高了形式规格说明的层次性和模块化能力,可用于大型面向对象软件系统需求规格说明的编写     

电子衡器中计量测试技术应用探讨

电子衡器之中应用计量测试技术手段体现出了明显的高精密性特征,同时在较多领域中均可发挥有效的功能价值,并产生无法估量的良好应用效果.因而,该文就电子衡器中计量测试技术的应用进行研究,通过质量问题分析,实践应用探讨,展望了其未来的发展趋势.对推动电子衡器计量测试技术的全面发展,提升综合效益水平,有重要的实践意义.     

不同标准体系中结构用规格材目测分级规则的比较

分析比较了我国GB 50005—2003《木结构设计规范》、北美规格材目测分等规则NLGA(2003)、英国针叶材强度目测分级规则BS 4978—2007、国际结构用规格材强度目测分级ISO 9709(2005)和澳大利亚结构用针叶材锯材目测分等标准AS 2858—2008等5种标准的异同。结果表明：中国与北美分等标准基本相同,不同之处是中国分等标准采用国际单位,而北美分等标准采用英制单位;英国与国际分等标准基本相近,结构用规格材都分为两个等级,不同之处为国际分等标准中提出非结构用规格材强度特征值的限定;澳大利亚分等标准中通过密度区分结构用材和非结构用材,并且在对钝棱、轮裂和生长轮平均宽度的计算及界定时,均与其他4种标准不同。此外,笔者提出了对我国结构用规格材目测分等规则的修改建议。     

大学生体质测试信息的运用

通过对大学生体质测试构成要素的调查和分析,发现部分体育教师只注重测试的过程,并没有将测试的结果反馈给学生,测试的数据分析也没有在教学中得以体现,而学生本身也并未对测试结果给予足够的重视.提出了加强对体质信息的认识,建立学生体质健康档案,形成完备的信息保障制度等建议.     

长沙市普通高校学生体质测试现状的研究

随着素质教育的深入发展,学生体质与健康问题逐步被学校、社会、家庭广泛关注,对学生体质与健康的研究,也成为学校体育研究中的重要课题之一。本文采用文献资料法、问卷调查法、专家访谈法、数理统计法、观察法等方法,对体质测试实施的现状进行研究和分析,并提出今后实施体质测试时相应的建议。     

关于普通高校大学生体质测试现状的研究

本文通过对高校不同年级的学生参与体质测试的相关方面进行调查将结果表明:无论是在他们参与的动机水平还是态度层面都存在一定的差异,虽然他们对于体质测试有一定的认识高度,但实际参与到体质测试中就显得目的性很强,缺乏对体质健康测试内涵的正确认识.     

对艺术类院校学生体质测试结果的分析

本文通过考察及访谈的形式,以杭州高校艺术类学生为研究对象,对学生体质测试的结果进行调查与分析,找出测试过程中出现的问题及造成学生体侧不合格的因素,提出相应的解决方案。     

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

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

对浙江财经学院学生体质健康测试管理模式的探讨

浙江财经学院学生体质健康测试在学院领导的高度重视和体军部教师的大力努力之下,取得了良好的效果,在新形势下,对本校在测试过程和测试管理提出一些意见和建议,希望对我校的体质测试与管理有参考价值。     

《学生体质健康标准》测试中现存问题的分析研究

通过对《学生体质健康标准(试行方案)》的具体操作实施,发现《标准》在制定和测试中,存在着许多现实问题,影响了标准剐斌．的准确性。本就这些问题进行分析研究,并提出改进意见。     

膜式燃气表的计量测试及分析

膜式燃气表的计量测试及分析包括很多相关内容,本文首先介绍了膜式燃气表,接着主要是从介质温度对膜式燃气表计量测试的影响、环境温度对膜式燃气表计量的影响、温度压力对膜式燃气表计量的影响这三个方面分析膜式燃气表的计量测试的影响因素。     

高职学生体质健康测试中存在的问题及对策研究

俗话说:身体是革命的本钱,若没有健康的身体便没有一切。高职学生作为未来国家建设的重要力量之一,对于国家的建设和发展而言具有着重要意义,因此,不仅要注重对高职学生的能力进行培养,还要多留意和关注高职学生的身体状况。对高职学生体质健康进行测试则是发现和了解高职学生体质状况的重要方式之一,但就目前来看在对高职学生体质健康进行测试的过程中仍存在着一定问题。文章简单列举了一些目前高职学生体质健康测试中存在的问题,并根据这些问题提出了相应的解决对策。     

大学生体质测试中健康相关突发事件的原因与预防对策

本文采用走访调查的方法,分析了大学生体质测试中与健康相关的常见突发事件如晕倒、受伤和很难完成体质测试项目的情况原因,并制定相应的预防对策。     

专用测试设备计量管理的现状与对策

分析专用测试设备的特点,计量管理现状,提出加强专用测试设备计量管理的建议。     

基于压力测试的股票期权市场风险测评

近年来,压力测试作为一种基础工具。在衍生金融工具的风险测评领域得到越来越多的关注。本文基于压力测试这种工具,对股票期权市场的风险进行测评,测评股票价格、股票收益率均值和股票收益率波动率对股票期权价格的不同影响。     

计量器具、测试仪器电气部分的修理方法和步骤

本文简要叙述了对计量器具、测试仪器的修理步骤，并根据计量器具、测试仪器所呈现的故障现象，采取常用的几种修理方法，将故障予以排出解决。