【摘 要】
:
分析了面向对象软件测试的特点,重点讨论了类的不变式、前置条件和后置条件对测试的影响。提出了软件内建自测试的解决方案,并举例说明了观察型测试点的插装过程。
【机 构】
:
西安空军工程大学工程学院,空军装备软件测评中心
论文部分内容阅读
分析了面向对象软件测试的特点,重点讨论了类的不变式、前置条件和后置条件对测试的影响。提出了软件内建自测试的解决方案,并举例说明了观察型测试点的插装过程。
其他文献
以钢铁盐酸酸洗废液为原料,催化氧化制备聚合氯化铁(PFC).考察了聚合氯化铁稳定性的影响因素,并采用Ferron逐时络合比色法考察了制备温度、HCl/Fe的质量比、P/Fe的摩尔比、熟化
在检定、校准中,经常都要遇到测量结果的重复性和测量仪器的重复性。特别是在JJF1033—2008《计量标准考核规范》中,要求填写测量仪器的重复性,这时往往将测量仪器的重复性同测
政府与企业的协作配合是解决环境污染问题的关键。构建包含地方政府和企业的两阶段完美信息动态博弈模型,分析政府和企业在环保税实施过程中的均衡策略,并应用系统动力学工具
台湾每个现代派诗人都有独特的追求,风格千姿百态。倡导“纯诗”的纪弦,诗却都源于现实人生,常用平淡明朗的语言传达情思,充满激情和高度私人化的象征;郑愁予善于把握浪子意
随着中国城市化进程的加快,出现了一批城中村。衡水市作为正在发展中的中小城市,进入21世纪以来,城市面貌发生了很大的变化。笔者通过调查,发现在城中村改造过程中存在一些问
<正>过氧化钠的强氧化性实验是我们根据高中教材必修1中关于过氧化钠是钠的重要化合物,具有极强的氧化性这一知识设计的。同时还借助在这一反应中产生的高温来完成初中化学中
伴随着探究式教学方法的实施,高校教学质量的评价标准发生了新的变化,建立符合探究式教学理念的教学评估运行机制,才能进一步推动教学质量提高。本文探讨了构建探究式教学课
苹果酸是植物体内参与C4循环、景天酸循环等众多代谢途径的关键代谢物。苹果酸含量提高的途径主要来自植物体内合成的提高。苹果酸脱氢酶(MDH)可引起草酰乙酸盐的氧化作用以
<正>一、仪器和药品仪器:铁架台,酒精灯,试管,火柴,玻璃管。药品:2%AgNO3溶液,2%氨水,乙醛,蒸馏水。二、实验装置实验装置如附图所示。A-具支试管,盛少量水,加热时产生水蒸气
目的探讨山楂对高脂血症小鼠模型血脂代谢及降脂酶的影响。方法取180只小鼠随机分为空白对照组、辛伐他汀对照组、高脂模型组、山楂高、中、低剂量组。除了空白对照组的小鼠