编写一个C#程序，实现一个支持通配符匹配的函数，用于判断给定的字符串是否匹配指定的模式。函数需要满足以下要求：

- 支持两种通配符：
- `'?'` 可以匹配任意单个字符。
- `'*'` 可以匹配任意字符序列（包括空序列）。
- 输入包含原始字符串 `string input` 和模式串 `string pattern`，要求实现函数 `bool IsMatch(string input, string pattern)`。
- 匹配必须覆盖整个输入字符串，不能部分匹配。
- 请使用动态规划的方式实现，并确保时间复杂度控制在 O(m * n) 内，其中 m 和 n 分别为 input 和 pattern 的长度。
- 不允许使用正则表达式库或任何第三方匹配函数。

请在实现中体现清晰的逻辑结构、良好的代码风格，并给出至少3个测试用例验证程序的正确性。