I am looking for some good examples of pure Computer Science and Mathematics applications in software QA. The objective is to create a course for CS and Applied Math students with applications that can be used in both practical and theoretical QA.
Thank you!
Statistics is often used explicitly or implicitly. Some examples:
Analyzing the validity of multiple performance tests results.
Choosing parameter values based on distribution, e.g. uniform vs. normal
Developing test techniques, e.g. a proof that randomness is as good as X wise testing under certain assumptions.
I agree with both Rsf and jruberto statement, I think statistics and Big-O is used frequently, In addition here is some other topic that is used too i.e
For pure CS, I think this is a good example used on QA (All Pairs Testing)
Big O notation comes to mind. Important to understand the scalability of a system, given the anticipated input.
Equivalence partitioning is also frequently used in test design.
