We fundamentally understand and improve SW operation with code analysis technologies based on programming languages. It visualizes the SW architecture to detect structural flaws and analyzes SW behavior with static analysis tools to eliminate inherent defects and open-source license violations in advance. In addition, it improves SW developers’ experiences by learning large-capacity code storage, utilizing intelligent development tools, and incorporating an Integrated Development Environment (IDE). Furthermore, it promotes development into an interactive AI Pair Programmer capable of automatically generating codes suitable for development situations.

To ensure SW quality, we research efficient testing technology optimized for our products. We write and execute test cases to detect flaws in code, automate tasks such as root cause analysis, and develop verification technology. To this end, we analyze the verification path through the user’s big data and study the automation of intelligent tests. In addition, we preemptively secure quality by researching verification techniques specialized for new domains, such as AI and robots.

We improve productivity by building infrastructure that automates the workflow and converts it to a virtual process. When a developer writes code, a series of processes, such as build, analysis, and tests, are automated. In addition, it provides a virtual development environment that allows developers to execute activities such as coding and testing, regardless of time and place.