本文選題：嵌入式系統(tǒng)　切入點：動態(tài)測試　出處：《大連理工大學(xué)》2013年碩士論文　論文類型：學(xué)位論文

【摘要】：嵌入式系統(tǒng)的三個基本特征：資源緊湊有限、時間約束嚴(yán)格、成本極度敏感,并且嵌入式軟件本身由于需要處理大量中斷,許多嵌入式軟件性能指標(biāo)(系統(tǒng)吞吐量、任務(wù)處理能力、堆棧深度等)與中斷密切相關(guān),是衡量軟件優(yōu)劣、指導(dǎo)系統(tǒng)設(shè)計的重要依據(jù)。中斷的不確定性和動態(tài)性使得這些動態(tài)性能指標(biāo)測試?yán)щy。 本文圍繞當(dāng)前嵌入式軟件開發(fā)設(shè)計和可信度保障實際問題以及未來技術(shù)需求在嵌入式軟件動態(tài)仿真驗證系統(tǒng)的前期工作基礎(chǔ)上展開：構(gòu)建帶有搶占優(yōu)先權(quán)的中斷排隊模型,采用排隊論方法對嵌入式軟件進行性能評估,通過討論排隊系統(tǒng)穩(wěn)態(tài)時的特點,分析系統(tǒng)吞吐率、中斷丟失率、系統(tǒng)的平均中斷處理時間、中斷處理時間、CPU安全占有率等關(guān)鍵性能指標(biāo),對嵌入式軟件動態(tài)性能進行評價；將遺傳算法、決策樹和狀態(tài)變遷矩陣應(yīng)用到堆棧深度檢測中,從尋求產(chǎn)生最大堆棧深度的軟件執(zhí)行路徑的角度詳細分析堆棧使用原因和中斷類型,建立中斷調(diào)度模型,提出基于遺傳算法的WCSD (Worst Case Stack Depth)動態(tài)檢測方法,以降低最大堆棧深度檢測的誤差；研究更加穩(wěn)定的WCSD檢測方法,分析堆棧在軟件指令區(qū)間的分布情況,構(gòu)建多層中斷疊加模型并基于該模型設(shè)計堆棧動態(tài)檢測方法,以獲得嵌入式軟件堆棧深度上限。 最后,在高性能集群平臺和SPARC仿真技術(shù)上,有效集成上述研究成果,建立全數(shù)字仿真驗證平臺,快速準(zhǔn)確評測嵌入式軟件關(guān)鍵的性能指標(biāo),提高嵌入式軟件的安全性。經(jīng)過實驗驗證可知,上述研究成果具有很好的可信度和可用性以及實用意義。
[Abstract]:The three basic characteristics of embedded system are: limited resources, strict time constraints, extremely sensitive cost, and many embedded software performance indicators (system throughput) due to the need to deal with a large number of interrupts. Task processing ability, stack depth and so on are closely related to interrupt, which is an important basis for evaluating software quality and guiding system design. The uncertainty and dynamics of interrupt make it difficult to test these dynamic performance indexes. On the basis of the previous work of embedded software dynamic simulation verification system, this paper focuses on the actual problems of embedded software development, design and credibility assurance and the future technical requirements. It constructs an interrupt queue model with preemptive priority. The performance of embedded software is evaluated by queueing theory method. The system throughput, interrupt loss rate and average interrupt processing time are analyzed by discussing the characteristics of the steady state of the queueing system. The dynamic performance of embedded software is evaluated by interrupt processing time and CPU security share, and genetic algorithm, decision tree and state transition matrix are applied to stack depth detection. From the point of seeking the software execution path that produces the maximum stack depth, the reasons and types of stacks are analyzed in detail, the interrupt scheduling model is established, and the dynamic detection method of WCSD Worst Case Stack based on genetic algorithm is proposed. In order to reduce the error of maximum stack depth detection, a more stable WCSD detection method is studied, the distribution of stack in the software instruction interval is analyzed, and the stack dynamic detection method is designed based on the multi-layer interrupt superposition model. To get the upper limit of embedded software stack depth. Finally, in the aspect of high performance cluster platform and SPARC simulation technology, the above research results are effectively integrated, the full digital simulation verification platform is established, and the key performance indexes of embedded software are evaluated quickly and accurately. The experimental results show that the above research results have good reliability, usability and practical significance.
【學(xué)位授予單位】：大連理工大學(xué)
【學(xué)位級別】：碩士
【學(xué)位授予年份】：2013
【分類號】：TP311.53;TP368.1

【參考文獻】

相關(guān)期刊論文 前10條

1 王利明,宋振宇,李明,陳渝;一個開放源碼的嵌入式仿真環(huán)境——SkyEye[J];單片機與嵌入式系統(tǒng)應(yīng)用;2003年09期

2 張玢;孟開元;田澤;;嵌入式系統(tǒng)定義探討[J];單片機與嵌入式系統(tǒng)應(yīng)用;2011年01期

3 李偉華，周興社，，楊必用;嵌入式實時控制多任務(wù)軟件的測試設(shè)計與實現(xiàn)[J];航空計算技術(shù);1995年02期

4 張煥國;李晶;潘丹鈴;趙波;;嵌入式系統(tǒng)可信平臺模塊研究[J];計算機研究與發(fā)展;2011年07期

5 劉通平;;棧溢出的動態(tài)檢測技術(shù)[J];計算機科學(xué);2007年09期

6 習(xí)博;方彥軍;;基于排隊論的嵌入式Web系統(tǒng)性能優(yōu)化[J];計算機工程;2007年17期

7 劉蓬俠,曾芷德,李思昆;一個多算法集成的靈活并行測試生成原型系統(tǒng)[J];計算機工程與科學(xué);2001年05期

8 牛云;謝拴勤;戴冠中;梁亞琳;;基于排隊論和時間需求分析法的實時系統(tǒng)時間行為分析[J];計算機應(yīng)用研究;2007年12期

9 李苗在;;基于證據(jù)推理的嵌入式軟件可信性評估方法[J];計算機應(yīng)用研究;2011年12期

10 張西超;郭向英;;一種用于分析MCS-51目標(biāo)碼堆棧深度的方法[J];空間控制技術(shù)與應(yīng)用;2010年02期

相關(guān)碩士學(xué)位論文 前1條

1 梁婕;一種靜態(tài)代碼安全分析系統(tǒng)的設(shè)計與實現(xiàn)[D];北京郵電大學(xué);2008年

本文編號：1604076