0×00背景形式化方法（FormalMethods）在我们一般人眼中是非常高大上的东西，最多也就是当年在课堂上听说过而已，在实际工作中很少有人使用。前一阵子Reddit上的一个帖子让高冷的形式化方法也上了一次头条，故事就是国外某技术团队利用形式化方法验证了Java中一些排序算法的正确性，但是在验证Timsort排序算法时发现了Bug，于是便向Java开源社区报告了这个Bug，同时给出了
为什么要有进程优先级？这似乎不用过多的解释，毕竟自从多任务操作系统诞生以来，进程执行占用cpu的能力就是一个必须要可以人为控制的事情。因为有的进程相对重要，而有的进程则没那么重要。进程优先级起作用的方式从发明以来基本没有什么变化，无论是只有一个cpu的时代，还是多核cpu时代，都是通过控制进程占用cpu时间的长短来实现的。就是说在同一个调度周期中，优先级高的进程占用的时间长些，而优先级低的进程占用
性能对于一款app来说至关重要，而程序的内存占用情况就是一项很重要的性能指标。虽然iOS5.0版本之后加入了ARC机制，但由于相互引用关系比较复杂时，内存泄露还是可能存在。在本文中小编将给大家介绍一下在非ARC的情况下，如何使用Instruments-leaks工具来查找程序中的内存泄露。运行Instruments-leaks工具打开Xcode自带的Instruments：或者：按上面操作，bui
在Android自动测试过程中，会遇到各种缩写名词，工具的名字，插件的名字，长得还很像，在这里做个简单的介绍~AndroidSDK（softwaredevelopmentkit）AndroidSDK是google提供的Android平台上开发软件的开发包，想要开发android上面的软件，就要用androidSDK。玩Android自动化测试，一定要有AndroidSDK。AndroidSDK下载
这两天Medium上最火文章HerearetheTopTechCompanies’SecretstoHiringtheBestPeople，来自谷歌前员工SarahCooper。谷歌、Facebook、苹果、亚马逊等这些顶尖高科技公司每年都会收到“千万亿”量级的简历，可以肯定：他们有自己筛选人才的方法，但那究竟是什么呢？答案，绝不是网上很火的那套“谷歌面试题”。事实上，他们对招聘过程的系列微调，已
有幸邀请到雪球测试团队负责人刘晓光来《第四期测试沙龙》分享《小厂如何做测试》，PPT如下：
编者语：“周末快到了，大家工作一定都累了吧，小编送上程序猿和测试媛之友谊的小船咋说翻就翻，关心互联网行情时......想约程序员吃饭时......提及对象时......想知道，赶紧往下拉~~~”
自动化测试的概念证明（POC）：实施自动化测试（POC）是至关重要的，最常用的是向一个团队介绍一个工具的一种方法。一旦决定做自动化测试，选定了工具，就是时候为POC创建原型，然后提交给管理层来展示它的实时使用情况以及效益。要做到这一点：1、决定在POC中我们将用到的测试用例2、选择客户最感兴趣的领域可以帮助更好的展示3、通过一种方式来计划显示手工测试VS自动化测试，证明选择自动化测试在质量上没有退
时代的进步是建立在残酷的淘汰赛上，机器人与人工智能即将取代技术性工作，包括华尔街高薪族群也难逃这场残酷淘汰赛，如何在知识经济时代中保住工作，大家都想知道，但都说不明白，唯独写程序是目前世界公认新世代最需要的重要技能，但下面这篇文章认为，把写程序当神是错误认知。在《向Google公车丢石头的启示：成长如何变成繁荣的敌人》一书中，作者DouglasRushkoff表示，现在许多想要进入数码市场的企业，
让我们先慢慢品味一段苏格拉底和失恋者精彩的对话，就能体会到苏格拉底的智慧，以及苏格拉底反诘法（Socraticirony）苏格拉底：孩子，你为什么悲伤？失恋者：我失恋了。苏格拉底：哦，这很正常。如果失恋了没有悲伤，恋爱大概也就没有什么味道。可是，年轻人，我怎么发现你对失恋的投入比对恋爱的投入还要倾心呢？失恋者：到手的葡萄给丢了，这份遗憾，这份失落，您非当事人，怎知其中的酸楚啊。苏格拉底：丢了就是丢
热门文章