Victoria berry&IT SAP BLOG: 3月 2016

程序bug导致了天大的损失，要枪毙程序猿吗？

2015年9月3日，随着东京最高法院驳回瑞穗证券的上诉，维持二审的原判结果，一个长达10年的诉讼终于画下了句号。这个判例将对IT行业产生深远的影响：如果程序的bug导致了巨大的经济损失，应该由谁来承担？用户？运营商？还是系统开发商？

bug：计算机程序里的错误

今天故事的主角是，瑞穗(みずほ)证券，东京证券交易所(下文简称东证)，和富士通。

各位富士通的同学，雷子真的不是富士通黑啊。你们公司行业内第一，项目多，所以卦点就多啊！要是又一次伤害了你们的感情，看下图能原谅我不……

嗯，该说的也都说过了，下面正式开始。

（一）瑞穗证券的乌龙指事件

如果时光能够倒流，让瑞穗证券的交易员田中君(化名)穿越回2005年12月8日东证开盘前的那几分钟，田中君会不会选择把自己那根乌龙指给掰断呢？

乌龙指(fat finger)：是指股票交易员、操盘手、股民在交易的时候，不小心敲错了价格、数量、买卖方向等。

正是由于田中君的一次错误输入，让他所在的瑞穗证券遭受了超过400亿日元的天价损失。虽然日元那面额画得跟冥币似的，400亿日元也还是相当值些银子滴(按照当时的汇率，约为人民币27亿元)。

这天，是日本公司J-Com首次公开上市(IPO)的日子。上午9:27，距离开盘还有几分钟。田中君接到一位客户的委托：“以61万日元的价格，卖出1股J-Com的股票”。田中君接到委托后，在瑞穗证券的交易终端上，错误地输入了“以每股1日元的价格，卖出61万股”。

指令发出后，瑞穗证券的交易软件检查到这是一个异常的交易订单，给出了一个警告的对话框。可是，像瑞穗证券交易员这种级别的操盘手，玩的就是不按套路出牌，每天这种警告对话框见得太多了好么。田中君甚至都没有好好读一下对话框里的内容，就按下了确定按钮。于是，这个巨大的卖单就挂在了东证的交易盘口上。

2分钟后，田中君发现了这个错误，赶紧试图通过交易软件撤销这笔卖单。可是连续输入3次撤单指令，都被东证的交易系统拒绝了(后来查明是由于交易系统的bug所致)。

田中君又迅速给交易所的负责人打电话，要求将这个卖单撤下。交易所的人表示：“我们无权操作，这个问题只能你们自己想办法”。

这时盘口交易已经开始。这个巨大的卖单首先将开盘价定在了67.2万日元，然后又依次将所有买单成交，最终将J-Com的股价钉死在跌停价57.2万日元上。（与天朝不同，日本的涨跌停价并不是严格的按照10%来计算，而是根据开盘价确定出一个整数的价格范围）

此刻市场内一片大乱。散户们被这个巨大空单吓得惊慌失措，以为J-Com公司出了什么问题，纷纷跟风抛售。而一些机构和大户已经猜到是出了乌龙指，迅速在跌停价买进。一些有节操的机构，例如德意志证券，买了几手后觉得实在是太不厚道，自觉停止了抢购。而大部分机构纷纷表示：节操才多少钱一斤，有便宜不占王八蛋啊！抢得不亦乐乎。

可能有同学不太懂股票交易，大概就是下面这种赶脚。

本来，客户的委托是下面这样的......

然而，手残的田中君把数字输入错了……

但是，股票价格有涨跌幅限制。所以页面发布以后，系统又自动把价格改成了下面这样......

就算是57万，也是非常便宜了好么！大妈，不，大户们迅速围观，争相爆买......

在股市这个游戏规则里，只要你卖出的股票有人接了，那成交后就必须把货交给买家才行。可是，J-Com的股票一共才发行了14000多股，大部分还由公司高管持有，真正在市场上流通的也就3000多股。61万股，让瑞穗上哪里去弄？总不能自己在家里画啊！

