某房屋建筑工程于2009年5月15日通过竣工验收，建设单位于2009年5月31日办理了竣工验收备案手续。按照《建设工程质量管理条例》的规定，该工程电气管线的最低保修期限截止日期是( )。

A．2011年5月15日

B．2011年5月31日

C．2013年5月15日

D．2013年5月31日

有效性测试的目标是发现软件实现的功能与______不一致的错误。