TWI231451B - Program testing system and method - Google Patents
Program testing system and method Download PDFInfo
- Publication number
- TWI231451B TWI231451B TW090133404A TW90133404A TWI231451B TW I231451 B TWI231451 B TW I231451B TW 090133404 A TW090133404 A TW 090133404A TW 90133404 A TW90133404 A TW 90133404A TW I231451 B TWI231451 B TW I231451B
- Authority
- TW
- Taiwan
- Prior art keywords
- test
- program
- event
- state
- current state
- Prior art date
Links
Classifications
-
- G—PHYSICS
- G06—COMPUTING OR CALCULATING; COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F11/00—Error detection; Error correction; Monitoring
- G06F11/36—Prevention of errors by analysis, debugging or testing of software
- G06F11/3668—Testing of software
- G06F11/3672—Test management
- G06F11/3676—Test management for coverage analysis
-
- G—PHYSICS
- G06—COMPUTING OR CALCULATING; COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F11/00—Error detection; Error correction; Monitoring
- G06F11/36—Prevention of errors by analysis, debugging or testing of software
- G06F11/3668—Testing of software
- G06F11/3672—Test management
- G06F11/3688—Test management for test execution, e.g. scheduling of test suites
Landscapes
- Engineering & Computer Science (AREA)
- Theoretical Computer Science (AREA)
- Computer Hardware Design (AREA)
- Quality & Reliability (AREA)
- Physics & Mathematics (AREA)
- General Engineering & Computer Science (AREA)
- General Physics & Mathematics (AREA)
- Debugging And Monitoring (AREA)
Description
1231451 五、發明說明(l) 【發明領域】 本發明係關於一種程式測試系統及方法,特別關於— 種依據一目前狀態(Current State )以及一狀態變遷表 (State Transition Table) ’產生一有效待測事件之程 式測試系統及方法。 $ 【習知技術】 隨著資訊科技的進步,人類的生活迅速邁入資訊化、 E化的時代,時至今日,於日常生活中已不能一曰無資訊 科技。而推動及支撐資訊科技發展的助力及基礎主要有 二:一為資訊基礎建設之普及及硬體效能之提升,另一則 為軟體技術的發展。資訊基礎建設之普及及硬體效能之提 升使資訊科技之適用範圍及層面更加擴大,並使複雜且硬 體需求日益龐大之應用成為可能;而軟體技術的發展則奠 基於其上’並且更進一步實現了每一個資訊科技使用者的 希冀及理想。 軟體開發之過程主要有系統分析、系統設計、程式撰 寫’測試除錯、後續維護更新等,每一個環節缺一不可。
而其中測試除錯更為軟體開發過程後段中重要的工作,一 個程式是^能夠正常的執行及其效能良好與否,除了程式 撰寫寺之技入之外’端賴是否能夠以一快速且周延之測試 方法有效針對程式的每一個狀態及其個別事件進行測 試,以驗收程式是否如分析設計之初的規劃,正確的處理 使用者之操作。
1231451
圖式簡單說明 【圖式簡單說明】 圖1為一架構圖,顯示依本發明較佳 例之程式測 試系統之架構。 圖2a為一示意圖,顯示依本發明較佳實施例之例示之 使用者介面(狀態)及其物件。 圖2b為一示意圖,顯示依本發明較佳實施例之事件表 之例示攔位及其内容。 圖3為一示意圖,顯示依本發明較佳實施例之狀態變 遷表之例示攔位及其内容。 圖4為一示意圖,顯示依本發明較佳實施例之例示之 使用者介面中之物件座標。
圖5為々IL程圖’顯示依本發明較佳實施例之程式測 試方法之步勒 1 0 【圖式符號說明】 1 待測程式 2 程式測試系統 21 事件表 22 隨機選取器 23 狀態機器 231 狀態變遷表 24 事件產生器 25 座標產生器 S501 〜S507 程式測試方法之步驟
第12頁
Claims (1)
1231451 六、申請專利範圍 1 · 一種程式測試系統,其測試一待測程式,該待測程式勺 U數個狀態,且能夠處理複數個事件,該程式測試U 一事件表(Event List),其記錄該待測程式 理之該等事件; 此列处 一隨機選取器,其隨機自該事件表選取一待測 以及 “爭仟, 一 ^態機器(State Machine),其依據該待測程式 之一目前狀態(Current State )以及一狀態變遷表》 (State Transition Table),判斷該待測事件相對於該 目前狀態是否為有效,其中該狀態變遷表記錄各該肤= 及各該等事件之—對應㈣,且#該狀態機器判斷 = 事件相對於該目前狀態為有效時,該程式測試系統即依判 斷結果以一有效待測事件測試該待測程式。 2. 如2請專利範圍第1項所述之程式測試系統,更包含: 機器General),其依據該狀態 機裔之判斷結果產生該有效待測事件。 3. 如申請專利範圍第2項所述之程式測試系統,更包含: 入而產生器’其依據該目前狀態相對應之-使用者 :面’輪出該事件產生器產生該有效待測事件所需之::
第13頁 1231451 六、申請專利範ΐ " 4;» t申請專利範圍第1項所述之程式測試系統,其中該對 :係更包含一下一狀態(Next State ),且該下一狀態 係為該等狀態之一。 ::印專利範圍第4項所述之程式測試系統,其中該狀 =器更依據該目前狀態及該有效待測事件,將該狀態變 表中相對應之該下一狀態設定為該目前狀態。 % t :請專利範*圍第1項所述之程式測試系統,其中該狀 ^器更依據該待測程式執行該有效待測事件之結果,更 新該目前狀態。 7^ —種程式測試方法,其測試一待測程式,該待測程式包 :複數個狀態,且能夠處理複數個事件,該程式測試方法 包含: 自一記錄該等事件之事件表(Event List )中隨機選 取該待測事件; 依,該待測程式之一目前狀態(Current State )以 及一狀態變遷表(state Transiti〇n Table),判斷一待
測事件相對於該目前狀態是否為有效,其中該狀態變遷表 記錄各該等狀態及各該等事件之一對應關係;以及 依據該狀態機器之判斷結果以一有效待測事件測試該 待測程式。
第14頁 1231451 六、申請專利範圍 8 ·如申明專利範圍第7 產生嗲右4 q 項所述之程式測試方法’更包含: I王逆有效待測事件。 9 ·如申請專利範圍筮8 依據該目前狀Γ/述之程式測試方法,更包含: 古呤锌钏重从 〜、相對應之一使用者介面’輸出產生該 有效存測事件所需之一座標。 1 0 ·如申請專利筋圚笛7 _丄 應關係更包含—下一第 方法,其中該對 係為該等狀態之:/_(NextState),且該下一狀態 11 ·如申1專利範圍第丨〇項所述之程式測試方法,更包 含: 依據该目前狀態及該有效待測事件,將該狀態變遷表 中相對應之該下一狀態設定為該目前狀態。 =·如^申請專利範圍第7項所述之程式測試方法,其中該狀 悲機器更依據該待測程式執行該有效待測事件之結果,更 新該目前狀態。 U· 一種電腦可讀取記錄媒體,其記錄了 一電腦於載入 後’能夠執行下列程序之程式碼: 自一記錄該等事件之事件表(Event List )中隨機選 取該待測事件;
第15頁 1231451 六、 及 測 記 待 14 其 有 15 其 中 16 其 因 申請專利範圍 依據該待測程式之一目前狀態(Current State )以 一狀態變遷表(state Transition Table),判斷一待 事件相對於該目前狀態是否為有效,其中該狀態變遷表 錄各該等狀態及各該等事件之一對應關係;以及 依據該狀態機器之判斷結果以一有效待測事件測試該 測程式。 •如申請專利範圍第1 3項所述之電腦可讀取記錄媒體, 中該電腦於載入該程式碼後,更執行下列程序: 依據該目前狀態相對應之一使用者介面,輸出產生一 效待測事件所需之一座標,以產生該有效待測事件。 .如申請專利範圍第1 3項所述之電腦可讀取記錄媒體, 中該電腦於载入該程式碼後,更執行下列程序: 依據該目前狀態及該有效待測事件,將該狀態變遷表 該目前狀態所對應之下一狀態設定為該目前狀態。 •如申請專利範圍第1 3項所述之電腦可讀取記錄媒體, 中該電腦於栽入該程式碼後,更執行下列程序: 依據該待測程式執行該有效待測詰果,更 前狀態。 ^
Priority Applications (2)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| TW090133404A TWI231451B (en) | 2001-12-31 | 2001-12-31 | Program testing system and method |
| US10/138,949 US20030126506A1 (en) | 2001-12-31 | 2002-05-03 | Program testing system and method |
Applications Claiming Priority (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| TW090133404A TWI231451B (en) | 2001-12-31 | 2001-12-31 | Program testing system and method |
Publications (1)
| Publication Number | Publication Date |
|---|---|
| TWI231451B true TWI231451B (en) | 2005-04-21 |
Family
ID=21680141
Family Applications (1)
| Application Number | Title | Priority Date | Filing Date |
|---|---|---|---|
| TW090133404A TWI231451B (en) | 2001-12-31 | 2001-12-31 | Program testing system and method |
Country Status (2)
| Country | Link |
|---|---|
| US (1) | US20030126506A1 (zh) |
| TW (1) | TWI231451B (zh) |
Families Citing this family (9)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| GB0414742D0 (en) * | 2004-07-01 | 2004-08-04 | Hewlett Packard Development Co | Method and system for test case generation |
| US20060031718A1 (en) * | 2004-08-09 | 2006-02-09 | Total System Services, Inc. | System and method for generating production-quality data to support software testing |
| US20060036999A1 (en) * | 2004-08-13 | 2006-02-16 | Fay Thomas R | System and method for managing test and measurement components |
| GB0516400D0 (en) * | 2005-08-10 | 2005-09-14 | Ibm | A method and apparatus for testing software |
| US8312417B2 (en) * | 2007-05-18 | 2012-11-13 | International Business Machines Corporation | Using dynamic call graphs for creating state machines |
| US8161496B2 (en) * | 2007-07-31 | 2012-04-17 | Microsoft Corporation | Positive and negative event-based testing |
| JP5198132B2 (ja) * | 2008-04-23 | 2013-05-15 | 大日本スクリーン製造株式会社 | 状態遷移テスト支援装置、状態遷移テスト支援プログラム、および状態遷移テスト支援方法 |
| CN102184137A (zh) * | 2011-05-16 | 2011-09-14 | 浪潮集团山东通用软件有限公司 | 一种无人值守的智能的自动化回归测试方法 |
| US11461689B2 (en) * | 2017-01-06 | 2022-10-04 | Sigurdur Runar Petursson | Techniques for automatically testing/learning the behavior of a system under test (SUT) |
Family Cites Families (12)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| US6067639A (en) * | 1995-11-09 | 2000-05-23 | Microsoft Corporation | Method for integrating automated software testing with software development |
| US6279124B1 (en) * | 1996-06-17 | 2001-08-21 | Qwest Communications International Inc. | Method and system for testing hardware and/or software applications |
| US5881221A (en) * | 1996-12-31 | 1999-03-09 | Compaq Computer Corporation | Driver level diagnostics |
| US6718533B1 (en) * | 1999-02-26 | 2004-04-06 | Real-Time Innovations, Inc. | Method for building a real-time control system with mode and logical rate |
| US6530039B1 (en) * | 1999-06-14 | 2003-03-04 | Microsoft Corporation | Porting engine for testing of multi-lingual software |
| US6708324B1 (en) * | 1999-06-24 | 2004-03-16 | Cisco Technology, Inc. | Extensible automated testing software |
| US6708327B1 (en) * | 1999-10-14 | 2004-03-16 | Techonline, Inc. | System for accessing and testing evaluation modules via a global computer network |
| US6622298B1 (en) * | 2000-02-03 | 2003-09-16 | Xilinx, Inc. | Method and apparatus for testing software having a user interface |
| JP2001356934A (ja) * | 2000-03-02 | 2001-12-26 | Texas Instr Inc <Ti> | ハードウェアシステムとインタラクトするソフトウェアシステムの構成方法およびデジタルシステム |
| US6701514B1 (en) * | 2000-03-27 | 2004-03-02 | Accenture Llp | System, method, and article of manufacture for test maintenance in an automated scripting framework |
| WO2001090897A2 (en) * | 2000-05-19 | 2001-11-29 | Leung Wu Hon Francis | Methods and apparatus for preventing software modifications from invalidating previously passed integration tests |
| US6718537B1 (en) * | 2000-08-10 | 2004-04-06 | International Business Machines Corporation | Method and system to stress interactions in a test machine |
-
2001
- 2001-12-31 TW TW090133404A patent/TWI231451B/zh not_active IP Right Cessation
-
2002
- 2002-05-03 US US10/138,949 patent/US20030126506A1/en not_active Abandoned
Also Published As
| Publication number | Publication date |
|---|---|
| US20030126506A1 (en) | 2003-07-03 |
Similar Documents
| Publication | Publication Date | Title |
|---|---|---|
| Xue et al. | MPIWiz: Subgroup reproducible replay of MPI applications | |
| TWI231451B (en) | Program testing system and method | |
| JP2008547128A5 (zh) | ||
| JP2006260588A5 (zh) | ||
| EP0930568A3 (en) | Apparatus and method for generating model reference tests | |
| CN100578674C (zh) | 一种寄存器测试的方法和系统 | |
| CN107659455B (zh) | 一种iOS端Mock数据的方法、存储介质、设备及系统 | |
| CN107992403B (zh) | Io性能测试方法、装置、设备及计算机可读存储介质 | |
| CN114297961A (zh) | 一种芯片测试用例处理方法及相关装置 | |
| CN110750446A (zh) | 一种系统测试的方法及相关装置 | |
| CN115269345A (zh) | 一种数据库测试方法、装置、设备及存储介质 | |
| CN107391378A (zh) | 一种测试脚本的生成方法及装置 | |
| CN119558412A (zh) | 一种大语言模型评估系统及方法 | |
| US6931629B1 (en) | Method and apparatus for generation of validation tests | |
| CN103309676B (zh) | 用于海洋数值模拟ROMS的Web服务封装方法以及系统 | |
| Galanis et al. | Oracle database replay | |
| CN109032874A (zh) | 一种内存压力测试方法、装置、终端及存储介质 | |
| CN111399996A (zh) | 一种业务数据的批量操作方法、装置及其相关设备 | |
| TW200415461A (en) | Program debugging method | |
| CN116450496A (zh) | 系统性能测试方法、装置、计算机设备和存储介质 | |
| CN115391181A (zh) | 一种soc芯片的验证方法 | |
| CN102063560A (zh) | 计算机机考中的自动分步计分方法及其系统 | |
| CN115292760B (zh) | 芯片验证系统、方法及计算机可读存储介质 | |
| WO2024217001A1 (zh) | 芯片瞬态故障下的功能安全测试方法、装置及设备 | |
| CN111061621A (zh) | 一种验证程序性能的方法、装置、设备及存储介质 |
Legal Events
| Date | Code | Title | Description |
|---|---|---|---|
| MM4A | Annulment or lapse of patent due to non-payment of fees |