一种面向对象类级状态测试的形式化方法研究

来源 :海军工程大学学报 | 被引量 : 0次 | 上传用户:wcjlb
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
面向对象的软件开发给测试带来了新的挑战,传统的测试技术不能直接用于面向对象的软件测试中,必须对其进行扩充和完善.类级测试是面向对象测试过程中的一个重要阶段,而类状态的测试是类级测试的核心.作者将扩充后的黑盒测试技术应用到类状态的测试过程中,可直接使用方法级的测试数据有效测试类中方法间的交互及其类状态的变化.最后,通过一个实例说明对类级状态的测试及其测试用例的生成.
其他文献
以自制的3,5-二氨基-1,2,4-三唑为原料,经反应后依次获得3,5-二硝基-1,2,4-三唑及3,5-二硝基-1,2,4-三唑钾盐(DNTK),用IR、1HNMR、13CNMR及元素分析等手段对其进行了表征,培
目的分析糖尿病合并急性阑尾炎患者的临床治疗方法及其治疗效果。方法2010年1月—2017年2月,于该院收治的糖尿病合并急性阑尾炎患者中选取90例,随机将其分为两组,传统开腹阑
学术期刊中的附加数据是进行数据分析和文本挖掘的重要依据,具有的分散性、多样性和时效性的特点,难以管理和维护,文章将这类数据称HotData。HotDataSpider以生物医学类文献
公共场景监控下的人群密度估计是公共安全管理中的一个重要内容。针对大场景监控情况,研究了一种基于区域划分的智能化人群密度估计快速方法。在帧差提取出的彩色视频背景的基础上,按视觉比例将大场景分成子区域,然后对某个子区域采用像素统计的方法实现人群密度估计,其余子区域采用自适应比例的方法实现人群密度快速估计。实验结果表明该方法在实际应用中简单、有效、快速,能为公共场所的预警系统提供有力的帮助。
论文介绍一种新型的智能控制加温系统。该系统硬件上以MCS-51系列STC89C52芯片为核心,利用Pt100电阻结合桥式电路和仪用放大电路对温度进行高精度感知作为系统输入信息,加温
针对图书馆数字资源种类众多、应用系统各异、内容交叉重复、知识关联度低、信息数据格式和存储方式多样化、检索语言、检索方法差异性较大、用户利用数字资源不便的现状,结合