要检查正在上传的文件是否为 .EXE 或 PDF 文件，你可以使用 ASP.NET MVC 中的以下代码示例：

[HttpPost]
public ActionResult UploadFile(HttpPostedFileBase file)
{
    if (file != null && file.ContentLength > 0)
    {
        var fileExtension = Path.GetExtension(file.FileName);

        if (fileExtension == ".exe" || fileExtension == ".pdf")
        {
            // 执行上传文件的操作
            file.SaveAs(Server.MapPath("~/Uploads/" + file.FileName));

            // 其他逻辑...

            return RedirectToAction("Index");
        }
        else
        {
            // 提示错误信息
            ModelState.AddModelError("File", "只允许上传 .EXE 或 PDF 文件");
        }
    }

    return View();
}

在上述代码中，我们首先检查上传的文件是否存在且大小大于零。然后，我们使用 Path.GetExtension() 方法获取文件的扩展名，并将其与允许的扩展名进行比较。如果文件的扩展名是 .EXE 或 .PDF，则执行上传文件的操作。

如果文件的扩展名不是 .EXE 或 .PDF，则将错误信息添加到 ModelState 对象中，以便在视图中显示错误。

请注意，上述代码只是一个示例，你可能需要根据你的实际需求进行相应的修改和调整。