论文部分内容阅读
面向对象的软件测试是面向对象软件开发的重要阶段,基于对象状态的软件测试方法是面向对象软件测试中类测试的常用方法。文章通过符号执行技术运行类中的每个操作,区分出对象的所有状态属性及状态区间。根据状态集和状态转换集构造出状态图,从而生成相应的测试用例集
一种基于对象状态的软件测试方法
【摘 要】
：
面向对象的软件测试是面向对象软件开发的重要阶段,基于对象状态的软件测试方法是面向对象软件测试中类测试的常用方法。文章通过符号执行技术运行类中的每个操作,区分出对象的所有状态属性及状态区间。根据状态集和状态转换集构造出状态图,从而生成相应的测试用例集
【机 构】
：
东南大学计算机科学与工程系
【出 处】
：
电脑与信息技术
【发表日期】
：
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）的高阶多点边值问题在共振条件
“五一”期间井冈山门票价格将由每人190元降至150元。国家发改委4月25日宣布：“五一”期间，全国将实行门票价格优惠的景区有1200余家。其中，5A级景区60家，4A级景区约350家，3A级及
以某铝合金薄壁半球壳的产品功能设计、塑性成型制造工艺过程的仿真为对象，通过设计工艺的计算机辅助CAD＼CAE仿真优化，对仿真结果与成熟经验进行综合分析，为产品的设计与制造工艺
《五柳先生传》是陶渊明自撰的小传。在不到两百字的篇幅中，他以精湛的笔墨描写了自己的爱好、生活态度以及性情等。“性嗜酒”，“期在必醉”。后人评价说，这展示了他率直放达的
某航天产品在总装及进箱过程中需要反复对满载状态产品、空载状态产品以及单独发动机进行吊装作业。对三种状态产品吊装工艺方案进行分析论证,管式平衡梁全弹吊装工艺方案可
测井资料在油气钻井工程中的应用正日益拓宽。川西地区砂泥岩互层发育，石英砂岩地层岩性致密，局部含砾岩层，岩性在纵横向上差异较大。同一构造相同地层的不同井机械钻速明显不同
本文围绕着数字逻辑电路功能级器件的教学，就课内课外相结合，提高学生的综合素质，培养学生的创新能力方面，进行了一些有益探索。
CEO源于美国,崛起于全球,它给现代公司治理注入了新的活力.我国也有一些著名的公司先后设置了 CEO,但是在我国,<公司法>及相关法律并没有给 CEO一个明确的定位,本土公司的治
目的 研究HMBA单独或与HMBPA联合作用对MELDSl9细胞的抑制及诱导分化作用．方法 绘制HMBA单独或与HMBPA联合下的MELDS19细胞生长曲线，联苯胺染色法检测其分化百分率，成集落实验检