一种合约构件的测试数据生成方法磁

来源 :计算机与数字工程 | 被引量 : 0次 | 上传用户:albalb
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
针对构件质量受测试数据影响较大的问题,提出了一种合约构件测试数据生成方法。首先,对合约类型进行划分;对简单合约采取等价类划分、边界值选取和取随机值相合的方法,对复杂合约采取复杂合约联立组成线性方程组,利用高斯消元法求解线性方程组,得到相关测试数据;最后,对所有参数采用笛卡尔乘积的形式生成最终测试数据。实践证明,该方法提高构件测试效率,保证构件测试质量。
其他文献
论文结合树形层次目录编码和分段编码编制一种新型树形层次编码压缩算法,实现药品分类编码,满足药品生产经营企业、医疗机构、医保中心、卫生行政及药品监督管理部门的工作需要
建立了任务指派问题的数学模型,采用差异演化算法对其进行求解,给出了差异演化算法求解该问题的具体方案,对不同的任务指派问题算例进行了仿真实验。结果表明,算法可以有效、快速
论文以固体火箭发动机(SRM )包覆结构粘接质量检测为研究内容,针对传统超声检测方法难以检测粘接界面贴合型脱粘问题,提出了基于Hilbert‐Huang变换(HHT)的非线性超声检测方法。通
论文给出了用于评定测量模型中包含复数变量参数的测量不确定度评定方法,该方法基于现行有效的JJF1059.1‐2012《测量不确定度评定与表示》和JJF 1059.2‐2012《用蒙特卡洛法评
D‐S证据理论在信息融合领域有着广泛的应用,但有时在应用过程中会遇到一些与人的逻辑思维不相符的情况,尤其是在证据高度冲突的情况下,针对这一问题论文提出了一种基于向量相似
数据预处理是基于相似性的寿命预测方法的首要步骤,重点研究了变工况下数据预处理的方法。首先研究了其必要性,随后从线性模型和非线性模型的角度研究了多工况健康评估方法。从
目前,复杂场景下的目标跟踪仍然是智能视频监控领域的一个难点问题,论文针对遮挡和目标尺度变化这两种复杂场景,提出了一种改进的Camshift算法,该算法采用分块跟踪来处理遮挡问题
论文针对使用阶段装备装备保障方案的复杂特性,提出装备保障方案综合评价系统的概念,并分析装备保障方案综合评价系统的特征。研究从定性到定量的综合二机车方法在装备保障方案
论文从硬件设备、软件服务、数据资源和任务调度等几个方面对美国海军在开发构建全舰计算环境基础设施过程中标准化的设计方法进行深入分析。通过采用标准化的计算、显示、存
为解决媒体流在网络直播的低延迟与可扩展性,结合P2P的特点,研究了一种基于P2P的自适应网络快速传输模型。该模型首先对网络节点状态进行分类,通过一种位索引机制实现节点状态的