论文部分内容阅读
数据流异常是指程序中与变量使用有关的不合常规的“可凝”情况。仅靠传统的数据流异常检查技术不能发现面向对象程序中与实例变量有关的数据流异常，将方法序列规范与传统的检查技术结合起来，提出了一种能检查对象的实例变量的数据流异常的方法。
一种检查面向对象程序中数据流异常的方法
【摘 要】
：
数据流异常是指程序中与变量使用有关的不合常规的“可凝”情况。仅靠传统的数据流异常检查技术不能发现面向对象程序中与实例变量有关的数据流异常，将方法序列规范与传统的检
【机 构】
：
西安电子科技大学软件工程研究所
【出 处】
：
计算机研究与发展
【发表日期】
：
2000年6期
其他文献
目的 探讨前列腺电切模拟机在泌尿外科教学的应用研究,为临床教学提供科学依据。方法 选取2015年12月—2016年12月在该院泌尿科实习的36名学生为研究对象,随机分为对照组和观
从某实验鸡场购回1周龄SPF雏鸡200羽准备进行试验，饲养1周后爆发疾病，疑似鸡白痢，取病鸡肝脏经过前增菌，鉴别培养，细菌菌落形态观察，染色镜检、生化试验、血清学鉴定及16SrRNA基因
在药理学教学过程中应用器官系统整合教学理念组织教学可显著提高学生的学习兴趣,培养学生临床思维能力,同时对教师教学研究能力的提高也大有裨益。该文从器官系统整合教学法
为了解钦州市临床健康猪群中猪链球菌2型的流行情况，采用PCR方法对采集的病料进行检测分析。374份样品的PCR检测结果显示，链球菌、猪链球菌、猪链球菌2型的带菌率分别为81．8％、48
ＧＫＤ－ＥＤＳＴ是一个集成型专家数据库系统开发工具，本文着重介绍该工具的设计思想与实现方法。
首先对椭圆曲线数字签名算法(ECDSA)进行了改进,方法是避免其签名生成和签名验证过程中费时的求逆运算 .然后在此改进的椭圆曲线数字签名算法基础上,设计了一个代理签名体制,
磐安县位于浙江省中部，是浙江省内经济欠发达的山区县，全县面积1196平方公里，人口20．05万人。由于地处山区，全县工业不发达，财政收入较低，对动物防疫工作不够重视，存在较多制约因素。
软件复用的一个主要任务是可复用软件构件的表示与检索. 由于一阶逻辑能够描述软件构件的计算语义,因此用一阶逻辑表示构件及用基于归结原理的自动定理证明技术检索构件的研