没有办法，瑞穗证券只好发出了反向买入的决定，开始和其他人一起抢购筹码。这样一来，J-Com的股价又被拉高到涨停价77.2万日元，一直持续到当天的交易结束。在当天的交易中，瑞穗证券一共损失了约270亿日元。

受到影响的不仅仅是J-Com的股价。瑞穗证券直到当天收盘后，才向外界披露了这一乌龙指事件。而在当天的交易过程中，市场上已经有传闻，一家证券公司搞出了乌龙指，将有重大亏损。由于不知道是哪家券商出了问题，所有券商股票都惨遭抛售。

这下证券公司都哭了，纷纷发表声明：股东老爷们，真的和我没关系啊......然并卵。其中最惨的是J-Com上市的主要发行商——日兴证券，股价一度狂跌了8%。而这股不安情绪也影响了所有投资者。当天收盘时，日经指数大跌了301点。

（二）事后收场

首先是成交单的交割问题。不存在的股票怎么交割啊？虽然瑞穗证券通过回购，抢回了大部分的卖单，但还是有9万多股被其他机构和散户买走了。根据规则，瑞穗必须在3天之内交货(日本的交割日是T+3)。前面说过，市场上一共才流通了3000多股J-Com的股票，这9万多股真是逼死瑞穗证券也拿不出来啊。

最后经过协商，买卖双方同意用现金来结算。清算的价格定在了每股91万日元——这是瑞穗证券敲下乌龙指前一刻的股票价格。这次现金交割又让瑞穗证券雪上加霜，损失扩大到400多亿。

至于当事人田中君，似乎并没有受到太严厉的惩罚。瑞穗证券至今也没有公布当事人的真实姓名，只知道是一名男性证券经纪人。事件发生时，正赶上日本公司要发年终奖。就因为田中君的一个错误操作，一下子把公司一整年的利润都给干掉了，让瑞穗证券所有员工的年终奖都泡了汤。有传闻，田中君成了瑞穗证券里“最讨厌的人排行榜”的No.1。

那些趁火打劫的机构大户也受到了指责。事后查明，共有22家机构在此次乌龙指事件中获利。其中瑞士银行，摩根斯坦利，日兴证券，雷曼兄弟，瑞士信贷，野村证券这六家机构，从这次事件中一共瓜分了168亿，占瑞穗证券损失的40%还多。

尽管这钱来的不太光彩，可毕竟是按照市场规则赚来的，所以金融监管部门只能从道德层面对这些公司进行谴责而已。有人提议，让这些公司把赚到的钱吐出来。这些公司表示：这样做，等于把公司的利润白白送给别人，没法向自己的股东交代啊。

后来在各方的调节下，一部分获利的证券公司同意把钱拿出来，成立一个保护投资者利益的基金，这是后话了。

在这次事件中，东证交易所受到了最多的质疑。首先瑞穗证券在意识到错误挂单后，曾经多次发出取消的指令，但都被交易所的系统所拒绝，这显然不符合系统的交易规则。其次，在瑞穗证券与东证负责人取得了联系的情况下，东证方面仍然放任这笔卖单继续执行，有监管不力之嫌。事后，东证社长鶴島琢夫引咎辞职。

瑞穗证券方面认为，正是由于东证的过错，才让自己蒙受了400亿日元的损失。这个错误理应由东证来买单。东证的观点是：你自己乌龙指敲错了指令，凭啥赖在我身上？对此，瑞穗证券回击：取消交易指令发出之前的那段时间，产生的损失自己认了。但是还没成交的卖单为啥不让人家撤销？

两个公司之间扯来扯去，也没把这个问题谈拢。于是，2006年9月，瑞穗一纸诉状，把东证以及交易系统的开发商——富士通告上法庭。就这样，漫长的诉讼开始了。

（三）法庭诉讼

对于这个案件，事实已经很清楚了：由于交易所的系统bug，在特定的条件下，会发生不能撤单的现象。经过详查得知，这个bug是富士通的技术人员在2000年某次程序修改时，不小心埋进去的。

本来，程序修改后必须经过严格的回归测试，来验证对其他业务流程有没有影响。可是不仅富士通忽略了这个测试，东京证券交易所在系统验收测试(UAT)的时候，也疏忽了这方面的内容。结果，炸弹在这个时间点被引爆了。（下图是包含了bug的cobol代码）

