运用切片技术和模型检验进行构件接口测试

来源 :电脑知识与技术 | 被引量 : 0次 | 上传用户:suanjava
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
为了达到运用切片技术对构件模型进行状态空间压缩的目的,在构件之间接口的交互关系的基础上,提出了用测试驱动节点和扩展的构件节点建立构件系统的功能依赖图的具体方法和步骤,并通过基于模型检验的接口变异测试方法对三角形问题的Java Bean构件在切片前后的模型分别进行了测试。实验结果表明,该方法能够有效地压缩系统的状态空间,提高测试效率,同时也保证了对构件接口测试的全面性和正确性。
其他文献
文章分析了当前高中化学教学中应用情景创设存在的问题,如:忽视对化学情景的设计、重引情而轻过程及重形式而轻目标,提出情景创设在高中化学教学中应用的具体策略。 The art
对石河水库的溢流坝加固设计进行了系统的研究与分析,溢流坝的水力计算采用了规范推荐公式和数值模拟两种方法,并相互验证,同时对坝体的稳定和应力进行了计算分析,满足加固设计的
职业能力是技校教育的的核心内容。对于学生来讲,既要学习文化基础知识,也要提升专业技能。技校的语文教学作为一门文化基础教学,应该与相关的专业技能相结合,才能发挥其在技校教
介绍了地源热泵技术的起源,通过讲述热响应试验的目的,概括了热响应试验系统组成、测试内容及步骤等,结合工程实例,对其试验结果进行了分析,从而证实了热响应试验在工程中的重要性
传统的主成分分析进行综合评价存在许多不足,因此,提出基于聚类稀疏主成分分析的综合评价方法,使得评价结果更合理和符合实际,并使用该方法分析了上海、武汉、成都三个城市的房地
在统计分析报告的写作中,材料和观点是辩证统一的关系。材料是形成观点的基础,观点是材料的统帅;既要用观点来驾驭材料,又要由材料来支撑观点。一篇好的统计分析报告,必须是既有鲜
本文从作者第一次了解与接触大数据的因由际遇谈起,概要介绍了国内外利用大数据在价格、就业、人口、交通和公共卫生等方面的应用情况;我国政府和政府统计开始关注大数据、利