【摘 要】
：
针对类簇中类间依赖关系以及类间消息交互产生的错误而导致测试冗余和测试遗漏的问题,提出一种类间依赖集约简的类簇测试用例生成算法。形式化定义了类间继承依赖、聚集依赖
【机 构】
：
长沙理工大学数学与计算科学学院,湖南大学计算机与通信学院
【基金项目】
：
国家自然科学基金资助项目（10871031）, 湖南省科技计划项目（2008CK3075）
论文部分内容阅读
针对类簇中类间依赖关系以及类间消息交互产生的错误而导致测试冗余和测试遗漏的问题,提出一种类间依赖集约简的类簇测试用例生成算法。形式化定义了类间继承依赖、聚集依赖和关联依赖这3种依赖关系,建立类簇测试模型。定义类簇模式和用户（领域专家）解释集,并在用户解释集中依据每一个类对象的若干实例广义相等建立等价类,得出用户解释集幂集的1个子集即匹配划分集。据匹配消去算法求出类的最大匹配集,证明该集合就是所求类的最大非平凡非依赖集;提出一种交互差组合约简算法,计算类的最大非平凡非依赖集的补集,约简得到类的最小交叠集,并
其他文献
根据我单位流量和输水量计算工作的特点,在Microsoft Excel软件的基础上开发的流量计算系统,只需将一日内各时段的水深值分别输入后即可自动生成日输水量,提高了工作效率及计
金在自然界中大都以元素状态散布在岩石层或砂矿中,分布极不均匀,因此金的分析存在不少困难.火法试金是把冶金学的原理和技术应用到分析化学中,使试样的分解和贵金属的富集结
以中性红（NR）作探针，利用光谱法研究钐（Ⅲ）与灿烂甲酚蓝（BCB）形成的配合物Sm（Ⅲ）（BCB）3与鲱鱼精脱氧核糖核酸（DNA）的相互作用。研究结果表明：Sm（Ⅲ）（BCB）3与鲱鱼精DNA结合比n（Sm（Ⅲ）（8CB）3）：n（DNA）=4：1，其
GPS不同的差分技术所获取的点位精度不同,通过合理应用,将带来更加明显的收效。
污水处理是城市环境保护的一个重要问题,污水处理过程是一个涵盖多方面的生化过程。在这个过程中涉及到了许多的机械、电气等设备,同时又受到进水流量以及浓度剧烈波动的影响
从矿山工程的外部防雷、内部防雷等方面讲述了矿山工程的综合防雷措施。
对自行研制的一种锌基合金（可取代HPb59．1黄铜）的挤压型材组织与性能进行研究，并与某厂研制的一种锌基合金进行比较。结果表明：自行研制的锌基合金在挤压温度为350℃，挤压比为17．5和