[go: up one dir, main page]

TWI231451B - Program testing system and method - Google Patents

Program testing system and method Download PDF

Info

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
Application number
TW090133404A
Other languages
English (en)
Inventor
Frank Lin
Original Assignee
Penbex Data Systems Inc
Priority date (The priority date is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the date listed.)
Filing date
Publication date
Application filed by Penbex Data Systems Inc filed Critical Penbex Data Systems Inc
Priority to TW090133404A priority Critical patent/TWI231451B/zh
Priority to US10/138,949 priority patent/US20030126506A1/en
Application granted granted Critical
Publication of TWI231451B publication Critical patent/TWI231451B/zh

Links

Classifications

    • GPHYSICS
    • G06COMPUTING OR CALCULATING; COUNTING
    • G06FELECTRIC DIGITAL DATA PROCESSING
    • G06F11/00Error detection; Error correction; Monitoring
    • G06F11/36Prevention of errors by analysis, debugging or testing of software
    • G06F11/3668Testing of software
    • G06F11/3672Test management
    • G06F11/3676Test management for coverage analysis
    • GPHYSICS
    • G06COMPUTING OR CALCULATING; COUNTING
    • G06FELECTRIC DIGITAL DATA PROCESSING
    • G06F11/00Error detection; Error correction; Monitoring
    • G06F11/36Prevention of errors by analysis, debugging or testing of software
    • G06F11/3668Testing of software
    • G06F11/3672Test management
    • G06F11/3688Test 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項所述之電腦可讀取記錄媒體, 中該電腦於栽入該程式碼後,更執行下列程序: 依據該待測程式執行該有效待測詰果,更 前狀態。 ^
TW090133404A 2001-12-31 2001-12-31 Program testing system and method TWI231451B (en)

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)

* Cited by examiner, † Cited by third party
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)

* Cited by examiner, † Cited by third party
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

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