ⓒ Suresoft

Chuyên về kiểm tra phần mềm

Hôm nay, chúng tôi sẽ giới thiệu về Suresoft Tech, nhà phát triển công cụ kiểm tra phần mềm tự động.

Tên gọi Suresoft Tech được ghép từ các từ tiếng Anh gồm “sure” (chắc chắn), “soft” (phần mềm) và “tech” (công nghệ), mang ý nghĩa mong muốn làm cho các phần mềm trở nên đáng tin cậy hơn. Trong bối cảnh ngành công nghiệp phần mềm đang ngày càng trở nên phổ biến, Suresoft Tech tập trung vào công nghệ giúp nâng cao độ tin cậy của phần mềm như tạo ra các công cụ để kiểm tra, xác minh phần mềm trong các ngành quan trọng như xe cộ, quốc phòng, hàng không, tàu cao tốc và năng lượng hạt nhân.     

Kiểm tra phần mềm đối trong các ngành quan trọng

Giám đốc Bae Hyeon-seop của Suresoft Tech là người đầu tiên lấy bằng Tiến sĩ về khoa học máy tính tại Viện khoa học và công nghệ tiên tiến Hàn Quốc (KAIST) khi chỉ mới ngoài 20 tuổi. Dù được kỳ vọng sẽ trở thành một vị giáo sư trẻ tuổi khi đó, song ông Bae đã chọn thành lập công ty riêng, với mong muốn áp dụng những kết quả nghiên cứu vào thực tiễn. Giám đốc Bae Hyeon-seop đã sớm nhìn ra tiềm năng của thị trường kiểm tra phần mềm, nhưng công nghệ liên quan không được biết đến tại Hàn Quốc. Thậm chí ngay ở thời điểm hiện tại, khái niệm ngành công nghiệp trọng điểm (mission critical) vẫn còn khá xa lạ, trong đó việc xác minh phần mềm sử dụng trong ngành này là rất quan trọng và cần thiết. Giám đốc Bae Hyeon-seop cho biết. 

Phần mềm tối quan trọng là đề cập đến các chương trình sử dụng trên ô tô, nhà máy điện hạt nhân, tàu cao tốc, trong đó bất kỳ một lỗi nhỏ nào cũng có thể gây ra tai nạn dẫn đến thương vong hay thảm họa quốc gia. Ví dụ, lỗi phần mềm điều khiển có thể gây ra sự cố tăng tốc đột ngột, hỏng phanh hoặc hỏng động cơ của ô tô hay làm rò rỉ bức xạ từ nhà máy điện hạt nhân. Tức là phần mềm tối quan trọng phải hoạt động chính xác tuyệt đối mà không gây ra lỗi. Khi phần mềm ngày càng trở nên phức tạp, có những hạn chế nhất định đối với con người để có thể kiểm tra lỗi một cách kỹ lưỡng. Chúng tôi phát triển và cung cấp các công cụ có thể tự động kiểm tra bất kỳ lỗi nào của phần mềm. 

Phát triển giải pháp “một cửa” (one stop) để kiểm tra phần mềm

Thị trường kiểm tra phần mềm toàn cầu khá phát triển trước tầm quan trọng của việc xác minh lỗi trên phần mềm. Song tại Hàn Quốc, lĩnh vực này còn khá mới mẻ và nhu cầu còn hạn chế, bởi nhiều công ty cảm thấy không cần thiết để một công ty nội địa phải xác minh một phần mềm mua ở nước ngoài. Mặc dù vậy, Suresoft Tech vẫn không nản lòng, tập trung phát triển các giải pháp kiểm tra lỗi phần mềm, với niềm tin rằng nhiều phần mềm sẽ được sử dụng và tích hợp rộng rãi hơn, khiến nhu cầu về lĩnh vực này gia tăng. Đơn cử như trong quá trình sắp xếp hệ thống quản lý khí tài tiên tiến, Bộ Quốc phòng Hàn Quốc nhận thấy cần thẩm định các phần mềm; hay năm 2010, Toyota thông báo thu hồi lượng lớn xe ô tô bán ra thị trường vì vấn đề chân ga. Những sự cố như vậy là động lực thúc đẩy Suresoft Tech tiến về phía trước. Các nhà sản xuất ô tô đã tìm đến Suresoft Tech với mong muốn kiểm tra và phát hiện mọi lỗi trên phần mềm chạy trên ô tô. Ông Bae Hyeon-seop cho biết thêm. 

