| Kurzkommentar |
Abstract:
Testing is a powerful and widely used technique for software
quality assurance, which is known to require significant
resources in most software development projects. Testing is
useful for showing the presence of bugs, not the absence of them.
On the contrary, full-functional Verification aims at proving
both actual and expected software behaviour agree. It can achieve
very high confidence, but it requires a lot of user expertise and
resources.
In this seminar we will focus on the middle ground between
these two approaches. In other words, how different techniques and tools
arise from merging verification and testing (concolic testing, bounded
model checking, exhaustive testing, etc.) |
