在ASP.NET MVC 3.1中，可以使用数据注解来实现对文本框的非空验证。下面是一个示例代码：

public class MyModel
{
    [Required(ErrorMessage = "文本框不能为空")]
    public string MyTextBox { get; set; }
}

在上面的示例中，我们为MyTextBox属性添加了一个Required属性，该属性指示该文本框不能为空，并且在验证失败时会显示错误消息"文本框不能为空"。

接下来，在视图中使用Html.TextBoxFor方法来生成文本框的HTML代码：

@model MyModel

@using (Html.BeginForm())
{
    @Html.LabelFor(m => m.MyTextBox)
    @Html.TextBoxFor(m => m.MyTextBox)
    @Html.ValidationMessageFor(m => m.MyTextBox)
    
}

在上面的示例中，我们使用Html.TextBoxFor方法生成了一个文本框，并使用Html.ValidationMessageFor方法生成了一个用于显示验证错误消息的元素。

最后，在控制器的POST方法中，我们可以通过ModelState.IsValid属性来检查模型的验证状态：

[HttpPost]
public ActionResult MyAction(MyModel model)
{
    if (ModelState.IsValid)
    {
        // 模型验证通过，可以执行相应的操作
        // ...
        return RedirectToAction("Success");
    }
    else
    {
        // 模型验证失败，返回视图显示错误消息
        return View(model);
    }
}

在上面的示例中，我们通过ModelState.IsValid属性来检查模型的验证状态，如果验证通过，则执行相应的操作，否则返回视图显示错误消息。