论文部分内容阅读
本文首先介绍断言验证技术,对断言的特点及使用方法进行详细介绍,然后讲解OVA的语法结构,以及如何在测试平台中加入断言文件,并以交通灯为例,进行断言分析。
断言验证技术在VERA中的应用与研究
【摘 要】
：
本文首先介绍断言验证技术,对断言的特点及使用方法进行详细介绍,然后讲解OVA的语法结构,以及如何在测试平台中加入断言文件,并以交通灯为例,进行断言分析。
【机 构】
：
重庆邮电大学
【出 处】
：
科技资讯
【发表日期】
：
2009年1期
其他文献
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”＄ MN。W;- __._——————》 砧叫]们羽 制作:陈恬’＃陈川个美食
Back to yield
萨丕尔——沃尔夫假说一直是语言学、哲学、心理学、人类学、社会学等一系列人文科学研究中争论的焦点,本文通过对＂萨丕尔——沃尔夫假说＂两个基本观点的概述探讨了语言和思维
试验以SH40、M26两种苹果砧木为试材,研究了缺铁胁迫对根系组织中O2-.(超氧阴离子)含量及SOD(超氧化物歧化酶)、POD(过氧化物酶)活性的影响.结果表明:铁胁迫条件下SH40根系内
学校体育教学是贯彻落实《全民健身条例》的重要工作,高校体育教学面临着新的发展机遇和挑战,在认真学习《全民健身条例》的基础上,结合当前我国高校体育教学的现状,认真总结
随着新闻媒介的发展,信息传达的速度加快,特别是在以网络在载体的＂第四媒体＂的兴起的大环境下,软新闻不仅成为了新兴媒体的主流,更为重要的是社会化的发展,知识经济的条件下,软
对1410上顺槽巷道布置及支护方式进行了探索研究,既考虑降低冲击地压威胁,避免采掘应力叠加,又考虑了掘进速度满足1410工作面开采需要,使1410上顺槽巷道布置方式有了很大的发