【摘 要】
：
嵌入式系统在生活、工业以及军事等领域的应用日益增多,嵌入式软件的可靠性要求也越来越高.设计一套嵌入式系统的测试工具,全面深入地对嵌入式系统可靠性进行检测对系统可靠
【机 构】
：
电子科技大学信息与软件工程学院,成都,610054美国加州大学洛杉矶分校电子工程系,加利福尼亚州洛杉矶90034;
论文部分内容阅读
嵌入式系统在生活、工业以及军事等领域的应用日益增多,嵌入式软件的可靠性要求也越来越高.设计一套嵌入式系统的测试工具,全面深入地对嵌入式系统可靠性进行检测对系统可靠性的提高具有极其重要的意义.设计的工具Codecomb通过采用客户端和服务器端架构实现被测软件与测试工具的分离,将复杂的测试计算转移到服务器上,同时分离的测试架构可以更好的适用于不同嵌入式平台软件的测试.采用动态符号执行技术生成测试案例可以实现较高的分支覆盖度,进而针对程序的缺陷检查也会更加全面和深入,能够发现程序中隐藏较深的错误.实验结果表明,本文所设计的工具能够实现软件缺陷的自动化判定,并对程序运行过程中的缓冲区溢出、内存泄漏等错误准确地进行定位.
其他文献
通过分析现有电子文件保护技术的不足,引入了数字标签技术。针对数字标签与电子文件绑定过程中存在的安全问题,提出引入数字水印技术作为传统密码学技术的补充,将数字标签数据作为水印信息均匀地嵌入整个电子文件,使得数字标签数据成为电子文件的内在属性,实现标签数据与电子文件不可剥离的紧密绑定,从而增强了数字标签与电子文件绑定关系的安全性和可靠性。
随着互联网技术的快速发展,我国进入了大数据时代.与此同时,人们逐渐掌握了从数据中分析出具有一定价值信息的技能,这就意味着大数据会改变人们的生活方式.所以本文先概述了
南澳处于闽、粤、台三省交界海面，距西太平洋国际主航线仅7海里，是广东唯一的海岛县，也是全国14个海岛县（区）中唯一的国家4A级旅游区，由南澳岛及周边22个岛屿组成。南澳岛生态环境
随着科学技术的发展,智能学习桌出现在人们的视野,其具有强大的功能.最显著的特点就是有更加舒适的体验,可以满足不同的需求,给工作学习提供极大的方便.文章先介绍工作原理,
内存空间紧张下频繁的外存交换严重影响程序的运行性能,在内存过载时提高内存利用率和减少外存交换问题上,现有的研究主要集中在内存压缩和去重两个方面,压缩只能删除页内重
黄鳝隶属于合鳃目、合鳃科,是我国特色淡水名优品种,广泛分布在我国的长江流域、珠江和黑龙江水系的江河、湖泊、池塘、沟渠和稻田中.国内以湖北、安徽、江西、江苏、浙江、
随着我国社会主义市场经济体制的进一步完善,我国非公有制企业不断成长壮大,这无疑为我国社会主义市场经济的发展注入了新的生机与活力。但是陆续开业投产的非公有制企业的
随着信息技术日臻渗透到职工教育领域,其正逐步改变着职工教育的思想与教学过程。在信息化背景下,职工培训工作也应面向信息社会的需要,采取先进的信息技术设备和手段,不断革
Squid是Linux平台下流行的高性能应用层代理服务器软件,常用于搭建代理服务器或者网页服务器的前置缓存服务器。文中主要介绍了在Linux系统下使用Squid建立代理服务器,通过缓存、访问控制等机制来实现高效、安全、低成本的代理服务。在此基础上,结合企业具体情况,研究实现了多级架构、双机互备、访问日志分析等功能。最后对代理加速、反向代理在企业的应用实现进行了展望。
针对疑似区域内的乳腺微钙化簇和正常乳腺组织特征的多源性这个一直被忽略的问题,提出基于分组特征多核支持向量机(GF-SVM)的乳腺微钙化簇检测。特征被分组后针对不同源特征分别使用不同的核函数映射,组合成多核SVM。将多核SVM转化为半定规划问题,求解多核SVM的核函数权值系数。在训练样本的选择方面采用主动反馈学习方法最终得到稳定的样本模型。实验结果表明,与传统的基于单核SVM相比,该方法具有更好的检