【摘 要】
：
目前面向对象软件测试技术还比较薄弱,该文提出用着色Petri网对面向对象软件中的类进行测试,给出了详细地实现方案。根据着色Petri网与面向对象概念之间的关系,将面向对象的
【机 构】
：
中国石油大学(华东)计算机与通信工程学院,东营,257061
论文部分内容阅读
目前面向对象软件测试技术还比较薄弱,该文提出用着色Petri网对面向对象软件中的类进行测试,给出了详细地实现方案。根据着色Petri网与面向对象概念之间的关系,将面向对象的概念映射到着色Petri网中,利用着色Petri网的理论分析方法,生成测试用例,对软件进行测试。研究表明,利用着色Petri网对软件进行测试是有效的。
其他文献
目的 探讨MDR1 基因对骨髓细胞的抗癌药物毒性防护作用,寻找防治抗癌药物所致骨髓抑制的有效措施.方法 以小鼠骨髓细胞为靶细胞,通过脂质体介导,采用MDR1 表达质粒PHAMDR1/A,
科學名詞爲科學教學與研究之基礎工具,而中國科學名詞每一名數譯,雜亂非凡,不但各人譯法不同,即一人所譯,前後亦每不相同。中學教科書中甚至有上下頁之隔,所用名詞迥異者,循
数据挖掘是从大规模的数据中抽取出非平凡的、隐含的、未知的、有潜在使用价值的信息的技术,利用各种分析工具在海量数据中发现模型和数据间关系的过程,这些模型和关系可以用
随着对系统稳定性和高效性要求的提高,数据库连接池在项目开发中变得越来越重要。本文介绍了IVR的工作模式,比较了传统的工作模式与数据库连接池的差别,阐述了PRO*C/C++的工
油田生产常常利用计算机仿真技术模拟先进采油工艺的实施过程,但不同油井的客观环境存在较大差异,迫切需要寻找一种灵活多变的仿真方法。通过对现有Bezier曲线生成算法的比较
随着Internet的广泛应用,国内校园都普遍搭建了校园网,在此基础上开发基于Web的教学信息发布系统,最大限度利用网络资源,对提高管理效率有着重要的现实意义。本文提出了一种
温度是表征物体冷热程度的物理量。本文简要介绍了采用由AT89C51单片机及温度传感器组成数据采集电路,加上显示电路和控制电路等,根据温度数据测量,通过控制电路对温度进行控
本文综述了Internet上关于多媒体传输控制技术的原理和方法,分析了拥塞产生的原因,着重从拥塞控制和错误控制两方面分析确保媒体质量的控制方法,最后指出网络服务质量的提高
罗马尼亚人同我们中国人一样,有名有姓.不同的是,他们通常把姓放在后,名放在前.如尼古拉·齐奥塞斯库,尼古拉是名,齐奥塞斯库是姓. 在远古时代,罗马尼亚人只有名,没有姓.家
目的:探讨孕早期体内铁代谢水平是否与妊娠期糖尿病（GDM）和巨大儿有关。方法:纳入2018年11月至2019年8月在北京儿童医院顺义妇儿医院建档产检的378例孕早期孕妇，首次产检时（孕12