【摘 要】
：
近年来随着测试的复杂性和重要性不断增加,软件测试技术逐渐成为软件领域研究的热点。符号执行技术是一种重要的形式化和自动化的分析技术,在程序自动化测试中具有重要的应用
论文部分内容阅读
近年来随着测试的复杂性和重要性不断增加,软件测试技术逐渐成为软件领域研究的热点。符号执行技术是一种重要的形式化和自动化的分析技术,在程序自动化测试中具有重要的应用。重点描述运用符号执行技术进行参数化单元测试的实现过程,并选择运用动态符号执行技术实现的参数化单元测试软件Pex进行实验,从而更好地验证符号执行技术在自动化单元测试中的优势。
其他文献
经典的中药活性成分研究方法是通过提取中药中单一成分，再进行药理实验确定其有效成分，这种方法步骤烦琐，劳动强度高，并且成功的概率低。随着现代分子生物学的发展，出现了将色谱分
理论界对货币市场与资本市场间的关系定位及资金在两个市场的流通存在不同看法。本文通过对两个市场的关系及联通方式的探讨，所要表达的观点是：货币市场与资本市场既相互独立，又
大学生自主创业对于缓解就业压力,促进经济发展发挥着重要的作用。但是我国的大学生创业情况由于诸多原因,面临着创业意识不足、创新能力欠缺、创业技能不完备、创业环境不理
西部大开发已成为我国面向21世纪的新经济增长点。如何促进西部大开发，实现区域经济的协调发展是我国政府面临的重要课题。西部大开发最根本的是人才。不解决人才资源问题，开发
现代企业的市场竞争日益多样化,绿色国际竞争力正成为构成企业竞争力的重要因素,赋予了竞争力新的内涵。我国企业的绿色国际竞争力在中国加入WTO后受到更为严峻的挑战。本文
世界技能大赛在52个技能门类中设定的国际标准,代表了职业技能发展的世界先进水平,为技能人才的培养和教学教改指明方向。以餐厅服务项目为例,通过梳理近几年的比赛经验,简要
在经济全球化和金融一体化以前所未有的广度和深度发展的当今世界，经济尤其是金融业的竞争日益激烈，作为金融业主体的商业银行的竞争力问题也受到越来越多的关注。那么，什么是现
在多媒体教学过程中,必须根据教学目标和教学对象的特点,通过教学设计,合理选择和运用现代教学媒体,以多种媒体信息作用于学生,并与传统教学手段有机组合,才能形成合理的教学
<正>读写结合是小学语文教学中一种传统的被广泛应用的教学方式。培养低年级学生的写作能力,读写结合不失为一种有效的手段。我在低年级语文教学中进行了读写结合的尝试,有效
旅游类专业技能大赛是选拔、培养旅游行业技能人才的重要平台,出于"以赛促学、以赛促教"的目的,越来越受到各高校的重视。以陕西工商职业学院出发,在对技能竞赛获奖情况进行