利用shell指令和人為的修改操作進行系統程式的測試

Testing System Software with Shell Commands and User-Assistance

鄭功宏(Kung-Hung Cheng)

指導教授 ： 王凡

國立臺灣大學/電機資訊學院/電機工程學研究所/碩士(2010年)

https://doi.org/10.6342/NTU.2010.10061

摘要

作業系統的核心是一個很複雜的系統，其中包含了許多軟硬體的交互關係和運作上面的協調。而如果要測試核心中的一個檔案或是元件，更會因為核心中對於使用者空間中向核心空間調用參數的限制使得過程更加的困難。
我們的實驗主體將會以multiple device driver-md.c做為本次核心程式測試的主體，以行覆蓋率(line coverage rate)做為測試的標準，並且利用gcov表示出來。為了使測試過程更加的簡易方便以節省測試的成本，我們提出了利用使用者程式和外在硬體操作的方式，去準備取得參數並創造正常和不正常的軟硬體狀態，錯誤中包括錯誤的指令和衝突的系統狀態、錯誤的指令執行順序、和實際上的硬體錯誤，使得核心程式盡可能的被調用。並提出一個高階的層狀架構且在其中進行測試。
測試結果呈現在各個gcov紀錄檔中。整合各檔案之後經過計算，可以達到超過50% 的行覆蓋率。

關鍵字

核心測試 ； 裝置驅動程式 ； 行覆蓋率 ； 指令列 ； mdadm ； 隨機測試

並列摘要

Linux Kernel is a complicated software. It combines various kinds of hardware and software behaviors, and working with tens of thousands of processes and threads at the same time. Moreover, it is more difficult to test a specific piece of component in the kernel space due to the kernel protection.
We perform the testing mainly on the multiple device driver md.c using line coverage rate as criteria and profiled by gcov. To maximize the line coverage count, we try to create as many system status related to md.c as possible. The method taken includes straightforward scenario, device error scenario and sequential error scenario. Furthermore, we proposed a hierarchical sequential random testing structure based on locality on sequential testing.
The test result is shown at each test coverage files. We merge all the test results and get the final count up to 53.85%.

並列關鍵字

kernel testing ； multiple device driver ； line coverage ； command line ； mdadm ； random testing

參考文獻

[3] The Combinatorial Design Approach to Automatic Test Generation By David M. Cohen , Siddhartha R. Dalal , Jesse Parelius and Gardner C. Patton, IEEE Software September 1996, pp. 83-87

[4]An Empirical Study of the Robustness of MacOS Applications Using Random Testing, by Barton P. Miller Gregory Cooksey and Fredrick Moore ,Proceedings of the First International Workshop on Random Testing, 2006

[20]black box testing

[21]ACM: Test Automation for Kernel Code and Disk Arrays with Virtual Devices, Lin-Zan Cai1, Rong-Shiung Wu1, Wen-Ting Huang1, and Farn Wang, 2007

[22] Stimulus Generation for Constrained Random Simulation, 2007 IEEE/ACM International Conference on Computer Aided Design (ICCAD 2007), San Jose, California, USA, November 2007, with Nathan Kitchen.