UML

• UML is an industry standard modeling language
• A visual modeling language
• effectively share and communicate visions with others

Debugger

• Debugging은 버그와 결함을 줄이고 찾는 과정이다

Static code analysis

• problems detected by Splint (Secure Programming Lint)
  • Buffer overflow vulnerabilities(취약점)

Binary code testing

• widely used in systems dealing with software maintenance and system security
• source code → ir → machine
• Binscope performs the security checks to test the weaknesses like buffer overflow, data execution etc. which are commonly exploited by an attacker
  • Microsoft에서 보안 개발에 사용됌

Unit test

• 독립적인 소스코드 유닛을 테스트함
• a class, but could be an individual method
• JUnit is a unit testing framework for the Java

Test case generator

• Automated test case generation can significantly reduce the cost of software development and maintenance
• EvoSuite

Test management

• 테스트 관리는 테스트 스크립트, 테스트 사례, 테스트 결과를 만들고 업데이트하는 방법론
• TestLink is web based Test Management tool

Performance analysis

• Jmeter is one of the Java tools which is used to load testing client/server applications
• Gatling is a highly capable load testing tool. It is designed for ease of use, maintainability and high performance.

Configuration management (CM)

• method that is used to manage change
• 종류
  • subversion (SVN): open-source version control system. centralized version control system
  • Git

Test coverage analysis

• Finding areas of a program not exercied
• Determining a quantitative measure of code coverage which is an indirect measure of quality
• JaCoCo

Documentation generator

• Doxygen
• JavaDoc

GUI capture and replay

• testing the correctness of interactive applications
• Ranorex Recorder
• other tools: Selenium, Appium, Katalon studio