围绕着这个事实，第一个争论点是：东证和富士通，应该为瑞穗证券的损失负责吗？

起初，东证还想耍赖，把错误全部推在富士通身上。东证主张：就算是交易系统的bug导致了瑞穗证券的损失，那也是富士通的错。因为我的系统需求里面，是明确规定了可以撤单的。富士通开发的程序没有符合我的需求，才导致了这样的结果。

对于东证的这个主张，东京地方法院判定：这个系统的主要责任人是东证。富士通只是东证的系统供应商，属于连带责任人。无论是主要责任人还是连带责任人，如果被证明犯有重大过失，都应该做出赔偿。

那么，程序的bug算是“重大过失”吗？这很难说。一个系统里有没有隐藏的bug，是没法从理论上证明的。就算是测试再彻底，也会有测不到的bug流出来。所以在法律上，通常不会把所有因为bug导致的损失都归罪给程序开发商。否则的话，世界上最大的bug生产商——微软，早就赔得连内裤都不剩了。

这就带出了本案第二个争论焦点：什么样的bug才算是“重大过失”？法院给出了判断的标准——这个bug是不是很容易被发现。

于是，控辩双方都找来了由资深程序猿和攻城狮组成的砖家组，在法庭上撕成一团。

穗瑞砖家组：卧槽，这个bug简直太明显了好么？连这个都测不粗来，请问贵司人员的编程，都是音乐老师教的吗？

富士通砖家组：異議あり！这么复杂的条件组合，你特么能一下子就找出bug来啊！你们败吹牛逼了行不行！

双方的砖家团吵来吵去，谁也说服不了谁，干脆，在法官面前开始review起程序代码来了。

而此刻的法官，表情是很镇静的......

但是在法官的心里，简直有一万匹草泥马奔腾而过啊！

争辩到最后，一脸懵逼的法官表示：你们说得好像都挺有道理的......但是意见相反，所以也不能判定成容易发现.......富士通就不用赔了！

最终，东京地方法院判定：程序bug并不能算是重大过失，由这部分导致的损失无需赔偿。但是，在瑞穗证券电话联络东证交易所后，东证未能履行中止异常交易的职责，属于重大过错方。另一方面，事情的起因是由于瑞穗证券的乌龙指，所以瑞穗证券也不能完全免责。从电话联络那个时间点以后产生的损失，由东证承担70%，107亿日元。

瑞穗证券和东证都对这个审判结果表示不满，上诉到东京最高法院。2015年9月3日，东京最高法院驳回上诉，维持原判结果。长达10年的诉讼终于尘埃落定。

（四）深远影响

看到这里，程序猿和攻城狮应该是松了一口气吧，终于不用为自己写的bug而买单了。

但是且慢！根据这个判例，“bug是否很容易被检测出来”这一点，将会成为今后类似诉讼的判断基准。一旦被判定成重大过失，程序猿们可真是欲哭无泪了。

现在问题来了：身为程序猿，谁也不能保证自己的代码里没有bug。该如何做，才能避免陷入到这种境地中呢？

雷子觉得，既然无法从理论上证明程序里所有的bug都被检测出来，那么，一些行业内公认的指标，例如测试时的case密度，bug密度等，很可能会成为测试是否充分的判断依据。（对，就算没有bug我们也要制造出来！）

此外，bug对应得是否充分，也会成为判断的重要基准。一个bug被发现后，有没有进行深刻的挖掘也是很重要的，即所谓的“横展開”。看到这个词，估计很多同行会做噩梦吧！这个话题很大，雷子今后另起文章和各位同行探讨。

还有一点不要忘记，无论是测试结果也好，还是bug的对应结果也好，

要留证据！

重要的事情说三遍。

本案也让东证认识到，旧交易系统的老朽化以及bug过多等缺陷。随着近年来程序化交易的盛行，旧系统已经越来越无法满足现代证券交易的需要。比起伦敦和纽约等地的证券交易所来，当时东证系统的响应时间要慢100倍啊。

