从语域看写作测试中的真实性——以剑桥商务英语考试(中级)写作测试说明为例

该文采用系统功能语言学派中的语域理论具体分析了剑桥商务英语考试(中级)写作中测试说明的真实性实现方式。研究发现,在语场方面,该测试说明倾向设置真实场景;在语旨方面,该测试说明大量采用第二人称代词;在语式方面,该测试说明使用陈述句祈使句等句式。

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

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

Object-Z规格说明测试用例的自动生成器

对Object-Z形式规格说明构造测试用例的研究,目前主要集中在理论研究阶段,测试用例的自动生成几乎没有相应的工具支持.Object-Z是基于数学和逻辑的语言,并大量使用了模式复合和简写形式,这给计算机提取完整语义用以自动产生测试用例造成了困难.通过展开Object-Z规格说明中的模式定义,改进Object-Z的文法结构,给出了提取Object-Z规格说明语义的方法,研究了从Object-Z规格说明产生测试用例的自动化过程.这一过程主要包含3个阶段:Object-Z语言的自动解析、语义自动抽取和测试用例自动产生.通过介绍的工具原型,可以很容易得到规格说明中的各种语义;基于某些测试准则,能够方便自动产生可视化的抽象测试用例.

布尔规格说明测试中的错误类

在基于规格说明的测试中错误类型之间的关系不仅可以解释一些测试方法的实验结果,而且还可设计出更加有效的测试用例。讨论了几种常见错误类型之间的层次关系,扩充了已知的一些结果。

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

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

基于UML Statecharts的测试用例生成

直接从含有层次和并发结构的UMLstatecharts图产生类的测试用例是比较困难的.提出了一种从UMLstatecharts图产生测试用例的方法:先把UMLstatecharts图转换成FREE(FlattenedRegularExpression)[1]模型图,再以FREE模型图为基础生成类的测试用例.同时,提出了FREE模型的测试覆盖准则,并提出了由FREE模型产生有限的迁移序列的算法.

对逻辑覆盖软件测试准则的公理化评估

由于形式规格说明采用一种精确、一致、容易被机器自动处理的符号系统来描述软件需求,因而形式规格说明为测试用例的自动生成和软件功能的验证提供了基础.在基于形式规格说明的测试过程中逻辑覆盖测试准则是一组常用的测试准则,如何选择和使用其中的每个测试准则是应用这组测试准则时面临的主要问题.因此分析和比较这组测试准则中每个测试准则的性质将为测试工程师选择测试准则提供指导和帮助.对测试充分性准则的公理化评估是一种比较测试准则的方式,这种方式将对理想的测试准则的直觉需求定义为一觳椴馐宰荚蚴欠衤愀米楣砝捶治龊捅冉舷嘤Φ牟馐宰荚?描述了一组理想的逻辑覆盖测试准则应该具有的性质和用来确定一个测试充分性准则是否完全的生成算法.这组性质被形式化地定义为一组公理.利用这种形式化的定义,用定理的形式精确地给出了这些性质之间的关系.最后通过这组公理系统来评估现有的逻辑覆盖测试准则.评估的结果为测试人员在实际过程中选择逻辑覆盖测试准则提供了指导.

TSW2500型500kW发射机控制板原理简介与测试方法

本文对瑞士THALES公司生产的TSW2500型500k W短波发射机控制板原理做了简单说明,并举例说明了控制板的测试方法、列举了部分重要测试数据,且在发射机上经实际测试验证。

基于UML Statecharts面向对象软件的测试框架

直接从含有层次和并发结构的UML statecharts图产生面向对象软件类的测试用例是比较困难的,文中提出了基于UML statecharts图的测试框架:先利用现有的UML工具画出UML statecharts图,并产生XMI(XML metadatainterchange)格式的规格说明文件;然后根据UML statecharts的形式化语义,层次和并发结构被展平,将UML statecharts图的规格说明XML文件转换成FREE(flattened regular expression)模型的规格说明信息;最后根据FREE模型的规格说明信息,按照不同的充分性测试准则,分别产生测试用例集.同时提出了由FREE模型根据全ZOT路径覆盖准则产生有限迁移序列的算法,并且还实现了这个测试框架.

TSW2500型500kW发射机控制板原理简介与测试方法

本文对瑞士THALES公司生产的TSW2500型500KW短波发射机控制板原理做了简单说明，并举例说明了控制板的测试方法、及列举了部分重要测试数据，且在发射机上经实际测试验证。

关于高中物理“教”“学”“考”统一性的思考——布卢姆认知教育目标分类学视野下

应然的教育教学过程需要明确教育目的、遵循教育规律、贯彻教学目标,最终的评价是对教育教学的合目的性、合规律性及目标达成度的考量.要实现由实然向应然状态的转变,参照布卢姆认知教育目标分类学,分析课程标准、学业水平测试说明、学业质量水平层级,找到理论与实践的依据,是一条可行的路径.

领导者性情品位测评

测试说明 1.先审览量表中的各个选项,选择其中三到四个、最多不超过六个你认为正确的选项或适合于你的选项,并在其后的方框内划勾.

蹊跷的生化妊娠

张女士婚后做好了迎接下一代的各种准备，却一直没有动静。在医院做各项检查，结果都正常，医生叫他们耐心点。上个月初，张女士欣喜地在一次晨尿试纸检测中发现，试纸上明显两条杠！而且该来例假也没有来，于是坚信自己怀孕了。可万万没想到是，几天后例假又来了。张女士失望之余更感到蹊跷：测试说明怀孕了，怎么还会来例假？