基于合约状态检查的构件易测试研究

来源 :现代电子技术 | 被引量 : 0次 | 上传用户:liyang0ly
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
随着软件规模日趋复杂,软件质量问题日趋突出。构件复用提高了开发效率,构件测试保证了构件质量。针对目前缺乏成熟构件测试技术的现状,提出了基于合约状态检查的构件易测试方法。将Bertrand Meyer的合约概念引入到构件设计开发测试过程中,考虑构件易测试性,从构件开发者和复用者的角度分析构件及构件的测试,违反构件合约时抛出异常信息,快速定位异常位置。在一定程度上保证构件质量,缩短开发周期,提高测试效率。
其他文献
在圈养条件下,大熊猫生活空间有限,环境单一,经常出现异常行为。为探究提高大熊猫活动空间的复杂性对大熊猫行为的影响,本研究以竹制屏障分割大熊猫运动场,观察大熊猫在丰容
为了进一步了解赤狐(Vulpes vulpes)不同季节生境选择机制,制定合理的保护管理措施,于2013—2014年,在黑龙江三江国家级自然保护区利用样方法对其4个季节的生境选择进行比较
相对于nVIDIA的雷管驱动程序中隐藏的超频选项来说,ATi的催化剂驱动程序没有给用户提供任何超额选项。为此,笔者不得不提及ATitool这款超频工具(图1)。
2017年6月至2019年10月,采用夹日法、红外相机法、网捕法、样线法等对贵州碧江国家湿地公园的兽类进行了调查,并通过查阅文献记录和馆藏标本,确认贵州碧江国家湿地公园现有兽
公安信息网是警务信息化工作的技术支撑,为了达到准确合理评估公安信息网稳定运行的风险度,需要对组成网络的各节点重要度进行评估分析。总结了在复杂网络环境下网络节点重要度
跨界水资源系统是一种耗散结构,而且跨界水资源系统的演化规律具有不确定性,因此跨界水资源系统也是一个模糊的灰色系统。因此,在耗散结构理论和灰色系统理论的基础上,运用已有的
一场别具特色的防护服联合发布会以及中式魅力时装秀在鸭绿江畔拉开帷幕虎山巍巍、绿水悠悠。位于我国海岸线最东端的辽宁丹东,在历史上就是一座轻纺名城,柞蚕丝享誉国内外。
基于DDS理论,设计并实现了多模式雷达信号源。可以灵活产生LFM、NLFM、单频、相位编码等多种脉冲信号波形,能有效验证脉冲压缩与信号处理单元的工作性能。测试结果满足系统要求