以瑞穗证券乌龙指事件为契机，导出了2010年金融行业的重大项目——东证次世代的交易系统“arrowhead”的构建。这个新系统，依然由富士通负责开发。

法庭上撕得面（ji）红（chi）耳（bai）赤（lian），回过头来该干啥干啥——东证和富士通，还真是一对好基友啊！

本文一部分图片来自网络

1.论吃，欧洲人的本土蔬菜可选择种类远远小于国内，亚洲进口蔬菜很贵很贵。欧洲人吃奶制品较多，中国人豆腐、腐竹、豆皮、豆浆摄取更多一些。中国虽然南甜北咸，但是甜食的含糖量、含油量远远小于法国餐桌上的食物。肉类上，欧洲人生肉熟肉都吃，中国人一般喜欢吃熟肉。鱼肉上，欧洲这边德国、奥地利、波兰、捷克、斯洛伐克、斯洛文尼亚等地河鱼吃的比较多，比如鳟鱼鲤鱼、鲫鱼。英法西意葡等国吃的海鱼比较多。海鱼方面，法国人鲅鱼吃的比较少，大多是红娘子、三文鱼、狼鲈鱼、多宝鱼、海鲮鱼等鱼类，和中国的鲅鱼等鱼类有一点不同。法国人喜欢吃生蚝，中国人则喜欢盐焗、蒜蓉等方式烤熟了再吃。
2.吃饭时间不同，中国晚餐大多5点到7点就开始吃了。在法国，除了快餐店，一般的餐厅最早晚上七点开门迎客，晚上八点才是顾客来的最多的时候！因为法国纬度比较高，夏天可能晚上十一点才天黑。法国人晚餐吃饭时间比较长，我在米其林星级餐厅吃饭时没有一场吃饭时间小于3小时。吃完晚饭法国人回去干什么呢？你懂得……
3.论喝，法国人喝葡萄酒、啤酒、洋烈酒比较多却几乎不喝中国酒。高档餐厅，一般会选择基尔酒、香槟、干邑、威士忌、Vieux Marc等作开胃酒，餐饮时搭配葡萄酒（香槟、干白、干红、桃红）。我们嘛，啤酒、白酒、黄酒饭局上使劲灌，有时还海饮葡萄酒，一点出息也没有（说的某些“赵家人”）。个人建议黄酒还是不错的，但是白酒这种低下的东西大多是近200年才兴起的。
4.论睡眠，中国人工作劳碌世界闻名，法国则是世界上最贪睡的国家。论假期，中国假期实际履行起来很短，但是法国却很长，而且无论服务生还是医生律师哪怕总统都有休假的权利。
5.论恋爱，法国这边找情人几乎很普遍，连总统奥朗德都拿着纳税人的钱去偷情，前总统密特朗（奥朗德当时是密特朗政府最年轻的经济顾问）直接偷情偷了一个私生女家庭！！！但是不要以为他们多么厉害，法国男人花心不代表性能力强，因为他们偷情的同时也许他们的老婆也在寻找“隔壁老王”！！！在国内，相对来说还是保守许多，至于找隔壁老王基本上有闹出人命的风险。
6.法国夜生活除了巴黎、尼斯、蒙彼利埃等地其他城市并不丰富，超市基本八九点大多关门，麦当劳KFC差不多23点到午夜关门。和国内的24小时运营点不一样。晚上除了去夜店喝酒或者去“红磨坊”、剧院、音乐厅基本没地方了，个别kebab开到晚上1点，这基本上是是唯一的夜宵地。
7.法国就医很慢，需要预约，而且顶尖医生不多，举个例子，烧伤植皮手术只有亚眠一位大夫会做。在国内烧伤科同等的专家可不少啊。但是无论如何，法国没有特权阶级，相较于我国，基本不存在底层民众看病看不起的情况（除非是巴黎地铁无家可归的乞丐）。
8.法国的运动多种多样，马术、高尔夫、划船等运动很多，我经常划船且运动环境大多很好。

作者：富正义Justice
链接：https://www.zhihu.com/question/41318582/answer/90547784
来源：知乎
著作权归作者所有。商业转载请联系作者获得授权，非商业转载请注明出处。

