论文部分内容阅读
面向对象的软件测试是面向对象软件开发的重要阶段,基于对象状态的软件测试方法是面向对象软件测试中类测试的常用方法。文章通过符号执行技术运行类中的每个操作,区分出对象的所有状态属性及状态区间。根据状态集和状态转换集构造出状态图,从而生成相应的测试用例集
一种基于对象状态的软件测试方法
【摘 要】
：
面向对象的软件测试是面向对象软件开发的重要阶段,基于对象状态的软件测试方法是面向对象软件测试中类测试的常用方法。文章通过符号执行技术运行类中的每个操作,区分出对象的所有状态属性及状态区间。根据状态集和状态转换集构造出状态图,从而生成相应的测试用例集
【机 构】
：
东南大学计算机科学与工程系
【出 处】
：
电脑与信息技术
【发表日期】
：
2005年02期
其他文献
近年来随着气象科学技术的不断提高,台风预报的工具和资料也更加齐全。本文从常规气象预报的角度结合日常预报经验对台风资料的可靠性、台风定位、台风登陆点、台风影响的辨
利用叠合度理论,研究了n阶非线性常微分方程x^（n）（t）=f（t,x（t）,x＇（t）,…,x^（n-1）（t））＋e（t）,a.e.t∈（0,1）满足m点边界条件x^（i）（0）=0,i=1,2,…,n-1,x（1）=∑i=1^m-2 αix（ξi）的高阶多点边值问题在共振条件
以某铝合金薄壁半球壳的产品功能设计、塑性成型制造工艺过程的仿真为对象，通过设计工艺的计算机辅助CAD＼CAE仿真优化，对仿真结果与成熟经验进行综合分析，为产品的设计与制造工艺
《五柳先生传》是陶渊明自撰的小传。在不到两百字的篇幅中，他以精湛的笔墨描写了自己的爱好、生活态度以及性情等。“性嗜酒”，“期在必醉”。后人评价说，这展示了他率直放达的
某航天产品在总装及进箱过程中需要反复对满载状态产品、空载状态产品以及单独发动机进行吊装作业。对三种状态产品吊装工艺方案进行分析论证,管式平衡梁全弹吊装工艺方案可
CEO源于美国,崛起于全球,它给现代公司治理注入了新的活力.我国也有一些著名的公司先后设置了 CEO,但是在我国,<公司法>及相关法律并没有给 CEO一个明确的定位,本土公司的治
目的 研究HMBA单独或与HMBPA联合作用对MELDSl9细胞的抑制及诱导分化作用．方法 绘制HMBA单独或与HMBPA联合下的MELDS19细胞生长曲线，联苯胺染色法检测其分化百分率，成集落实验检