ソフトウェア検証

ソフトウェア検証

テストは常にソフトウェア開発の重要な不可欠なステップです。製品の最終的な品質を決定し、製品がユーザーに到達する前にリスクと欠陥を最小限に抑えます。テスト結果は、企業にソフトウェアの独立した概要を提供し、ソフトウェアを導入する際の潜在的な欠陥の適切な評価と明確な理解を可能にします。

幸いなことに、KSEは品質に対する厳しい要求を持つ日本のパートナーと協力してきました。最高のQAサービスを提供するために、KSEのチームは技術力と専門知識を継続的に向上しております。 KSEのQAは表面的な欠陥の発見のみならず、内部の分析も行い、潜在的に不具合とないうる脅威の発見/防止も行っております。したがって、KSEはお顧客に提供している製品に対してQAサービスを提供することに自信を持っています。

KSE ソフトウェアQAの経験

KSEはソフトウェアエンジニアリング分野、特にソフトウェアQA保証に関する経験豊富な専門家が率いるQAグループを擁しています。たとえば、Dr. Ngoc Do、Dr. Tang Nguyen、Dr. Hoa Tran、Dr. Ngoc Nguyenなどです。私たちの専門はコンピュータサイエンスと数学、ソフトウェア検証、ソフトウェアモデリング、ソフトウェアモデルのチェックとテスト、安全性が重要で安全なソフトウェアシステムの品質を向上させるための正式な方法など。

博士号取得後、これらの専門家は独立行政法人産業技術総合研究所や企業で働く機会がありました。彼らは、ソフトウェアの品質保証、ソフトウェア/システムの検証、検証など、オムロン、ダイキン、富士通、東芝、トヨタなどの日本のIT産業企業と共同研究プロジェクトに参加しました。これらのプロジェクトでは、モデル検査(SPIN、NuSMV、SAT / SMTソルバー)、自動テスト(VDM)、プログラム分析(C / C ++、Javaソースコード用)などのさまざまな検証および検証技術が実際に調査および適用されています。例えば、オムロン社が開発した列車運賃計算・調整システムの信頼性の検証、富士通が開発したリアルタイムの安全重視のフォールトトレランスオペレーティングシステム、東芝が開発した自動車用オペレーティングシステムの信頼性とセキュリティの検証などです。

KSEのQAサービスには以下が含まれます:

  • 要件分析
  • オートメーションソリューションの開発
  • QA相談の提供
  • プラットフォーム認証の実行
  • テスト戦略の策定と計画
  • テスト手法の検討、方法論、アプローチの選択と適用
  • 概算時間とスコープの見積もりを提供
  • 統計情報と網羅率の分析
  • テスト環境の構築
  • ユースケースの分析とテストケースの作成
  • テストケースの実行と結果の分析
  • 欠陥の調査、レポートの提供と修正の検証
  • テストサイクルの結果の分析と統計/解析の収集
  • テストサイクルのステータスレポートの準備
  • 透過的な報告とコミュニケーションプロセス

弊社が提供するテストサービス一覧:

  • 単体テスト
  • スモークテスト/サニティテスト
  • システム統合テスト
  • ユーザビリティテスト
  • 回帰テスト
  • 受け入れテスト
  • 探索的テスト
  • グローバリゼーションテスト

自動検証と検証:

  • 形式的手法
  • モデル検査
  • 自動ソースコードプログラム分析
  • 自動テスト
  • 自動テストケース生成

QA 方法論と技術

  • Software Testing Tools: JUnit, Selenium, VDM, Cucumber, TestCompelete, eggPlant…
  • Model checking: SPIN, NuSMV, Z3 SAT/SMT
  • Specification Tools: VDM++, SML, B/Event B, PSL …
  • Simulation & Verification: Matlab/Simulink, Verilog, UPPAAL, SCADE
  • Full Product Verification & Inspection
  • Test Planing and Execution, Test Automation and Report Documents
  • Program analysis: Java PathFinders, CppCheck, Yasca, FindBugs, Cpplint
  • Automated Test case generation: Feature oriented testing, pairwise testing, mutual testing