首页> 中文期刊> 《计算机研究与发展》 >一种检查面向对象程序中数据流异常的方法

一种检查面向对象程序中数据流异常的方法

         

摘要

数据流异常是指程序中与变量使用有关的不合常规的"可疑"情况.仅靠传统的数据流异常检查技术不能发现面向对象程序中与实例变量有关的数据流异常,将方法序列规范与传统的检查技术结合起来,提出了一种能检查对象的实例变量的数据流异常的方法.当类中方法的调用顺序符合该类的方法序列规范时,应用提出的方法能保证发现所有的介于不同方法之间的数据流异常.

著录项

相似文献

  • 中文文献
  • 外文文献
  • 专利
获取原文

客服邮箱:kefu@zhangqiaokeyan.com

京公网安备:11010802029741号 ICP备案号:京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有
  • 客服微信

  • 服务号