![]() ![]() This course is intended for learners interested in understanding the principles of automation and the application of toolsįor analysis and testing of software This knowledge would benefit several typical roles: Software Engineer, Software Engineer in Test, Test Automation Engineer, DevOps Engineer, Software Developer, Programmer, Computer Enthusiast. Create a test plan that utilizes both manually-written tests and automated tests towards maximizing rigor, minimizing effort and time, and minimizing test costs. 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 |