论文部分内容阅读
数据流异常是指程序中与变量使用有关的不合常规的“可凝”情况。仅靠传统的数据流异常检查技术不能发现面向对象程序中与实例变量有关的数据流异常，将方法序列规范与传统的检查技术结合起来，提出了一种能检查对象的实例变量的数据流异常的方法。
一种检查面向对象程序中数据流异常的方法
【摘 要】
：
数据流异常是指程序中与变量使用有关的不合常规的“可凝”情况。仅靠传统的数据流异常检查技术不能发现面向对象程序中与实例变量有关的数据流异常，将方法序列规范与传统的检
【机 构】
：
西安电子科技大学软件工程研究所
【出 处】
：
计算机研究与发展
【发表日期】
：
2000年6期
其他文献
从某实验鸡场购回1周龄SPF雏鸡200羽准备进行试验，饲养1周后爆发疾病，疑似鸡白痢，取病鸡肝脏经过前增菌，鉴别培养，细菌菌落形态观察，染色镜检、生化试验、血清学鉴定及16SrRNA基因
ＧＫＤ－ＥＤＳＴ是一个集成型专家数据库系统开发工具，本文着重介绍该工具的设计思想与实现方法。
首先对椭圆曲线数字签名算法(ECDSA)进行了改进,方法是避免其签名生成和签名验证过程中费时的求逆运算 .然后在此改进的椭圆曲线数字签名算法基础上,设计了一个代理签名体制,
磐安县位于浙江省中部，是浙江省内经济欠发达的山区县，全县面积1196平方公里，人口20．05万人。由于地处山区，全县工业不发达，财政收入较低，对动物防疫工作不够重视，存在较多制约因素。