【導讀】本文首先介紹了Atmel-View框架以及菜單系統(tǒng)UI在其中所將扮演的角色、與各個功能模塊間的關(guān)系。其次講解了Atmel-View內(nèi)存映射窗口結(jié)合OSD應用的UI設(shè)計思想，涉及了多圖層表現(xiàn)的想法，硬件OSD與偽OSD的比較使用。然后詳細闡述了基于Atmel-View的菜單系統(tǒng)方案和框架結(jié)構(gòu)，針對最重要的MenuMode菜單構(gòu)建函數(shù)分析其數(shù)據(jù)抽象、界面繪制和事件響應處理過程。其后介紹NucleusPlus，給出進程通信、進程同步在菜單系統(tǒng)中支持藍牙模塊的應用方法。本方案的實現(xiàn)提供了一套層次化、結(jié)構(gòu)化、可擴展的電子相框菜單系統(tǒng)，并有效支持了藍牙模塊的應用。測試不可能遍歷所有可能出現(xiàn)的情況，必須在適當?shù)臅r候終止測試。純手工地進行軟件測試往往是費時費力的，而且測試人員容易因為疏忽產(chǎn)生失誤，測試準確性無法得到足夠的保證。

　　

【正文】 名稱，結(jié)合不同的銀行卡類型來說明pairwise測試功能。ATM支持取款和存款操作，不同類型的銀行卡將擁有執(zhí)行不同操作的權(quán)限（比如只能取款或只能存款，或者都可以），如此就和我們實際應用環(huán)境中的RBAC特性相像。輸入密碼的過程被區(qū)分為正確輸入與連續(xù)三次輸錯，連續(xù)三次輸錯的動作會用到token函數(shù)過程，模型中不考慮連續(xù)輸錯不足三次又最后輸入正確的情況。圖52 ATM系統(tǒng)的FSM模型添加token和函數(shù)過程的不同方式如圖53左側(cè)所示，右側(cè)為添加完成后樹結(jié)構(gòu)的效果。其中定義token時會彈出如圖54的對話框，用于詳細輸入token各項屬性內(nèi)容，雙擊樹結(jié)構(gòu)中已添加好的token節(jié)點可以重新編輯。函數(shù)過程的定義則只需要輸入函數(shù)過程的名稱，隨后如轉(zhuǎn)換動作一樣填充token序列。圖53 定義token和函數(shù)過程圖54 添加token的對話框轉(zhuǎn)換動作（包括函數(shù)過程）都是由token序列組成的，工具提供從token列表中直接拖放添加的方式，同時支持特定token在序列中位置的上移、下移或刪除。添加的token必須被賦予適當個數(shù)的參數(shù)，參數(shù)之間用逗號分隔，工具會自動檢查用戶輸入的參數(shù)是否和token定義所匹配。圖55中展示的是函數(shù)過程TripleInvalidPswd，它的token序列為連續(xù)三次調(diào)用EnterPswd，每次EnterPswd調(diào)用傳入的參數(shù)都為0，代表錯誤的密碼。圖55 token序列的添加前面完成了整個ATM系統(tǒng)的FSM模型的建立，下面開始使用工具分析模型，尋找可執(zhí)行路徑并結(jié)合pairwise測試技術(shù)生成測試用例。首先切換到變量信息標簽頁，工具會把FSM模型中用過的變量都識別出來，而常量則不被列出。用戶指定這些變量的可能取值后，就能調(diào)用pairwise模塊生成組合測試用例。圖56中識別出了6個變量，分別代表銀行卡的權(quán)限類型、實際操作類型、操作的操作數(shù)、操作數(shù)是否會導致余額為負數(shù)、操作數(shù)是否超過ATM上限、ATM所屬銀行。工具利用pairwise模塊一共只生成了11種組合情況，遠小于直接正交排列組合得到的216種。圖56 組合測試生成測試用例生成算法的另一大模塊是模型遍歷算法，其相關(guān)組件位于標簽頁中的最后一項。目測有效測試用例的長度不超過10，同時指定最大重復次數(shù)為1，即產(chǎn)生的測試用例中將不包含任何回路。工具最終搜索到了17條有效路徑（圖57a），如果只限定路徑長度，那么將產(chǎn)生264條可執(zhí)行路徑（圖57b），其中包含大量的冗余路徑。(a)最大重復數(shù)為1(b)最大重復數(shù)為10圖57 可執(zhí)行路徑的搜索最終生成的測試用例文件中將依次使用pairwise測試產(chǎn)生的11種參數(shù)取值情況，依次測試模型遍歷產(chǎn)生的17條可執(zhí)行用例所代表的17個測試用例，總計需要執(zhí)行11*17=187個測試用例。因為所有的token都未實現(xiàn)，所以全部的測試用例都顯示為不通過。圖58 測試用例執(zhí)行結(jié)果第六章 結(jié)論及展望軟件質(zhì)量一直是人們關(guān)注和探索的焦點，軟件測試已經(jīng)滲透到了軟件開發(fā)過程的方方面面。傳統(tǒng)的測試技術(shù)越來越難以滿足日益復雜龐大系統(tǒng)的測試需求，高效的測試方法和測試工具成為業(yè)界追逐的主流?；谀Ｐ偷臏y試是一種輕量級自動生成測試用例的方法。測試人員的關(guān)注點在于構(gòu)建一個能夠描述被測系統(tǒng)各方面數(shù)據(jù)和行為的形式化機器可讀模型，通過對模型的分析就可以自動生成測試用例，包括提供給待測試系統(tǒng)的輸入和預期輸出。模型的表現(xiàn)形式、測試用例生成算法和預期輸出的生成是基于模型測試的三項關(guān)鍵技術(shù)。我們開發(fā)的工具使用了較為簡便和熟悉的有限狀態(tài)機模型，同時提供了對模型的可視化輸入和持久序列化功能。測試用例的生成算法結(jié)合了圖論中廣度優(yōu)先搜索算法和組合測試技術(shù)，其中廣度遍歷時額外增加了路徑長度限制，并且記錄每條單獨路徑的使用次數(shù)來剔除冗余回路，同時在模型中指定某些特定狀態(tài)作為出口狀態(tài)來讓路徑在必要的時候停止擴展。組合測試在保證測試用例對所有取值組合進行足夠覆蓋的前提下，有效地壓縮了多參數(shù)多可能取值情況下生成的測試用例數(shù)目。最終開發(fā)完成的基于模型的自動化測試工具基本達到了預期的各項要求。隨著軟件測試領(lǐng)域不斷涌現(xiàn)的測試用例生成算法，可以考慮讓工具支持更多更強大的算法。而且該測試工具仍需要人工輸入系統(tǒng)模型，系統(tǒng)模型的構(gòu)建過程并不是特別的輕松。如果日后的工具能夠支持自動分析自然語言需求來生成系統(tǒng)模型，對于完善整個軟件測試過程的自動化將有著重大意義。 參考文獻[1] Software Errors Cost . Economy $ Billion Annually, NIST Report[2] Baker, C. Review of . McCracken’s “Digital Computer Programming”.Mathematical Tables and Other Aids to Computation 1 I, 60(Oct. 1957). 298305.[3] Myers, . The Art of Software Testing. John Wiley amp。 Sons, New York, 1979.[4] Guideline for Lifecycle Validation, Verification, and Testing of Computer Software. National Bureau of Standards Report NBS FIPS 101. Washington, .. 1983.[5] ANSI/IEEE STD 8291983 Standard for Software Test Documentation. Institute of Electrical and Electronics Engineers, New York, 1983.[6] Gelperin, D.。 B. Hetzel (1988). The Growth of Software Testing. CACM 31 (6). ISSN 00010782.[7] [8] [9] [10] A tool for statistical modeling and estimation of reliability functions for software: SMERFS[11] CASRE An Easy to Use Software Reliability Measurement TOOL[12] , , , , , , . Horowitz, ModelBased Testing in Practice, Proceedings of ICSE’99.[13] M. Utting, A. Pretschner, B. Legeard, B., A Taxonomy of ModelBased Testing, Technical report, Department of Computer Science, University of Waikato, 2006.[14] Mark Utting, Bruno Legeard. Pratical ModelBased Testing: A Tool’s Approach.[15] D. Harel. Statecharts: A visual approach to plex systems. Science of ComputerProgramming, 8:231–274.[16] Hamon, G., de Moura, L., Rushby, J.: Generating efficient test sets with a modelchecker. In: 2nd International Conference on Software Engineering and FormalMethods (SEFM), Beijing, China, IEEE Computer Society (2004) 261–270[17] (2010) Practical Combinatorial Testing. SP 800142.. Natl. Inst. of Standards and Technology. (Report).[18] Sloane NJA. A library of orthogonal arrays. ~njas/oadir/[19] Williams AW, Probert RL. A practical strategy for testing pairwise coverage of network interfaces. In: Lyu MR, ed. Proc. of the 7th Int’l Symp. on Software Reliability Engineering (ISSRE). Los Alamitos: IEEE Press, 1996. 246?254.[20] Y. Lei and K. C. Tai. Inparameterorder: a test generation strategy for pairwise testing. In Proceedings of the Third IEEE International HighAssurance Systems Engineering Symposium, pages 254–261, 1998.[21] Cohen DM, Dalal SR, Fredman ML, Patton G. The AETG system: An approach to testing based on binatorial design. IEEE Trans. on Software Engineering, 1997,23(7):437?443.[22] Czerwonka J. Pairwise testing in real world: Practical extensions to test case generators. In: Butt D, Gens C, eds. Proc. of the 24th Pacific Northwest Software Quality Conf. 2006.[23] Lei Y, Tai KC. InParameterOrder: A test generation strategy for pairwise testing. In: Tsai J, Keefe T, Stewart D, eds. Proc. of the IEEE Int’l. Symp. on High Assurance Systems Engineering. Los Alamitos: IEEE Press, 1998. 254?261.[24] (v=).aspx第29頁 共 13 頁