摘要 软件崩溃指程序的意外中断,是软件故障的一种严重表现形式.软件崩溃危害巨大:一方面,崩溃发生的反复性会带来较差的用户体验并影响公司的声誉;另一方面,崩溃发生的突然性会给用户造成巨大的甚至无法挽回的损失.随着现代软件的规模和复杂性不断增大,如何有效地防止和应对软件崩溃成为了热门研究问题.本文从软件崩溃的分析、重现、定位修复这3个方面出发,简要地回顾和总结了近年来软件崩溃的研究进展.

关键词 软件崩溃; 崩溃分析; 崩溃重现; 崩溃定位; 崩溃修复; 程序调试; 程序异常处理; software crashes; crash analysis; crash reproduction; crash localization; crash repair; program debugging; program exception handling;

摘要 随着互联网不断发展,软件开发(尤其是全球开源开发)面临诸多问题和挑战,如分布在全球的开发者个体差异明显,群体协作的困难度增加,并且广泛的社会参与形成复杂生态等.这些问题使得软件开发呈现出很强的社会学特征.因此,本文提出软件数字社会学来刻画和应对以上问题的挑战,涉及个体学习、群体协作和可持续生态.本文对核心研究方法——软件开发活动数据的挖掘和分析进行了讨论,并初步探讨了已经形成态势的开源供应链的重要问题.软件数字社会学可以启发研究者们更好地理解软件开发面临的关键挑战并探索更好的解决方案.

关键词 软件数字社会学; 软件活动数据; 个体学习; 群体协作; 开源生态; 软件供应链; 数据质量; software digital sociology; software-activity data; individual learning; group collaboration; opensource ecosystem; software supply chain; data quality;

摘要 构建高可信众包群体是众包活动的一个重要挑战.目前,众包机制研究主要集中在激励众包个体,而忽略了能够反映微服务质量的高诚信众包群体的构建.本文根据通过融合委托–代理模型和信号博弈理论提出了一种新颖的高可信众包群体构建机制.该机制实现了众包工人和发包方的信息交换,并通过随机质量审查来为诚信/失信工人提供动态的经济激励/惩罚.本文通过大规模的仿真实验来对该机制进行验证.实验结果表明该机制具有良好的有效性和高效性,能够通过极小的代价让能力强但失信的工人在任务提交前改正行为做出诚信决策.

关键词 可信众包; 众包机制; 信号博弈理论; 委托代理模型; trustful crowd-sourcing; crowd-sourced mechanisms; signaling game theory; principal-agent model;

摘要 信息物理融合系统(cyber-physical system, CPS)是"人–机–物"三元融合模式背景下新型软件基础设施的重要一环.为了处理不断涌现的新环境、新模式和新平台, CPS软件必须具备一定质量保障水平的可成长和可持续演化能力.然而CPS软件在与环境交互过程中所必然面对的环境非确定性给CPS软件的质量保障带来了新的挑战.本文深入分析了环境非确定性中的感知非确定性和规约非确定性分别给软件测试研究带来的挑战.为了应对这些挑战,提出了一个迭代式的研究框架,用于有效测试受环境非确定性影响的CPS软件.基于该研究框架,介绍了现有CPS软件测试技术研究进展,并重点介绍了3种考虑环境非确定性的软件测试技术,分别解决CPS软件测试中的测试输入生成、测试预言生成和环境适应性评估问题.本文基于一个自适应自控小车的CPS软件实例,初步验证了所介绍方法测试CPS软件的有效性.

关键词 信息物理融合系统; 软件测试; 环境非确定性; 测试输入生成; 测试预言生成; 环境适应性评估; cyber-physical systems; software testing; environmental uncertainty; test input generation; test oracle generation; environmental suitability evaluation;