【摘 要】
：
模型驱动架构中模型转换结果正确与否常常难以判断(即测试Oracle问题),而蜕变测试通过验证多个执行结果之间是否满足蜕变关系可以部分地解决测试Oracle问题.为有效地解决模型
【机 构】
：
海军工程大学计算机工程系,武汉430033
【出 处】
：
2015全国理论计算机科学学术年会
论文部分内容阅读
模型驱动架构中模型转换结果正确与否常常难以判断(即测试Oracle问题),而蜕变测试通过验证多个执行结果之间是否满足蜕变关系可以部分地解决测试Oracle问题.为有效地解决模型转换测试中的Oracle问题,以UML到Java模型转换程序为例,应用蜕变测试,依据转换规则,从增加、删除、修改、替换四个方面设计并构造出一组蜕变关系,最后对待测程序植入在实际测试中常见的两种错误,设计并执行测试用例后验证蜕变关系,发现违反了蜕变关系,暴露出程序缺陷,从而说明了蜕变测试的有效性.
其他文献
[目的]为了确定江苏省某养鹅场2007年春季发生传染病的病因。[方法]从发病鹅群采集病料进行流行病学调查、病原分离鉴定、红血球凝集试验和红血球凝集抑制试验,通过交叉HI试
以大岩桐无菌苗为试材，进行增殖培养。经试验筛选出此阶段最适合的培养基，试管苗增殖最佳培养基为：MS＋2.0mg/L BA＋0.62mg/L NAA。实验表明，添加番茄汁抑制了试管苗增殖，添加活性炭抑
用不同浓度矮壮素对生长期的沟叶结缕草进行喷施处理，能有效降低沟叶结缕草的生长，促进分蘖，提高根冠比，增强抗逆性，减少病虫害，降低草坪管理成本，提高草坪观赏价值，效果显著，可用以代
现如今,电子商务已进入高速发展时代,在此背景下,物流创新管理已经成为社会广泛关注的话题。从我国物流发展实际状况来看,物流公司是中小型形势,无论是运营规模还是物流管理
当有新增对象加入到决策表时，已有的属性约简将会发生变化，为保证约简结果的正确性，需对其进行动态更新。差别矩阵算法通常以可区分元素的多少作为属性重要性的依据，每次选择可区
冯友兰宣扬儒家哲学的人格修养,并提出哲学的功用就在于取代宗教,而克尔凯郭尔提倡的是人对宗教的皈依,让人虔诚地信仰和不断地选择.
平顶山工学院（河南城建学院筹）是一所以城建为特色，工科为主，管、经、文共同发展的多科性普通高校。学院现有16个教学（系部）和20个本科专业．26个专科专业．拥有42个实验室和一批能够充分保证实践教学要求的校内外实习基地。学院管理工程系的工程造价专科专业．始建于1995年。该专业2001年被教育部批准为全国高职高专试点专业，
本文分析了市场缺陷对于可持续发展的影响,提出了以可持续发展原则改造与规范市场经济的问题,探讨了改造与规制市场负效应的方法与途径.
一、民营企业融资困难的症结分析 民营企业一般难以通过正常渠道获得银行的贷款，特别是国有银行的贷款。因此，相当一部分民营企业停留在自我积累和零负债投资阶段，不得不开通
由中国图象图形学学会主办,广西师范学院承办的＂第十八届全国图象图形学学术会议＂将于2016年11月11日至13日在广西壮族自治区南宁市举行。会议将邀请国内外著名的图象图形学领