Software QA Services

Software Quality Assurance

Software quality assurance is the process of ensuring the quality of software that it meets the required it meet the desired quality measures. Software Quality Assurance is implemented in various types of software models. SQA is used to test the software, rather than checking the quality after completion. SQA processes, test for quality in each phase of development until the software is complete. With the SQA the software development moves to the next phase if the current phase of software is compiled with required quality standards. SQA works on one more standards that help in building software quality guidelines and implementation strategies. These include ISO 9000 and capability maturity model CMM.

Main Activities of SQA are as follows

  • Maintaining the quality of the system as per the specification and business requirements.
  • Defect prevention and formal methods for other defect prevention technique.
  • Defect Reduction. Defect tracking techniques and methods. Software fault tolerance. Concluding remarks and maintaining reports.
  • Direct fault detection and removal without executing the project scenario.
  • Testing the project for Failure observation and bug removal.
  • Risk identification

KSE QA Experiences

KSE has a QA group lead by experienced experts in software engineering field especially in software QA assurance like Dr. Ngoc Do, Dr. Tang Nguyen, Dr. Hoa Tran, Dr. Ngoc Nguyen, etc. They get PhD in software engineering topics such as computer science and mathematics, software verification, software modelling, software model checking and testing, formal methods to improve quality of safety-critical and secure software systems.

After obtaining the PhD, these experts had opportunities to work at Japan National Institute of Advanced Industrial Science and Technology (AIST) and companies. They had joined many collaborative research projects with Japanese IT industrial companies like OMRON, Daikin, Fujitsu, Toshiba, Toyota … on the topic of software quality assurance, software/system verification and validation. In these projects, different verification and validation technologies such as model checking (SPIN, NuSMV, SAT/SMT Solvers), automated testing (VDM), program analysis (for C/C++, Java source codes) had been investigated and applied in practice, e.g., verify reliability for a train fare calculation and adjustment systems developed by OMRON company, verify reliability and security for a real-time safety-critical fault-tolerance operating system developed by Fujitsu, an automotive operating system developed by Toshiba, etc.

KSE QA Service and Capabilities

  • Analyzing requirements
  • Modeling and formalizing software system
  • Developing automation solutions
  • Providing QA consultation
  • Performing platform certification
  • Developing and planning test strategies
  • Selecting and adapting test techniques, methodologies and approaches
  • Providing timeframes and scope estimations
  • Defining coverage and statistics metrics
  • Setting up test environments
  • Analyzing use cases and creating test cases
  • Executing test cases and analyzing results
  • Investigating defects and providing reports and “fixes” validation
  • Analyzing test cycle results and collecting statistics/metrics
  • Preparing test cycle status reports
  • Transparent Reporting and Communication Process

Functional Testing Services Covers:

  • Unit Testing
  • Smoke testing/Sanity testing
  • System & Integration Testing
  • Usability Testing
  • Regression Testing
  • User Acceptance Testing
  • Exploratory Testing
  • Globalization Testing

Automated Verification & Validation Services Covers:

  • Formal Methods, Model Checking
  • Automated source code/program analysis
  • Automated Testing, Automated Test case generation

QA Technologies & Tools

  • 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