【摘 要】
：
构件复用是提高软件开发效率的有效途径，构件测试是保证构件质量的重要手段。针对目前构件测试的现状，对构件测试进行了深入研究，提出了一种合约检查的构件测试方法，将Bertrand M
【机 构】
：
陕西职业技术学院计算机科学系,西安通信学院信息服务系
【基金项目】
：
国家自然科学基金(编号:61272284);陕西省教育厅自然科学专项(编号:2013JK1202)资助
论文部分内容阅读
构件复用是提高软件开发效率的有效途径，构件测试是保证构件质量的重要手段。针对目前构件测试的现状，对构件测试进行了深入研究，提出了一种合约检查的构件测试方法，将Bertrand Meyer的合约概念引入到构件设计开发测试过程中，从构件开发者和复用者的角度分析构件及构件的测试，违反构件合约时抛出异常信息，快速定位异常位置，提高软件开发的效率。
其他文献
依照国家职业分类标准以及对学生就业所需的相关职业资格证书的要求及时调整课程体系与教学内容,把与职业资格证书相关的知识内容和技能要求纳入教学计划之中,使证书考试大纲
随着时代发展,我国公路建设工作逐渐发展起来,并在近几年过程中得到了广泛发展,而安全问题依然是其中的核心问题,除了人为疏忽之外,公路设计不合理也是导致交通安全问题频发
1999年1月，美国《金融业服务现代化法案》正式签署生效，全球金融业走混业经营的道路是发展的主要趋势，从而使得我国金融业面临着新的挑战与选择。我国商业银行目前尚不具备混业
沪深两所成立后,中国股票市场的成长是一种政府推动模式.在这一模式下,中国股市经过十余年的发展后在规模上迅速扩大,但同时也积累了许多深层次矛盾,导致市场效率低下.当前的
笔者于1995年-2010年采用天灸疗法治疗面瘫56例，现报道如下：
任何一项工程建筑施工从开始到竣工都不是一朝一夕能够完成的,中间有非常多的施工环节和细节,所以需要建筑工程施工造价对其进行整体的规划,将施工投入控制到最低,从而减少建
11月10日,国家禁毒委召开代号“902”的“深入推进打击芬太尼类物质等新型毒品专项行动”视频会议。国家禁毒委副主任、公安部党委委员、副部长杜航伟出席会议并讲话。他强调
为了实现素质教育目标,教师要注重将传统文化引入小学语文阅读课堂中,让学生在了解传统文化的基础之上,接受传统文化的熏陶。文章将主要探讨如何在小学语文阅读课堂中渗透传
农业气象灾害是指对农作物生长发育造成一定损害,从而使农作物减产,品质下降的气象条件,近些年来,在全球变暖的大背景下,导致一些极端灾害性天气事件频发,气象灾害给农业生产
当前,大学生成材教育的重要性已为人们所重视,但其实效性却不容乐观.妨碍大学生成材的关键因素是其非智力素质.只有完善其非智力素质,成材教育才能达到预期目的,其实效性才能