| 書目名稱 | Formal Approaches to Software Testing |
| 副標(biāo)題 | Third International |
| 編輯 | Alexandre Petrenko,Andreas Ulrich |
| 視頻video | http://file.papertrans.cn/346/345643/345643.mp4 |
| 概述 | Includes supplementary material: |
| 叢書名稱 | Lecture Notes in Computer Science |
| 圖書封面 |  |
| 描述 | Formal methods provide system designers with the possibility to analyze system models and reason about them with mathematical precision and rigor. The use of formal methods is not restricted to the early development phases of a system, though. The di?erent testing phases can also bene?t from them to ease the p- duction and application of e?ective and e?cient tests. Many still regard formal methods and testing as an odd combination. Formal methods traditionally aim at verifying and proving correctness (a typical academic activity), while testing shows only the presence of errors (this is what practitioners do). Nonetheless, there is an increasing interest in the use of formal methods in software testing. It is expected that formal approaches are about to make a major impact on eme- ing testing technologies and practices. Testing proves to be a good starting point for introducing formal methods in the software development process. This volume contains the papers presented at the 3rd Workshop on Formal Approaches to Testing of Software, FATES 2003, that was in a?liation with the IEEE/ACM Conference on Automated Software Engineering (ASE 2003). This year, FATES received 43 submissions. |
| 出版日期 | Conference proceedings 2004 |
| 關(guān)鍵詞 | JUnit; Unified Modeling Language (UML); algorithm; algorithms; correct sytems design; efficient testing; f |
| 版次 | 1 |
| doi | https://doi.org/10.1007/b95400 |
| isbn_softcover | 978-3-540-20894-5 |
| isbn_ebook | 978-3-540-24617-6Series ISSN 0302-9743 Series E-ISSN 1611-3349 |
| issn_series | 0302-9743 |
| copyright | Springer-Verlag Berlin Heidelberg 2004 |
|Archiver|手機版|小黑屋|
派博傳思國際
( 京公網(wǎng)安備110108008328)
GMT+8, 2025-10-15 09:29
發(fā)表于 2025-3-21 18:18:26
