BAILEY IMDSO14分析嵌入式軟件的特點，綜述傳統(tǒng)的軟件測試方法；針對嵌入式軟件的特點，提出嵌入式軟件的四級測試流程和集成測試的測試模型，并結合開發(fā)數(shù)控系統(tǒng)的實例進行分析。

關鍵字：BAILEY IMDSO14嵌入式；模塊化 　　

嵌入式設計已經成為工業(yè)現(xiàn)代化、智能化的必經之路，嵌入式產品已經深入到各行各業(yè)。嵌入式系統(tǒng)的程度較高，系統(tǒng)的整體繼承性相對較小，為了保證系統(tǒng)的穩(wěn)定性，軟件的測試成為嵌入式開發(fā)的一個重要環(huán)節(jié)。由于嵌入式軟件自身的特點，傳統(tǒng)的軟件測試理論不能直接用于嵌入式軟件的測試，因此，研究嵌入式軟件的測試有重要意義。

１　基本概念簡述

１．１　BAILEY IMDSO14模塊化設計 軟件的設計是以一定的方法為基礎的。面對越來越復雜的軟件開發(fā)任務，人們提出了各種軟件設計的模型。從用戶需求和系統(tǒng)要實現(xiàn)的任務功能出發(fā)，把大型的軟件劃分為相對較小的模塊。為了減少模塊與模塊之間的關聯(lián)性，模塊之間的邏輯結構相對獨立，無函數(shù)的交叉調用，數(shù)據(jù)傳遞由全局變量完成，這就是模塊化設計的基本思想。

BAILEY IMDSO14模塊化設計的核心是模塊的獨立性，主要包括功能獨立性和結構獨立性，這使得軟件開發(fā)的分工易于實現(xiàn)。軟件測試是軟件開發(fā)中的關鍵環(huán)節(jié)，基于模塊化設計的軟件測試模型簡單，查錯和糾錯都易于實現(xiàn)。下面以單鏈路數(shù)據(jù)傳遞的軟件模型說明模塊化軟件設計的軟件測試的基本原則。

函數(shù)Ｆ（Ｘ－Ｙ）定義為軟件模塊Ｘ到軟件模塊Ｙ的接口函數(shù)，用來通過終端顯示由模塊Ｘ進入模塊Ｙ的數(shù)據(jù)。如果模塊Ｃ執(zhí)行后發(fā)生錯誤，則由模塊Ｂ和模塊Ｃ的數(shù)據(jù)接口函數(shù)Ｆ（Ｂ－Ｃ）判斷是否是模塊Ｂ出來的數(shù)據(jù)就是錯誤的。如果Ｆ（Ｂ－Ｃ）不錯，則證明模塊Ｃ存在錯誤；如果Ｆ（Ｂ－Ｃ）傳遞數(shù)據(jù)錯誤，再察看Ｆ（Ａ－Ｂ）傳出的數(shù)據(jù)是否錯誤，如果不錯則證明模塊Ｂ存在錯誤。用此依次前推孤立錯誤的方法，即可以很容易地定位錯誤所在的模塊。這就是模塊化設計時軟件測試的基本原則。

１．２　BAILEY IMDSO14嵌入式系統(tǒng) 嵌入式系統(tǒng)開發(fā)有其自身的特點。一般*行硬件部分的開發(fā)，主要包括形成裸機平臺，根據(jù)需要移植實時操作系統(tǒng)，開發(fā)底層的硬件驅動程序等。硬件平臺測試通過后，應該軟件的開發(fā)調試是基于該硬件平臺進行的，這同時也是對硬件平臺的一個測試。

因此可以說，嵌入式系統(tǒng)的開發(fā)過程是一個軟硬件互相協(xié)調，互相反饋和互相測試的過程。一般來說，在嵌入式系統(tǒng)軟件中，底層驅動程序、操作系統(tǒng)和應用程序的界線是不清晰的，根據(jù)需要甚至混編在一起。這主要是由于嵌入式系統(tǒng)中軟件對硬件的依賴性造成的。

500Kg capacity stainless double cone blender mixer 2.75 HP

Combination Type FWA 41 Vertical and Horizontal Milling Machine Ex Tafe

4“ 4 inch Stainless Steel Vaughan Chopper cutter Pump STHE4R6DS with 15KW Motor

Corken Gas compressor T style triple seal oil free FT691HM3FDENSCN
 
Alfa Laval 3184M milk separator disc centrifuge sn 2861805
 
Heavy Duty De-barker Infeed Log Conveyor suit saw mill

Soundcraft Vienna 2 40ch VCA mixing desk in road case large format analogue

Dual Chamber Dual Burner High Speed Steel Furnace or blacksmiths forge

Semi Muffle Dual Burner Gas Fired Annealing Furnace

Stevco ceramic lined ball grinding mill cooling + media

Papenmeier TGEHK 8 Laboratory or master batch high intensity mixer

Strapack RQ-8 Automatic Box Strapping Machine Strap Pack
 
37KW WEG mining motor 4 pole with Flender 19.84:1 4839 Nm gearbox suit conveyor

Chemgrout Skid mount 3KW electric hydraulic drive high pressure grout pump 1.5"

Tyco Butterfly Valve Model F Series 377 Size 1200 Rating ANSI 150 DN1200 huge

Arburg Allrounder 220S 150-60 injection moulding machine moulder 1996 15 ton
 
3" roots vacuum blower and 20HP vanguard petrol motor ex carpet cleaning truck

FPL FLOTRONIC double diaphragm PUMP 3" stainless flanged teflon

Coherent Innova Sabre SBRC MOTOFRED Laser Power supply unit

Tieman Hydraulic Scissor Lift Platform & Power Pack. Weg Motor Type 112M1181.

Stainless tote tumble mixer blending bins mixing

Robusch RMV21/S liquid ring vacuum pump

70kg capacity 100L vacuum meat tumbler massager marinator Wolf BVRJ-100
 
Combination Vertical and Horizontal Milling Machine Ex Tafe
 
Xylon XRS 233 9" X-ray zoom lens camera Vision System Thales TH 7195-3 TH49426

TYCO DN 150 Class 900 RB Trunnion Ball Valve ASTM A182 F51 duplex SS test cert.
 
Andrex Gulmay DC-HF 225KV high voltage generator X-Ray PSU