來源：學術(shù)之家整理 2025-03-18 15:39:45
《Software Testing Verification & Reliability》中文名稱：《軟件測試驗證和可靠性》，創(chuàng)刊于1991年，由John Wiley and Sons Ltd出版商出版，出版周期Quarterly。
該期刊是測試、驗證和可靠性研究成果的主要渠道。讀者將找到有關(guān)構(gòu)建更好的軟件并對其進行評估的有用研究。
該期刊的獨特之處在于它強調(diào)理論基礎(chǔ)和實際軟件開發(fā)的應用。理論、實證工作和實際應用之間的平衡為讀者提供了更好的測試、驗證和提高軟件可靠性的技術(shù)。
該期刊的目標讀者是研究人員、從業(yè)者、教育工作者和學生，他們對高質(zhì)量測試、驗證和可靠性建模和評估軟件所產(chǎn)生的結(jié)果有著濃厚的興趣。特別感興趣的主題包括但不限于：
-軟件測試和驗證的新標準
-現(xiàn)有軟件測試和驗證技術(shù)在新型軟件中的應用，包括 Web 應用程序、Web 服務、嵌入式軟件、面向方面的軟件和軟件架構(gòu)
-基于模型的測試
-形式化驗證技術(shù)，如模型檢查
-測試和驗證技術(shù)的比較
-測試、驗證和可靠性的測量和指標
-具有尖端技術(shù)的行業(yè)經(jīng)驗
-商業(yè)和開源軟件測試工具的描述和評估
-可靠性建模、測量和應用
-軟件安全性的測試和驗證
-自動測試數(shù)據(jù)生成
-流程問題和方法
-非功能性測試
旨在及時、準確、全面地報道國內(nèi)外COMPUTER SCIENCE, SOFTWARE ENGINEERING工作者在該領(lǐng)域的科學研究等工作中取得的經(jīng)驗、科研成果、技術(shù)革新、學術(shù)動態(tài)等。
| 文章引用名稱 | 引用次數(shù) |
| 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 |
| 被引用期刊名稱 | 數(shù)量 |
| 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 |
| 引用期刊名稱 | 數(shù)量 |
| 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 |
聲明：該作品系作者結(jié)合互聯(lián)網(wǎng)公開知識整合。如有錯漏請聯(lián)系我們，我們將及時更正。