我去给鳕鱼做了个DNA，结果全是假的！

搜了下新闻，是因为温州一哥们吃到了“油鱼”冒充的假鳕鱼，结果屁股“漏油”漏了两天。
马伊琍也曾发微博说，自己的女儿吃了假冒的鳕鱼，结果莫名其妙地拉出了一堆油。
一般新生宝宝开始吃辅食时，医生都会建议多吃一些鳕鱼。
鳕鱼不仅刺少口感好，而且还富含维生素A、D和ω-3（欧米伽3）脂肪酸等营养元素。
但是网上有个说法，市场上很少有真正的鳕鱼。
鱼龙混杂的鳕鱼市场，究竟有多少假货？
杭州的几个大型超市：麦德龙、华润万家、欧尚、家乐福、世纪联华、物美都有鳕鱼出售，基本分为两个档次：
高档的被称为“银鳕鱼”，价格一般在300——400元一公斤。低档的鳕鱼，价格只有30——40元一公斤，这个叫法就复杂了：有水鳕鱼、鳕鱼片、阿拉斯加鳕鱼、基地鳕鱼等等。
虽然价格悬殊，但商家都坚称：不管是“银鳕鱼”还是“普通鳕鱼”，都是纯正的鳕鱼，只是品种有区别。
我在6家大型连锁超市和1家高档商场的进口食品专柜，一共购买了14种“鳕鱼”，全部送到我们合作伙伴浙江出入境检验检疫局的实验室进行检测。
通过核酸检测的方法，把每个样本的DNA进行提取、扩增、测序，最后和样本库进行比对，这样就能精准地确定这些鱼的真实身份。拿到结果的时候，我有种你特么在逗我的感觉。
本次检查的所有样品中，没有一个是真正的鳕鱼！
恩，一个都没有！
狭义的来说，鳕鱼有三种：太平洋鳕、大西洋鳕、格陵兰鳕。
这三种才是真正的鳕鱼，属于鳕属、鳕科、鳕形目。
再来看看我们从商场里买到的“鳕鱼”。经DNA比对，确认为这几种鱼：
价格较为便宜的普通“鳕鱼”：
细鳞壮鳕，壮鳕属，鼠尾鳕科，鳕形目；
黄线狭鳕，狭鳕属，鳕科，鳕形目；
龙首长尾鳕，长尾鳕属，鼠尾鳕科，鳕形目；
至少这几种便宜的“鳕鱼”跟真正的鳕鱼还是远方亲戚，但那些价格敖贵的银鳕鱼真的是连半毛钱的关系都没有啦：
革首南极鱼，南极鱼科，鲈形目；
小鳞犬牙南极鱼，南极鱼科，鲈形目；
裸盖鱼，黑鮋科，鮋形目。
三种纯正的鳕鱼，其中太平洋鳕和格陵兰鳕产量一直都不高。
最为大家熟悉的是大西洋鳕，它是一种冷水鱼，它肉质细嫩，体型大，产量又很可观。
从维京时代开始，北欧的渔夫们就开始成规模的捕捞大西洋鳕鱼。
到了20世纪，人们的胃口越来越大，捕捞技术也越来越先进，这时候北欧的渔民们发现，鳕鱼居然不够捕了！
冰岛和英国为了一场鳕鱼争夺战打了二十多年。
2000年，世界自然基金会WWF发表的一项研究显示，从1970年开始，全球大西洋鳕鱼的渔获量已经下降了70%，成了濒危鱼种。
所以真正的鳕鱼，由于它是深海冷水鱼，营养价值比较高。产量又比较小，又是进口的，因此它的价格是比较贵的。
从我们的DNA检测看，14款鳕鱼没有一款是真正的鳕鱼。
相对来说，那些低档的“普通鳕鱼”，算是跟真正的鳕鱼有一点点点点点的亲戚关系。而那些价格昂贵的“银鳕鱼”，其实只是造型上有点像鳕鱼，用了“鳕鱼”的名字或许只为沾个光。
现在市场上类似银鳕、水鳕、龙鳕，其实是一种商品名称，商家把这些并不是鳕科的鱼类，冠以鳕鱼的名称，借助消费者对鳕鱼营养价值的认同，有一定的误导消费的嫌疑。

