【摘 要】
：
分析了科学计算软件测试和度量的特点并结合程序的性质提出了描述模块之间关系的模块关系图(MRD)模型,然后研究了这一模型在软件自动测试程序生成中的具体应用.在此基础上,对
论文部分内容阅读
分析了科学计算软件测试和度量的特点并结合程序的性质提出了描述模块之间关系的模块关系图(MRD)模型,然后研究了这一模型在软件自动测试程序生成中的具体应用.在此基础上,对回归测试中重测试模块进行了探索,提出了相应的算法.将以上研究思想应用于国家自然科学基金项目"软件可测性设计新概念-软件内建自测试",实践证明,该模型有助于软件自动化测试的进一步研究.
其他文献
随着移动设备的爆炸式增长,传统的无线网络很难适应用户们日益增长的通信需求。近些年的研究表明,云无线接入网络(C-RAN)能够应对成倍增长的数据传输要求,并且能够解决未来通
通过扩充XPDL语言的语义,建立了一种过程模式的描述技术.对XPDL语义的扩充包括定义产品和资源、定义过程模式、实现描述过程模式的模板、实现描述活动的模板和定义实体的图形
张渥,字叔厚,号贞期生,生卒年月不详,主要活动于元后期。他擅长白描人物,师法北宋李公麟,尤以画《九歌图》获得很高声誉。《九歌》是战国时期楚国的伟大诗人屈原作的祭神歌词
介绍了一个数据仓库建模工具DWdesign,给出了DWdesign的基本结构,对DWdesign中若干关键技术进行了研究,包括中间语义层、自定义数据类型、XML和标准SQL支持.该工具已在多个企
【摘 要】初中阶段是学生学习物理的初始阶段，这一阶段的物理教学对学生未来物理学习有着深远影响。教师只有提高学生学习的有效性，才能够切实提高学生物理能力和水平，推进学生全面发展。本文针对初中物理教学中学生有效性学习进行了具体分析，以期为初中物理教学的发展提供参考。 【关键词】初中物理；有效性；学习 【中图分类号】G633.7 【文献标识码】A 【文章编号】2095-3089（2018）31-0
语用身份强调身份的交际性、动态性,其研究焦点多关注于说话人如何动态地建构语用身份从而传达特定的交际意义,并达到维持、巩固、协调人际关系的交际目的,取得特定的交际效果。本文主要运用人际关系管理理论相关策略分析企业道歉声明中企业家所构建的语用身份类型,旨在发掘各种语用身份对交际需求和效果的影响。由于对企业道歉声明的语用身份建构研究较少,因此本研究以收集到的20篇企业危机公关的道歉声明为研究语料,采用定
教师反思，是教师对其教育教学活动进行的理性观察与矫正，从而提高教育教学能力的活动。它是促使教师教育教学参与更为主动、专业发展更为积极的一种手段和工具，是教师改进教学、促进教育教学质量提高的有效途径。如何推进教师反思的实践，提升教师的反思能力，促進教师的专业发展，是我校的重点问题。为解决这一问题，我校开展了教师反思网络平台创建与应用的研究，收到了较好的效果。 一、什么是教师反思日志网络平台？ 教
技法无法决定风格,但影响着风格。绘画作品中,画面的感受也有一部分是由技法体现的。比如说中国画中的不同皴法,它带来的是不容的画面感受,由此成为了风格的一部分。堪培拉技
本次研究中,四川盆地东缘指的是四川盆地以东的广大中上扬子地区,东起四川磨溪,西至湖北宜昌,北至重庆巫山,南至贵州金沙。本论文研究的层位是下寒武统龙王庙组(又称清虚洞组
介绍了一些MPLS故障恢复模型及其存在的问题,提出一个基于快速重路由机制的MPLS故障恢复模型,改进的快速重路由模型能有效地解决流量切换时的报文丢失及失序问题.