基本介紹
- 中文名：蛻變測試
- 外文名：Metamorphic testing
- 用途：軟體測試
- 領域：計算機
簡介,軟體測試,普適計算,網路搜尋引擎,
簡介
蛻變測試中指出，給出一個或多個測試用例（稱為“源測試用例”或“原始測試用例”）及其預期輸出（如果有的話），一個或多個用來驗證系統或待實現函式的必要屬性（稱為蛻變關係）的後續測試用例可以被構造出來。例如，一個程式正確實現了sin x的100位有效數字。正弦函式的一個蛻變關係是“sin (π − x) = sin x”，因此即使對於源測試用例x= 1.234 來說，sinx的預期輸出並不知道，但依然可以以此構造一個後續測試用例y=π− 1.234。然後判斷源測試用例和後續測試用例產生的輸出是否在蛻變關係下一致。任何不一致的輸出表示了程式的實現中存在缺陷。
在一般情況下，蛻變關係並不需要一定是一個等式或方程，也可以是一個關係。 蛻變試驗可以套用於包含了目標函式多次執行過程的，其必要屬性可以被定製的任何問題中。一些成功套用蛻變測試的例子包括：偏微分方程、普適計算、服務計算、繪圖軟體、生物信息學、軟體產品線以及網路搜尋引擎等。
蛻變測試也被套用於機器學習、人工智慧算法、以及基於神經網路的深度學習模型中，並被認為是用來驗證機器學習軟體的一種很有前景的方法。
軟體測試
軟體測試（英語：software testing），描述一種用來促進鑑定軟體的正確性、完整性、安全性和品質的過程。據此，您可能會想，軟體測試永遠不可能完整的確立任意電腦軟體的正確性。然而，在可計算理論（計算機科學的一個支派）一個簡單的數學證明推斷出下列結果：不可能完全解決所謂“當機”，指任意電腦程式是否會進入死循環，或者罷工並產生輸出問題。換句話說，軟體測試是一種實際輸出與預期輸出間的審核或者比較過程。
軟體測試有許多方法，但對複雜的產品運行有效測試不僅僅是研究過程，更是創造並嚴格遵守某些呆板步驟的大事。測試的其中一個定義：為了評估而質疑產品的過程；這裡的“質疑”是測試員試著對產品做的事，而產品以測試者腳本行為反應作為回答。雖然大部分測試的智力過程不外乎回顧、檢查，然而“測試”這個詞意味著產品動態分析──讓產品流暢運行。程式品質可能，而且通常會，隨系統不同而有差異；不過某些公認特性是共通的：可靠性、穩定性、輕便性、易於維護、以及實用性。
普適計算
普適計算（Ubiquitous computing（ubicomp）、pervasive computing），又稱普存計算、普及計算、遍布式計算、泛在計算，是一個強調和環境融為一體的計算概念，而計算機本身則從人們的視線里消失。在普適計算的模式下，人們能夠在任何時間、任何地點、以任何方式進行信息的獲取與處理。
網路搜尋引擎
網路搜尋引擎（英語：web search engine）指自動從全球資訊網蒐集信息，經過一定整理以後，提供給用戶進行查詢的系統。
搜尋引擎的工作原理大致可以分為：
- 蒐集信息：搜尋引擎的信息蒐集基本都是自動的。搜尋引擎利用稱為網路蜘蛛的自動搜尋機器人程式來連上每一個網頁上的超連結。機器人程式根據網頁鏈到其中的超連結，就像日常生活中所說的“一傳十，十傳百……”一樣，從少數幾個網頁開始，連到資料庫上所有到其他網頁的連結。理論上，若網頁上有適當的超連結，機器人便可以遍歷絕大部分網頁。
- 整理信息：搜尋引擎整理信息的過程稱為“創建索引”。搜尋引擎不僅要保存蒐集起來的信息，還要將它們按照一定的規則進行編排。這樣，搜尋引擎根本不用重新翻查它所有保存的信息而迅速找到所要的資料。想像一下，如果信息是不按任何規則地隨意堆放在搜尋引擎的資料庫中，那么它每次找資料都得把整個資料庫完全翻查一遍，如此一來再快的計算機系統也沒有用。
- 接受查詢：用戶向搜尋引擎發出查詢，搜尋引擎接受查詢並向用戶返回資料。搜尋引擎每時每刻都要接到來自大量用戶的幾乎是同時發出的查詢，它按照每個用戶的要求檢查自己的索引，在極短時間內找到用戶需要的資料，並返回給用戶。目前，搜尋引擎返回主要是以網頁連結的形式提供的，這樣通過這些連結，用戶便能到達含有自己所需資料的網頁。通常搜尋引擎會在這些連結下提供一小段來自這些網頁的摘要信息以幫助用戶判斷此網頁是否含有自己需要的內容。
整理信息及接受查詢的過程，大量套用了文本信息檢索技術，並根據網路超文本的特點，引入了更多的信息。
