判断赋值语句是否正确，可以从以下几个方面进行考虑：
语法正确性
检查赋值语句是否符合编程语言的语法规则。例如，Java中的赋值语句必须以分号结尾，否则编译器会报错。
类型匹配性
确保赋值语句左侧的变量类型和右侧的值类型匹配。例如，在Python中，变量类型是动态的，但在Java中，变量类型是静态的，一旦定义就不能改变。如果在Java中将一个整型变量赋值为一个字符串，编译器会报错。
变量声明性
确保在使用变量之前已经声明了变量。例如，在C语言中，使用未声明的变量会导致编译器报错。
执行顺序性
考虑赋值语句的执行顺序是否正确。例如，在C语言中，赋值语句的执行顺序是从右到左，而不是从左到右。如果赋值语句中使用了多个变量并且没有按照正确的执行顺序，就会导致程序出现错误。
值的范围
确保赋值语句中右侧的值在左侧变量的范围内。例如，对于整型变量，如果给它赋一个超出其范围的值，程序会报错。
程序逻辑
考虑赋值语句是否符合程序逻辑。例如，在一个循环中，如果每次都对同一个变量进行赋值，会导致变量的值一直被覆盖，最终得到的结果可能不是预期的。
特殊注意事项
在某些编程语言中，赋值语句的左侧不能是常量，除非是条件判断语句。函数赋值时，不能像C中的`return`值那样直接赋值，而应该通过函数名进行赋值。
通过以上几个方面的检查，可以较为全面地判断赋值语句的正确性。如果赋值语句在这些方面都符合编程语言的规则，那么可以认为赋值语句是正确的，从而让程序正常运行。