基于矩阵行列变换的测试用例约简算法

来源 :计算机应用研究 | 被引量 : 0次 | 上传用户:gandianci20
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
针对测试用例约简问题,定义了一种不会改变测试需求与测试用例覆盖关系的布尔运算。应用此运算,辅以不同的测试需求、用例集优先策略,经矩阵的列变换得到精简的测试需求集,然后使用彳于变换对测试用例集进行约简。该方法不受测试用例输入顺序的影响。实验表明,与一些常用的约简算法相比,提出的算法在有序树生成程序测试用例约简的几个实例上都能得到较优的用例集。
其他文献
目前,高新技术企业的研发面临着投入大、周期长、市场风险大等一系列问题,高新技术企业借助高校的科研力量,合作开发新技术、新产品,这一方式不但能充分发挥武汉市的科技资源
SaaS云应用和行业云软件已经可以覆盖企业所有的运营管理和跨价值链整合的数字化需求,加上传统IT解决方案,足够形成一个连接传统IT系统和云化应用的混合云环境,能够打通企业
矩形挖孔桩是地铁车站围护结构,又是主体结构边墙,如何保证桩墙的施工质量和防水要求是施工的关键.文章简述了矩形人工挖孔桩施工程序及对关键技术问题的处理与解决方案,取得
在某些情况下,工业现场的大量多路数据的处理分析工作需要在上位机中集中进行,上位机中的处理软件要能够实时完成通信、数据处理分析、存储及显示等多个任务。针对通过串口每
目的:观察针刺结合推拿治疗神经根型颈椎病的临床疗效。方法:将76例患者随机分为2组。单纯针刺组37例,采用针刺方法(选穴:颈夹脊、大杼、肩井、曲池、外关、后溪)治疗;针推结合组39