【摘要】：嵌入式系統(tǒng)是計(jì)算機(jī)、通信、自動(dòng)化控制等技術(shù)高度整合而且產(chǎn)生的產(chǎn)物。本文以我院承制的武控計(jì)算機(jī)軟件測(cè)試需求為背景,主要研究武控計(jì)算機(jī)軟件測(cè)試平臺(tái)的研制及武控計(jì)算機(jī)軟件測(cè)試過程中的關(guān)鍵問題。主要有以下5點(diǎn)想法： 第1點(diǎn)：研究分析當(dāng)前通用軟件測(cè)試過程模型的優(yōu)缺點(diǎn),結(jié)合嵌入式武控計(jì)算機(jī)軟件本身的特性,提煉出適用于嵌入式武控計(jì)算機(jī)軟件的測(cè)試過程模型,不但能保證測(cè)試質(zhì)量,而且提高工作效率。 第2點(diǎn)：結(jié)合武控計(jì)算機(jī)軟件自身的特點(diǎn),研究分析了軟件內(nèi)存缺陷測(cè)試的問題,找到嵌入式武控計(jì)算機(jī)軟件內(nèi)存泄漏的出處且分析出原因,提出了解決之法。 第3點(diǎn)：本課題從實(shí)際應(yīng)用出發(fā),使用自動(dòng)化靜態(tài)測(cè)試技術(shù),研究分析了靜態(tài)測(cè)試中使用的各種度量元(包括基本復(fù)雜度、扇入扇出數(shù)、圈復(fù)雜度等)對(duì)于嵌入式軟件的影響,提出如何有效的降低部分重要的軟件靜態(tài)質(zhì)量度元并且提高軟件的質(zhì)量。 第4點(diǎn)：武控計(jì)算機(jī)軟件由兩大部分組成控制邏輯與數(shù)學(xué)模型(包括目標(biāo)攔截排序、目標(biāo)數(shù)據(jù)濾波及目標(biāo)殺傷區(qū)數(shù)學(xué)模型等),如何實(shí)現(xiàn)對(duì)武控計(jì)算機(jī)軟件中數(shù)學(xué)模型的實(shí)現(xiàn)進(jìn)行有效驗(yàn)證,也是此課題的難點(diǎn)之一 第5點(diǎn)：本課題分析了武控計(jì)算機(jī)軟件覆蓋率測(cè)試的需求和難點(diǎn),配置McCabe軟件和硬件測(cè)試環(huán)境,盡可能有效地獲得覆蓋率歷史數(shù)據(jù),實(shí)現(xiàn)嵌入式武控計(jì)算機(jī)軟件覆蓋率測(cè)試自動(dòng)化。
[Abstract]:Embedded system is a highly integrated and produced product of computer, communication, automatic control and other technologies. In this paper, the development of software testing platform for weapon control computer and the key problems in the testing process of weapon control computer software are mainly studied under the background of testing requirements of weapon control computer software developed by our hospital. There are five main ideas as follows: point 1: to study and analyze the advantages and disadvantages of the current general software testing process model, combined with the characteristics of embedded weapon control computer software itself, The test process model suitable for embedded weapon control computer software is extracted, which can not only guarantee the test quality but also improve the work efficiency. Point 2: combining with the characteristics of the software of weapon control computer, this paper studies and analyzes the problem of testing software memory defect, finds out the origin of memory leakage of embedded weapon control computer software and analyzes the reasons, and puts forward the method to solve the problem. Point 3: starting from the practical application, this paper studies and analyzes the influence of various metrics used in static testing (including basic complexity, fan-in-fan-out number, circle complexity, etc.) on embedded software by using automatic static testing technology. This paper puts forward how to effectively reduce the static quality of some important software and improve the quality of the software. Point 4: the weapon control computer software consists of two parts: control logic and mathematical model (including target interception ranking, target data filtering and target killing area mathematical model, etc.). How to effectively verify the realization of mathematical model in weapon control computer software is also one of the difficult points of this subject: this paper analyzes the requirements and difficulties of software coverage testing for weapon control computer. The McCabe software and hardware test environment is configured to obtain the historical data of coverage as effectively as possible and realize the automation of software coverage test of embedded weapon control computer.
【學(xué)位授予單位】：華東理工大學(xué)
【學(xué)位級(jí)別】：碩士
【學(xué)位授予年份】：2013
【分類號(hào)】：TP311.53;TP368.1

【參考文獻(xiàn)】

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

1 張旭;;嵌入式軟件覆蓋率的測(cè)試技術(shù)及評(píng)測(cè)方法研究[J];才智;2008年08期

2 唐科,汪文勇,劉利枚;嵌入式軟件覆蓋測(cè)試的研究[J];成都信息工程學(xué)院學(xué)報(bào);2005年05期

3 錢銀中;白盒測(cè)試和黑盒測(cè)試在動(dòng)態(tài)軟件測(cè)試中的應(yīng)用[J];常州信息職業(yè)技術(shù)學(xué)院學(xué)報(bào);2005年02期

4 郭洋;;基于VxWorks的邏輯覆蓋測(cè)試方法[J];電子質(zhì)量;2007年12期

5 曹曉勇;劉希;;嵌入式軟件覆蓋測(cè)試的研究和應(yīng)用[J];電子質(zhì)量;2009年12期

6 范守文;徐凌翔;;基于數(shù)據(jù)流異常監(jiān)測(cè)的軟件容錯(cuò)糾錯(cuò)方法[J];電子科技大學(xué)學(xué)報(bào);2012年04期

7 鄧緋;王凱;;基于靜態(tài)分析方法的軟件可靠性模型研究[J];長(zhǎng)春大學(xué)學(xué)報(bào);2012年08期

8 袁政江;;淺談軟件靜態(tài)測(cè)試中的代碼審查[J];計(jì)算機(jī)光盤軟件與應(yīng)用;2012年03期

9 朱紅軍;;一種嵌入式軟件覆蓋和分析測(cè)試方法[J];航空計(jì)算技術(shù);2009年05期

10 張麗;基于嵌入式系統(tǒng)的軟件結(jié)構(gòu)覆蓋測(cè)試技術(shù)[J];艦船電子工程;2005年03期

，

本文編號(hào)：2456096