论文部分内容阅读
阐述了面向对象软件测试中对象状态测试的重要性，提出了对象状态测试模型，介绍了从Ｃ＋＋源程序构造模型的方法，最后给出了基于ＯＳＤ的面向对象状态测试的测试策略，测试标准和测试用例的生成方法。
对象状态测试
【摘 要】
：
阐述了面向对象软件测试中对象状态测试的重要性，提出了对象状态测试模型，介绍了从Ｃ＋＋源程序构造模型的方法，最后给出了基于ＯＳＤ的面向对象状态测试的测试策略，测试标准和测试用例的生成
【机 构】
：
北京航空航天大学计算机科学与工程系
【出 处】
：
北京航空航天大学学报
【发表日期】
：
1997年1期
其他文献
一、教学价值分析《秦兵马俑》是四年级的一篇略读课文。本单元的训练重点是想象课文描写的情景，留心文章表达的方法。本课从规模宏大、个性鲜明两方面介绍兵马俑。文中既有说
所讨论的动态系统的容错技术包括故障检测、故障定位和系统重构技术。文中研究了基于数学模型的容错技术，讨论了因数学模型不准而引起的故障检测和定位不鲁棒的问题，提出了若干
本文针对热和振动复合环境对人体的影响特点，建立了该复合环境中二维人体热调节系统的数学模型。采用数值方法对人体热调节系统数学模型进行求解，计算了不同热和振动复合环境条
针对自然科学基金管理科学项目的特点，对其研究成果的评价原则，方法进行探讨，并设计了将基金项目研究成果划分为三种类型给予不同权重的成果评价指标体系。
基于复数旋转码已有的研究结果,本文集中讨论了有关码字的一般性能,这些性能包括码重分布、覆盖半径、超限译码能力、检纠突发错误能力、检纠突发错误同时纠随机错能力。证明
本文首先把识别质点与结构撞击载荷的时序法应用于分析结构弹性碰撞的瞬间响应，并且针对质眯和杆、杆和杆的刚性（不考虑接触变形）撞击问题，用时序法得到了与波动解完全相同的结果
本文讨论了二维人口算子A+B的谱特性,以及由它生成的C_0-半群的性质,导出了相应的积分微分方程组的解及其渐近性质。
研究一种用于近程弹道式地－地弹的导引法，它是借用空－空弹常值目标方位角导引法的概念，把它改变成按弹道设计需要而变化的目标方位角导引法，去攻击地面固定目标，它有减小气动阻力，提
《语文课程标准》提出：“语文课程应培育学生热爱祖国语文的思想感情，指导学生正确地理解和运用祖国语文。”这里的“理解”和“运用”是两个密切联系、有机统一的概念。我们教
叙述了软件标准符合性测试方法，提供了断言类型判定，测试级别，测试套集，测试工具等关键技术的解决方案，对软件标准测试，软件质量保证均有一定的指导作用。