來源：學術之家整理 2025-03-18 15:39:45
《Software Testing Verification & Reliability》中文名稱：《軟件測試驗證和可靠性》，創刊于1991年，由John Wiley and Sons Ltd出版商出版，出版周期Quarterly。
該期刊是測試、驗證和可靠性研究成果的主要渠道。讀者將找到有關構建更好的軟件并對其進行評估的有用研究。
該期刊的獨特之處在于它強調理論基礎和實際軟件開發的應用。理論、實證工作和實際應用之間的平衡為讀者提供了更好的測試、驗證和提高軟件可靠性的技術。
該期刊的目標讀者是研究人員、從業者、教育工作者和學生，他們對高質量測試、驗證和可靠性建模和評估軟件所產生的結果有著濃厚的興趣。特別感興趣的主題包括但不限于：
-軟件測試和驗證的新標準
-現有軟件測試和驗證技術在新型軟件中的應用，包括 Web 應用程序、Web 服務、嵌入式軟件、面向方面的軟件和軟件架構
-基于模型的測試
-形式化驗證技術，如模型檢查
-測試和驗證技術的比較
-測試、驗證和可靠性的測量和指標
-具有尖端技術的行業經驗
-商業和開源軟件測試工具的描述和評估
-可靠性建模、測量和應用
-軟件安全性的測試和驗證
-自動測試數據生成
-流程問題和方法
-非功能性測試
旨在及時、準確、全面地報道國內外COMPUTER SCIENCE, SOFTWARE ENGINEERING工作者在該領域的科學研究等工作中取得的經驗、科研成果、技術革新、學術動態等。
| 文章引用名稱 | 引用次數 |
| Choosing the fitness functio... | 6 |
| PESTO: Automated migration o... | 4 |
| Why does the orientation cha... | 3 |
| Heterogeneous fault predicti... | 3 |
| Random or evolutionary searc... | 2 |
| Mutation operators for featu... | 2 |
| A novel reliability analysis... | 2 |
| MobSTer: A model-based secur... | 1 |
| Verifying OSEK/VDX automotiv... | 1 |
| A formal approach to automat... | 1 |
| 被引用期刊名稱 | 數量 |
| J SYST SOFTWARE | 49 |
| IEEE ACCESS | 41 |
| ADV COMPUT | 33 |
| IEEE T SOFTWARE ENG | 31 |
| INFORM SOFTWARE TECH | 28 |
| SOFTW TEST VERIF REL | 24 |
| SOFTWARE QUAL J | 24 |
| EMPIR SOFTW ENG | 14 |
| SOFTW SYST MODEL | 12 |
| ACM T SOFTW ENG METH | 11 |
| 引用期刊名稱 | 數量 |
| IEEE T SOFTWARE ENG | 38 |
| SOFTW TEST VERIF REL | 24 |
| J SYST SOFTWARE | 14 |
| INFORM SOFTWARE TECH | 12 |
| COMPUTER | 8 |
| ACM T SOFTW ENG METH | 7 |
| IEEE T RELIAB | 6 |
| IEEE SOFTWARE | 5 |
| SCI COMPUT PROGRAM | 5 |
| SOFTWARE PRACT EXPER | 5 |
聲明：該作品系作者結合互聯網公開知識整合。如有錯漏請聯系我們，我們將及時更正。
