ACM通信
研究突出了
技术角度:验证解决路径爆炸问题
要查看随附的论文，请访问//www.eqigeno.com/magazines/2016/6/202649
想象一下，您正在为一个安全关键系统(如汽车的制动系统)开发一大块软件。当司机踩刹车时，你如何确保车子在任何情况下都不会加速?你怎么知道除了司机以外的人不会利用软件系统中的远程安全漏洞来阻止一辆行驶中的汽车呢?你如何确认制动系统不会因为软件系统的致命碰撞而突然失灵?
测试是软件行业用来回答这些问题并使软件系统可靠的唯一主要技术。研究表明，在工业中，测试占软件开发总成本的一半以上。尽管测试是一种用于构建可靠软件的广泛使用和完善的技术，但现有的测试技术大多是临时的和无效的——严重的bug常常在部署后暴露出来。如果可以构建一个软件系统，可以详尽地测试任何软件，并向开发人员报告软件中的所有关键bug，那不是很好吗?
没有发现记录