思路:直接在状态图上跑dp,最后枚举一下42种一下的。。 这个枚举有点恶心。 ...
分类:
其他好文 时间:
2018-08-18 13:06:54
阅读次数:
147
设计尽量少的用例,达到对软件功能尽量多的覆盖 (现在有去用例化的趋势,用思维导图代替) 1.等价类和边界值 2.因果图和判断表 3.正交实验法(需要正交表,忽略) 4.状态图和场景法 等价类举例: 假定我们要测试一个两位整数加法器,其功能需求如下。 输入两个两位整数,相加后,结果正确显示。要求如下: ...
分类:
其他好文 时间:
2018-07-28 23:24:02
阅读次数:
243
node.js中使用session实现:验证用户是否已登录功能并维持用户的在线状态。 目的:用户必须登录才能进入商品页面和购物车页面,如果不经过登录就访问商品页面会拦截并自动跳转到登录页面。 用户登录后流程: 用户未登录流程: 为什么要用session:Http协议是无状态的,也就导致服务器无法分辨 ...
分类:
其他好文 时间:
2018-07-21 21:28:55
阅读次数:
223
https://blog.csdn.net/doubleface999/article/details/55798736 前一阵用上了win8,装了最新版本的Tortoise SVN,但发现文件夹和文件的svn状态图标不显示,其他操作都正常。在网上搜了一些方法。 解决方法一(失败): 升级最新版本。 ...
分类:
其他好文 时间:
2018-07-03 15:06:03
阅读次数:
165
常用命令 查看、添加、提交、删除、找回,重置修改文件 git help <command> # 显示command的help git show # 显示某次提交的内容 git show $id git co -- <file> # 抛弃工作区修改 git co . # 抛弃工作区修改 git add ...
分类:
其他好文 时间:
2018-06-30 17:01:19
阅读次数:
193
https://blog.csdn.net/qq_20082961/article/details/73718363 以前做了一个流量悬浮窗,悬浮窗里有当前网络状态的图标和网速的文字,想实现改变文字颜色的同时改变状态图标的颜色 实现后分享出来让大家参考下 先上图 以下是关键代码 想知道具体原理的可以 ...
分类:
移动开发 时间:
2018-06-25 20:17:56
阅读次数:
303
一、测试与正确性论证 测试:从需求出发,构造测试集,给出期望输出,可以证明程序存在bug,但是无法证明程序是正确的 正确性论证:从程序最终实现出发,基于程序逻辑,通过假设、推理、论证,证明程序的正确性。 两相比较下,正确性论证具有更高的严谨性,但是也需要投入更大的时间精力。故两种方法难分高下,有不同 ...
分类:
其他好文 时间:
2018-06-25 19:06:30
阅读次数:
293
一、程序测试是指测试者特意挑出一批输入数据,通过运行程序,检查每个输入数据所对应的运行结果是否符合预期要求。 正确性证明是论证程序达到预期目的的一般性陈述,而该论证与程序输入数据的特定值无关,能够代表穷举性测试。 而Dijkstra说过“程序测试只能证明程序有错,不能说明程序正确”。除非进行穷举行测 ...
分类:
其他好文 时间:
2018-06-25 15:16:46
阅读次数:
184
经过大约2周的时间终于完成了软件工程的超市管理系统的设计文档。在这次的实验过程,我作为组长,承当着主要任务。从设计文档的实现目标,到状态图的绘制,88%都是我独自完成的;布署图、数据持久化、包图则是由其他成员完成的。在这过程中,我把上课学的如何画图的方法真正运用到这次的设计文档中,进一步了解了顺序图 ...
分类:
其他好文 时间:
2018-06-24 23:40:22
阅读次数:
172