runxinzhi.com
首页
百度搜索
改进程序质量的技术手段:Test,DBC
目前能想到的是:
1 单元测试
2 DBC-Design by Contract
单元测试已经广泛采用了。DBC似乎应用还不行,今天搜索了下,微软提供了一个spec#,看上去还不错,我安装后VS崩溃了,网上资料也很少,看来还不成熟。不知道是否有替代方案。
DBC能够在编译阶段检查出代码调用参数的错误,可以高效率地避免很多错误。
目前只能是自己产生ArgumentException的方式来检查了。我个人觉得每个方法都应该检查参数,好像有个尽早出错原则,尽管显得有些繁琐。
希望能早日用上DBC。
分享:practice makes perfect.
相关阅读:
随机变量和期望
lj的锁
lyd的旅行
sg函数和nim游戏的关系
game with probability problem
cf 853 B Jury Meeting [前缀和]
cf 853 A planning [贪心]
[ZJOI2015][bzoj3924] 幻想乡战略游戏 [动态点分治]
[IOI2011] Race [点分治]
[网络流24题] 星际转移问题
原文地址:https://www.cnblogs.com/chenge/p/1050571.html
最新文章
[CF911G]Mass Change Queries
[洛谷P4925][1007]Scarlet的字符串不可能这么可爱
推理代码 multi-person-openpose_rknn-cam_coco.py
openpose_caffe_to_rknn.py
找运行记录环境
linux cmake error undefined reference to symbol 'pthread_create@@GLIBC_2.2.5
opencv百度网盘下载
ubuntu18.043399pro环境配置
refineDet-caffe的配置环
anaconda 虚拟环境编译安装caffe
热门文章
luogu P1646 [国家集训队]happiness (最小割)
网络流板子
牛客 133D 挑选队友 (分治FFT)
Vasya's Function CodeForces
Cactus CodeForces
洛谷 三分法求函数极值
poj2762 Going from u to v or from v to u?
bzoj1010 玩具装箱
hdu3507 print article
数学期望
Copyright © 2020-2023
润新知