- 1、有哪些信誉好的足球投注网站(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。。
- 2、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 3、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
- 4、该文档为VIP文档,如果想要下载,成为VIP会员后,下载免费。
- 5、成为VIP后,下载本文档将扣除1次下载权益。下载后,不支持退款、换文档。如有疑问请联系我们。
- 6、成为VIP后,您将拥有八大权益,权益包括:VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
- 7、VIP文档为合作方或网友上传,每下载1次, 网站将根据用户上传文档的质量评分、类型等,对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
查看更多
wcsd动态检测方法 dynamic wcsd test approach for embedded systems
计算机工程与设计 2012
2012年7月 July
第33卷第?期 COMPUTERENGINEERING.NrDDF—SIGN V01.33No.7
WCSD动态检测方法
李显杰,周宽久,王洁+,崔凯,苏翰
(大连理工大学软件学院,辽宁大连116621)
摘要:嵌入式软件最大堆栈深度(worst-case-stackdepth,WCSD)是指导硬件设计和软件开发的重要指标,然而它的测
量却极其困难。通过详细分析堆栈使用原因及其相互关系,建立多层中断叠加模型并提出一种WCSD动态检测方法,以检
测嵌入式软件堆栈深度上限。同时.基于嵌入式软件全数字仿真平台完成实验以验证该模型和方法的可行性。实验结果表
明,该模型和方法可测得较准确的wCSD结果,有助于在降低内存开铕,保证嵌入式系统的堆栈安全以及提高嵌入式软件
的可靠性。
关键词:嵌入式软件测试;最大堆栈深度(WCSD);中断嵌套;中断状态;多层中新叠加模型
中图法分类号:TP311文献标识号:A 文章编号:1000-7024(2012)07—2607—08
WCSDtest forembedded
Dynamic approach systems
LI Kai,SUHan
Jie+,CUI
Xia—ie,ZHOUKuan-jiu,WANG
(SoftwareSchool,INlianof 116620,China)
UniversityTechnology,Dalian
of
Abstract:Theworst-case-stack embeddedsoftwareisaIl indicatorhardwareandsokware
depth(W(:SD)of important design
difficulttOmeasure.ToobtainanexactWCSDvalue,amulti-tier model
development.However,its interruptsuperposition
andfl test are thefactorsofstack indetailTo their
dynamicapproachproposedthroughanalyzing occupancy verify feasibility,
the
ail isconductedonallembeddedsoftwaresimulation the resultsshowthat
experiment digital experimental
platform.And
moddandthe can amoreaccurateWCSDvalue,andwouldbebeneficialtOreducethetotal costand
approachgive memory
您可能关注的文档
- vanet中基于移动ipv6的快速切换策略研究 fast handover strategy research based on mobile ipv6 in vanet.pdf
- vanet中安全信息的快速可靠广播路由算法 a fast and reliable broadcast routing algorithm for safety related information in vanet.pdf
- vb.net开发上机实验考勤系统 vb.net programming of hands-on practice attendance checking system.pdf
- vc + +中用html页做为界面数据库编程.pdf
- vb学生信息管理系统设计与实现.pdf
- vc++.net图形编程——绘k线图和条形图.pdf
- vc++.net访问数据库,编程实现存取股价数据.pdf
- vc++编程实现基于倒排索引的信息检索.pdf
- vc++2008屏幕键盘程序设计.pdf
- vc++多线程开发技术.pdf
- wcet可预测的java指令集硬件实现 hardware implementation of wcet-predictable java instruction set.pdf
- web服务编排描述语言ws-cdl的形式化模型框架 a formal model framework for web services choreography description language.pdf
- web2.0时代计算机病毒防御策略研究 research on the internet viruses defensive strategy.pdf
- web服务过程建模及其逻辑正确性验证 modeling and logical correctness verification of web service processes.pdf
- web服务可信证据收集与评估机制研究 research on evidence collection and evaluation of web service trustworthiness.pdf
- web服务有哪些信誉好的足球投注网站技术综述 web services search techniques a survey.pdf
- web服务之间数据关联的建模与应用 modeling and application of data-links among web service.pdf
- web服务中支持本体推理的隐私保护研究 research on privacy protection based on ontology in web service.pdf
- web集群远程监控策略 web cluster remote monitoring strategy.pdf
- web服务描述的本体学习方法 ontology learning from web service descriptions.pdf
文档评论(0)