设有一个档案管理系统，要求用户输入以年月表示的日期。假设日期限定在1980年1月~2049年12月，并规定日期由6位数字字符组成，前4位表示年，后2位表示月。现用等价类划分法设计测试用例，来测试程序的"日期检查功能"。

等价类划分法是软件测试中常用的一种测试设计技术，它将测试数据划分为等价类，每个等价类中的数据应该具有相同的功能和行为，从而减少测试用例的数量，提高测试效率。针对这个档案管理系统的日期检查功能，可以根据年份和月份分别划分等价类。

年份等价类划分：

1. 有效年份：包括1980年到2049年之间的年份，共70个年份。
2. 无效年份：小于1980年或大于2049年的年份，共无效年份2个。

月份等价类划分：

1. 有效月份：包括01月到12月之间的月份，共12个月份。
2. 无效月份：小于01月或大于12月的月份，共2个无效月份。

因此，总共划分出4个等价类：有效年份+有效月份、无效年份+有效月份、有效年份+无效月份、无效年份+无效月份。

测试用例设计：

1. 输入有效年份和有效月份，如1999年12月，预期结果为日期检查通过。
2. 输入无效年份和有效月份，如1979年12月，预期结果为日期检查不通过。
3. 输入有效年份和无效月份，如2020年13月，预期结果为日期检查不通过。
4. 输入无效年份和无效月份，如2050年00月，预期结果为日期检查不通过。

以上四个测试用例覆盖了所有的等价类，可以有效地测试程序的日期检查功能。