这次我们在大型连锁超市和高档商场里购买的“银鳕鱼”和“普通鳕鱼”中，倒是也没发现那种令人“屁股漏油”的坑爹油鱼。
但是在一家冷冻品批发市场都找到了这种油鱼的踪迹，而这市场是许多酒店饭店采购食材的必选之地。
这里的“鳕鱼”还真齐全，水鳕鱼、龙鳕鱼、银鳕鱼、黑鳕鱼什么都有。我们借口是小本买卖，想买一点便宜的鳕鱼。店家直接推荐了一种叫做“龙鳕鱼”的鳕鱼片。哇，龙字头的鳕鱼，有种屌屌的感觉。老板说很多日式料理很喜欢用这个，煎出来的味道跟真正的鳕鱼一摸一样。
把这个所谓的龙鳕鱼，拿去做了DNA检测，发现它就是油鱼，学名异鳞蛇鲭（Lepidocybium flavobrunneum）鲈形目，鲭亚目，鲭科，异鳞蛇鲭属。
吃了会拉肚子的，就是这种鱼，油鱼体内含有近20%的油脂，而其中的蜡酯人体不能消化，只好原样把它再排出来，就是“屁股漏油”的原因。
油鱼在我国还没有明令禁止销售，但在日本和意大利等国已经禁止了。还有像加拿大、英国、新加坡等，他们的做法是允许贸易和食用，但包装上必须详细列出其商品名和学名，不得与其他鱼类混淆，还要提示食用的风险和后果，并给出食用建议。

既然市场上很难买到纯正的鳕鱼，那么那些冒了名、沾了光的“银鳕鱼”和“普通鳕鱼”，在营养价值上跟真正的鳕鱼相差多少呢？
这些鳕鱼的脂肪含量都较低，氨基酸以及脂肪酸的评价都符合人体营养要求，也就是说除了无法食用的油鱼，其他的无论三四百一公斤的高档银鳕鱼还是三四十块一公斤的普通鳕鱼，在营养价值上相差都不大。
在往大点说，只要是深海鱼类，他们的营养价值都是差不多的，包括鳕鱼、三文鱼、金枪鱼这一类的都会含丰富的ω-3 脂肪酸等营养元素，也可以把选择范围扩大，比如东海盛产的小黄鱼、带鱼、鳗鱼都是含有同类营养元素的。
饮食的关键在于均衡，除了海鱼我们也可以通过别的食物获取促进孩子智力发育的营养元素，深海鱼它所含的营养物质ω-3会丰富一些，但不代表淡水鱼就没有了。另外，我们日常生活中会使用的油脂类，像橄榄油、菜籽油也会含有ω-3、ω-6，所以这方面是不需要有太多的担心的。
银鳕鱼和普通鳕鱼价格相差十倍，不在于营养价值，更主要的原因是他们肉质、口感以及市场稀缺性所造成的。
银鳕鱼肉质细嫩鲜美，而普通鳕鱼一般肉质松散有腥酸味。

从产量上来说，品种繁多的普通鳕鱼也比银鳕鱼要大的多。
从这次的市场实测来看，没有发现以低价普通鳕鱼或者油鱼冒充银鳕鱼的情况。但是鳕鱼市场鱼龙混杂，我也教大家几招：
如何分辨普通鳕鱼和银鳕鱼，以及坑爹的油鱼？
1.看个头，鳕鱼的个头比较大，像超市里买的已经切片的就看横截面。一些小的就很可能是海鳗河鳗来凑数的。
2.看表皮，鳕鱼的表皮是黑灰色的。鳞片比较大，油鱼的表皮比较细腻（就是油）
3.看鱼肉，鳕鱼的肉一般为乳白色的，油鱼的颜色偏黄褐色（就是油）。放在一起就比较明显啦，又边的是油鱼。最后，看价格。一般来说还的银鳕鱼要几百块一公斤，几十块钱的一般就是比较差的普通鳕鱼。