程序不变量检测技术研究进展

来源 :电脑知识与技术 | 被引量 : 0次 | 上传用户:bleajd
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
伴随着经济的迅猛发展,软件更新速度日益加快,传统的软件测试方法已不能有效保障软件质量。对软件测试起到重要影响作用的不变量,受到了广泛的关注。经过近二十年的研究,程序不变量检测技术已经在软件开发、软件测试、逆向工程等领域得到了广泛应用。该文对程序不变量检测技术在国内外的研究现状进行了总结。主要论述了较成熟的程序不变量检测工具的工作原理、基于合约的程序不变量检测等各种方法的检测过程、不变量的应用范围,并分析了以上各种检测工具和方法的优缺点,最后,针对已有程序不变量检测技术及应用中待探究的问题进行了展望。
其他文献
通过调查玉林市卫生学校中职护理专业毕业生职业状况,有助于找出学生就业后职业现状中存在的问题,寻找对策,为护理教学提供理论依据,通过教学引导,帮助学生排忧解难,促使学生
在改革开放前,国家力量在农村社会超强发展,对农民的管理从宏观深入到微观的各个层面,农民的各项权益得不到保障,从而进一步扭曲了国家与农民的关系,这构成了我国现阶段“三
论行政不作为违法朱新力行政法学界热切关注行政不作为违法〔1〕始于我国行政诉讼法的颁布。的确,无论是行政责任的认定、司法审查的进行,还是行政违法理论的健全、系统行政法学
土地问题在英属北美殖民地社会的形成和发展中具有十分重要的意义。白人社会在重建时对母国制度既有继承,也有扬弃,这在土地关系的确立过程中得到充分反映;由于土地的开发利用方
新中国成立以来60年的历史,大致以十一届三中全会为界可划分为前后两个30年。两个30年,共同成就了我们的历史,虽然期间有挫折、有失误,但总体而言,共和国60年的历史是光辉灿
用0.10、0.25、0.50 mg.mL-1赤霉素对长白山区的北柴胡、大叶柴胡、狭叶种子进行处理,时间为24 h。北柴胡的种子发芽率为68.0%、74.3%、71.7%;狭叶柴胡种子发芽率为44.7%、54
<正>平时所说的压轴题其实就是数学中考试卷中的最后一题,这道题一般知识覆盖面广、题型新颖、重点突出、综合性较强,有一定的难度,所以被大家称之为压轴题.其实很多学生对这
党的十八大报告强调,要"加强和改进思想政治工作,注重人文关怀和心理疏导"。公务员作为公权行使者的特殊群体,其心理健康不仅仅是个人问题。在世情、国情、党情发生深刻变化
三峡水库蓄水后 ,库水位将在 14 5~ 175m范围内波动 ,动水压力和水的软化作用是滑坡失稳的主要因素。库区滑坡稳定性评价规范要求采用不平衡推力法 ,但在考虑库水位下降产生的
1998年1—5月江西省外经贸企业在努力克服和化解东南亚金融危机的冲击中求发展,外汇指定银行在不断完善内控机制,防范外汇业务经营风险上下功夫,外汇管理部门坚持依法行政,继续强化经常