Stryker Cloud Agent

This project is mainly about transfer a mutation testing tool called Stryker to a cloud native one. The basic idea is using a cloud runner (an agent) to run the mutants parallel in the cloud. In this way, intuitively, if all the mutants can be run in parallel in the cloud, the whole testing process can be speed up.

Summary

Error classifications:

• failure to satisfy specifications due to implementation error
• failure to write specifications that correctly represent a design
• failure to understand a requirement
• failure to satisfy a requirement.

Error are always reflected in programs as:

[Paper Reading] Investigations of the Software Testing Coupling Effect

Two principles/hypothesis:

• Competent Programmer Hypothesis
  • Since examples of complex faults that are not coupled to simple faults can be constructed, the coupling effect is probabilistic rather than absolute.
• Coupling Effect

They evaluate the effectiveness of concurrency coverage over eight existing metrics. They find that the metrics are moderate to strong predictors of testing effectiveness varies across programs, and can be used for test generation targets.

Paper

Testing and Mutation Testing on GPU kernels

Goal: How existing test theory can be used and adapted to the specific use case of GPU kernels.

Two directions

• What would be useful coverage criteria to estimate the quality of test suites. ✅
• The generation of test cases based on either code inspection or user-defined properties.