以定義域分析技術產生模型基礎之測試案例

Abstract

由於人工測試所需成本龐大，自動測試的需求也日益增加。藉由使用由台大電機所自動軟體測試實驗室所開發的軟體測試工作平台（Software Testing Workbench, STW）以及TTCN-3測試語言（Testing and Test Control Notation Version 3）可以建構自動化的測試環境，因為STW可以將TTCN-3格式的測試案例轉換成可執行的C/C++程式。但如何挑選適合的測試資料，便是一個需要解決的問題。 本研究以計算資料變異為基礎，發展出一套演算法解決此問題。我們針對在自動化的測試環境，使用待測物（System under Test, SUT）的規格來產生要被測試的資料。我們定義了如何計算資料變異的方法，再藉由演算法計算出應該優先測試的測試資料，再產生對應的TTCN-3格式的測試檔案，最後藉由STW完成測試。經由此演算法，可以完成測試資料的挑選，並達到好的資料覆蓋範圍。

Due to the huge costs of manual testing, automated testing is increasing demand. By using Software Testing Workbench(STW), developed by National Taiwan University Electrical Verification Automation Laboratory, and Test language Testing and Test Control Notation Version 3 (TTCN-3) , the automatic testing environment can be constructed because that STW can translate TTCN-3 testcases into executable C/C++ program. But how to select suitable test data is a need to be solved problem. We develop a new algorithm to solve this problem based on calculating data variance. In automatic test data generating environment, we use the specifications of System under Test (SUT) to generate test data. First of all, we define how to calculate the data variance, and then using algorithms to calculate the test data should be priority tested, and then generate a corresponding TTCN-3 test files, the final complete the test by STW. Through this algorithm, you can select test data to achieve good data coverage.