![]() Use automated testing to achieve full mutation coverage Understand how the choice of oracle affects fault-finding for automated analysis strategies. Create executable requirements as an oracle suitable for automated testing and symbolic analysis Use a variety of state-of-the-art static analysis and automated testing tools for automated verification Distinguish the strengths and weaknesses of random testing, symbolic analysis, static analysis, and model checking ![]() Understand the foundations of automated verification: randomization and symbolic representations ![]() The learner will become familiar with the fundamental theory and applications of such approaches, and apply a variety of automated analysis techniques on example programs.Īfter completing this course, a learner will be able to: Automated analysis encompasses both approaches to automatically generate a very large number of tests to check whether programs meet requirements, and also means by which it is possible to *prove* that software meets requirements and that it is free from certain commonly-occurring defects, such as divide-by-zero, overflow/underflow, deadlock, race-condition freedom, buffer/array overflow, uncaught exceptions, and several other commonly-occurring bugs that can lead to program failures or security problems. This course introduces state-of-the-art techniques for automated analysis.
0 Comments
Leave a Reply. |
AuthorWrite something about yourself. No need to be fancy, just an overview. ArchivesCategories |