Mặc dù đã thành lập được 20 năm, nhưng Suresoft Tech mới chỉ có được doanh thu trong khoảng 10 năm trở lại đây. Trong giai đoạn đầu, công ty chỉ tập trung phát triển công nghệ và đầu tư mà không tạo ra bất kỳ doanh số nào. May mắn là công ty đã nhận được hỗ trợ của Chính phủ và đầu tư từ các nhà đầu tư mạo hiểm cho các dự án nghiên cứu và phát triển, với niềm tin rằng công nghệ này là cực kỳ cần thiết. Chúng tôi đã tạo ra một gói phần mềm hoàn chỉnh gọi là công nghệ xác minh mô hình (model verification), kiểm tra phần mềm từ giai đoạn thiết kế, kiểm tra mã code, công nghệ xác minh động cho giai đoạn hậu phát triển và các công nghệ mô phỏng. Đi từ con số 0, Suresoft Tech đã phát triển các kỹ thuật đa dạng từ xác minh mô hình đến xác minh sản phẩm hoàn thiện; cung cấp giải pháp “một cửa” (one stop), và đây cũng là tính năng nổi bật của công ty.

Mở rộng thị trường xác minh phần mềm

Ngày nay, nhiều thiết bị điện và điện tử công nghệ cao được gắn trên xe ô tô. Xác minh phần mềm trở thành một phần thiết yếu để ngăn ngừa sự cố, đảm bảo an toàn cho các linh kiện. Ngoài lĩnh vực ô tô, Suresoft Tech đang phát triển công cụ xác minh phần mềm cho lĩnh vực năng lượng, hệ thống vũ khí, đường sắt và đường biển. Kiểm tra phần mềm ngày càng trở nên quan trọng ở xe điện, xe tự hành, rô-bốt, máy bay không người lái drone và các dịch vụ chăm sóc sức khỏe. Có thể thấy thị trường này có tiềm năng tăng trưởng rất cao. Giám đốc Bae Hyeon-seop chia sẻ. 

Thị trường phần mềm tối quan trọng toàn cầu đã đạt 63 tỷ USD năm 2019, dự kiến sẽ tăng trưởng 5,6% mỗi năm và vượt 90 tỷ USD vào năm 2024. Thị trường trong nước cũng được dự báo sẽ tăng từ 1,3 tỷ USD năm 2019 lên 2,7 tỷ USD năm 2024. Xe tự hành và xe điện đang trở nên phổ biến và nhu cầu phần mềm và kiểm tra phần mềm đang bùng nổ. Nhu cầu đặc biệt cao trong các ngành công nghiệp chủ chốt của Hàn Quốc như sản xuất ô tô và đóng tàu cũng như ngành hàng không, ngành công nghiệp trọng điểm quốc gia. Tôi đang hình dung ra tương lai xán lạn của thị trường này.

Tự hào về năng lực công nghệ ưu việt tại Hàn Quốc

Bên cạnh sự phát triển của riêng công ty, Suresoft Tech luôn nỗ lực tìm cách đóng góp nhiều hơn cho xã hội. Theo đó, công ty đã thành lập một liên doanh có tên “Sure Data Lab” với Tổng công ty điện lực Hàn Quốc, nhằm bảo vệ những người cao tuổi khỏi cuộc sống đơn độc thông qua dữ liệu phân tích mức tiêu thụ điện. Nếu lượng điện tiêu thụ giảm đột ngột, cơ quan và chính quyền địa phương có thể kịp thời đến hiện trường để xác minh. Doanh nghiệp có kế hoạch mở rộng hình thức này sang các dịch vụ đa dạng dành cho những người yếu thế trong xã hội thay vì chỉ dành cho người cao tuổi. Suresoft Tech cũng tham gia chương trình hỗ trợ nạn nhân bị tai nạn giao thông từ năm 2000. Công ty đã giành được Giải thưởng xúc tiến khởi nghiệp mạo hiểm năm ngoái do Tổng thống trao tặng và được công nhận là doanh nghiệp có tinh thần chia sẻ và đề cao giá trị xã hội. Giám đốc Bae Hyeon-seop chia sẻ.

Hàn Quốc từng phụ thuộc nhiều vào phần mềm nhập khẩu với các lĩnh vực quan trọng, song nhiều phần mềm hiện nay được sản xuất nội địa. Mặc dù vậy, công nghệ nào cũng có thể có lỗi nếu công nghệ kiểm tra phần mềm không đảm bảo. Chúng tôi tự hào vì được đóng vai trò cầu nối giúp các doanh nghiệp độc lập về công nghệ. Không có nhiều doanh nghiệp nước ngoài có thể đảm bảo khả năng kiểm tra phần mềm đa dạng như chúng tôi. Tôi tin rằng công nghệ của Suresoft Tech có thể thu hút ở thị trường nước ngoài. Chúng tôi sẽ tập trung vào nghiên cứu và phát triển, áp dụng công nghệ vào các lĩnh vực công nghiệp quan trọng, nâng cao năng lực, trở thành doanh nghiệp kiểm tra phần mềm được công nhận rộng rãi trên thị trường toàn cầu.