針對軟體測試的軟體評測自動技術

Abstract

軟體測試在軟體發展過程中扮演著非常重要的角色，特別是在這隨處都可使用到軟體的年代。藉由低價電腦和網路普及的力量，我們每天使用軟體來解決問題或和他人溝通。由於積體電路的製程進步，我們可以輕易地在手掌間使用電子個人隨身助理 (Personal Digital Assistant, PDA) 來處理資料，打電話，聽音樂，看影片及使用其他功能。這更使得軟體無所不在。 但我們要如何證明開發的軟體是正確沒有問題且不會造成損害或災難呢？這是軟體測試工程所關心的問題。 這篇論文使用軟體測試理論、分析表格及軟體評測技術在電腦C語言及 TTCN - 3 測試語言間建立一條溝通的道路，使得軟體測試更有效率。C語言的威力可由其發展年代至今而感受到；而 TTCN - 3 測試語言已在大型複雜的工業用軟體如3 G網路元件上證實其效果。開發軟體評測技術並將C語言寫成的待測軟體系統資訊轉換成 TTCN - 3 測試案例是本篇論文的目的。

Software testing is playing a very important role in software development process since software is everywhere. By the power of the cost down personal computer and network, we use software everyday to solve problems we meet or commuicate with people. With the improvement of the IC technology, we could use a personal digital assistant, PDA, in hands to process data, talk to people, listen to music or watch video, etc. Software isubiquitous. But how could we prove the software we use is correct without bugs and will not cause further damage or disaster? This is the concern of the software testing engineering. In this thesis, by the theories of the software testing, the parsing table and the software profiling technology, we construct a road between C language and TTCN-3, Test and Test Control Version 3, which is an internationally standardized testing language and is proven to work in very large and complex industrial tests, e.g., of 3G network element, and try to make software testing more effective. C language is very powerful we could tell this from its age. We develop the technology of software profiling and translate the data of the software system under test in C language into TTCN-3 test cases.