利用体系结构的建模方法支持测试设计的重用

来源 :华中科技大学学报:自然科学版 | 被引量 : 0次 | 上传用户:qiaomy
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
将体系结构的建模方法应用于测试设计,测试设计和软件设计自上至下同步进行.利用基于体系结构的建模方法将软件设计规范和测试设计规范紧密结合,形成统一的模型描述框架,从而构建层次化的测试设计模型,同时给出了测试用例之间关系的精确定义.结论是:基于体系结构的建模方法能够大大提高软件开发过程中各工作产品的可测试性和测试用例的可维护性,能够有效地支持测试设计的重用.
其他文献
研制了一种基于BP神经网络和隐马尔可夫模型(HMM)的混合声学模型,BP神经网络的主要功能是把失真语音特征矢量转换成纯净语音特征矢量,而HMM则对转换后的纯净语音特征矢量进行
分析基于Marr算子的标定算法存在易受环境光及噪声影响、精度不够高的不足 ,根据计算机视觉标定的目标要求 ,通过动态阈值分割、边缘提取、轮廓跟踪和两步法标定算法等处理策略 ,克服了传统标定算法的缺点 ,并实现了计算机视觉摄像机标定的整个过程自动化 .实验结果证明 ,该标定算法鲁棒性强 ,操作简便 ,抗噪声、抗环境光性能好 ,标定精度高而且稳定
在分析工程施工索赔决策的过程、特点以及决策支持的需求、现有问题求解方法不足的基础上 ,提出了综合超文本技术与通用问题求解系统的问题求解方法 ,研究了该方法应用于索赔问题求解的工作机理 ,具体探讨了其信息模型和操作规则 ,并给出应用实例
为深入贯彻全国人才工作会议精神,人事部、科技部、教育部、财政部、国家发展和改革委员会、国家自然科学基金委员会、中国科学技术协会等七部委下发了《关于批准首批新世纪
期刊
提出了光固化快速成形中一种新的工艺支撑形式--柱形支撑及其自动生成算法.其算法思想为:在零件的包容立方体内确定支撑生成点的布点规则以后,对于零件的每个三角面片,求出与
提出在位置相关连续查询(LDOQ)中保证满足误差限制的选择区域更新策略。通过给予不同区域内固定大小的偏差限来减少移动对象的更新次数和对计算容量的占用;同时通过延迟广播来
对两种不同负荷条件时给定尾水管非均匀进口速度条件,进行了内流计算流体动力(CFD)分析,采用定常流动计算方法对同一问题进行了对比,给出了两种工况条件下,各主要特征截面上
提出基于线性星座预编码(LCP预编码)的VBLAST-OFDM系统,该系统通过在OFDM子载波信道间进行LCP预编码来获得频率分集增益,适用于宽带无线通信。同时提出一种VBLAST-LCP联合解码
提出一种给予重连接用户以较高优先级的无线接入控制算法,给出一次重连接阻塞率与二次重连接阻塞率两个新的无线QoS指标.仿真结果表明,重连接情况会给网络的性能带来很大的影响,