[转] java assertion使用
来源:互联网 发布:用友软件试用版下载 编辑:程序博客网 时间:2024/06/09 23:01
assertion的使用是一个复杂的问题,因为这将涉及到程序的风格,assertion运用的目标,程序的性质等问题。通常来说,assertion用于检查一些关键的值,并且这些值对整个程序,或者局部功能的完成有很大的影响,并且这种错误不容易恢复的。assertion表达式应该短小、易懂,如果需要评估复杂的表达式,应该使用函数计算。以下是一些使用assertion的情况的例子,这些方式可以让java程序的可靠性更高。
1. 检查控制流; 在if-then-else和swith-case语句中,我们可以在不应该发生的控制支流上加上assert false语句。如果这种情况发生了,assert能够检查出来。例如:x取值只能使1,2,3,我们的程序可以如下表示
- switch (x)
- {
- case 1: …;
- case 2: …;
- case 3: …;
- default: assert false : "x value is invalid: "+x;
- }
2.在私有函数计算前,检查输入参数是否有效;对于一私有些函数,要求输入满足一些特定的条件,那么我们可以在函数开始处使用assert进行参数检查。对于公共函数,我们通常不使用assertion检查,因为一般来说,公共函数必须对无效的参数进行检查和处理。而私有函数往往是直接使用的。
例如:某函数可能要求输入的参数必须不为null。那么我们可以在函数的一开始加上
- assert parameter1 != null : "paramerter is null in test method";
3. 在函数计算后,检查函数结果是否有效;对于一些计算函数,函数运行完成后,某些值需要保证一定的性质,因此我们可以通过assert检查该值。例如,我们有一个计算绝对值的函数,那么我们就可以在函数的结果处,加上一个语句:
- assert value >= 0:"Value should be bigger than 0:"+value;
通过这种方式,我们可以对函数计算完的结果进行检查。
4.检查程序不变量;有些程序中,存在一些不变量,在程序的运行生命周期,这些不变量的值都是不变的。这些不变量可能是一个简单表达式,也可能是一个复杂的表达式。对于一些关键的不变量,我们可以通过assert进行检查。例如,在一个财会系统中,公司的支出和收入必须保持一定的平衡关系,因此我们可以编写一个表达式检查这种平衡关系,如下表示。
- private boolean isBalance() {
- ……
- }
在这个系统中,在一些可能影响这种平衡关系的方法的前后,我们都可以加上assert验证:
- assert isBalance() : "balance is destoried";
- [转] java assertion使用
- java assertion
- java assert的使用并深入解析Java的assertion
- 断言assertion使用
- Assertion断言的使用
- 学习 java assertion (zz)
- Java的特性-assertion
- Assertion in Java
- java assertion详解
- Java Assertion总结
- Java assertion机制
- JAVA中assertion详解
- Assertion
- 断言(Assertion)的使用场景
- Java assertion完美经典教程
- 深入解析Java的assertion
- Java assertion完美经典教程
- 深入解析Java特性assertion
- ExitThread的用法和主线程调用情况
- VC用ADO访问数据库全攻略
- Google百度和谷歌的那些事(转载)
- 关闭刺耳的Ubuntu系统报警喇叭
- MFS的FAQ(英文)
- [转] java assertion使用
- 好想去北京献花给Google,送一程!
- 多线程并发访问,等待同一事件退出。
- 抽象类接口
- 接口例子
- 怎样恢复刚刚删除的文件(已经清空回收站)!
- ASSERT和VERIFY的异同
- 一点感想
- 面试相关