不可小觑，印度是世界软件超级大国，印度的软件多优秀？

今天的印度是一个软件超级大国。

很多人会惊讶，平时没听说过印度是个软件超级大国呀。印度的成就取决于40多年的努力，严谨的工程以及增值技术等。目前印度软件业在市场占有1800亿美元份额，并预计到2025年达到3500亿美元。

印度的软件业服务于大部分地区，软件行业直接雇佣了400万人，并且间接雇佣了1300万人。开发和交付软件解决方案这种跨越不同领域的规模需要保持不变努力的改进流程、工具和平台，因此，几乎印度所有的软件公司，都有单独的团队来解决长期问题研究和开发问题。

印度也有自己的旗舰年刊叫做《创新会议软件工程》(ISEC)，这份期刊为不同的研究小组提供一个分享经验的平台。直到20世纪90年代，印度开发的软件还是低质量的。为了改善这种情况，能力成熟度模型(CMM)由软件工程学院(SEI)开发出来。

CMM是一个框架和模型，用于评估和改进软件开发过程，并以分阶段的方式组织，且已被世界各地的公司采用。印度的软件公司率先进行了部署软件的模型质量和生产率。在早期的模型部署阶段，规模较大的公司还在使用CMM模型，印度的软件公司也在世界各地发展软件部门，并使用印度软件公司的技术管理软件人才。

印度已经以一个领导者的角色在全球软件发展，并且在嵌入软件设计,底层流程,工程和技术等方面做出了卓有成效的成果。

活跃的分享者

印度软件公司经常分享他们的经验会议、研讨会、讲座、以及像CMM这样的实践和软件项目管理，并且翻译成了各种语言，比如汉语，日语、韩语和法语。软件工程的进步软件工程是印度另一个支柱，研究小组在印度的公司和大学探索一些领域，如基础软件工程，质量保证，架构和设计，安全，软件工程云计算和移动环境，软件工程教育，并在软件中应用AI/ML工程领域。

在这里,印度软件行业有就几个活动值得突出赞扬。研究与创新小组塔塔咨询服务有限公司一直在开发MasterCraft,这是一个支持模型驱动的工具集软件开发，开发了将近17年。MasterCraft有三个主要组件。首先,它有一组指定层的元模型，一个典型的分布式架构，例如图形用户界面，服务层和数据管理器层,等等。

活跃的开发者

印孚瑟斯一直在发展Infosys DevOps平台(IDP)，它有随时可用的管道，25种技术和预先构建的集成超过70个开源或商业的工具。IDP建立在开放的资源和可用的一个开源项目，它对软件开发产生巨大影响，超过30多个组织中的100个项目，全世界5000多家Infosys的工程师接受培训并为各种各样的客户提供服务。

除了这些行业领先世界，印度学术实验室的软件工程项目也是如此。自动化可用性评估移动应用就是这样一个项目。可用性是被认为是应用软件的重要因素之一，供终端用户采用流动装置或应用系统。IIITH集团的研究基于代码分析的可用性评估移动应用的框架，可以在设计前期提高生产力或在后期设计检验合格阶段特定的可用性指南。

自动评估的移动应用使用定量度量和基于AI/ ml方法。程序分析与验证超越CMM和软件工程，程序分析和正式的验证越来越多被视为增加价值的技术企业和关键任务软件，两者都在开发过程中作为最终产品。对于运行在其上的软件来说确实如此，硬件必须提供性能保证，安全性、功能性等等。印度团体在工业及学术研究上一直推进项目的前沿分析验证，目标定位可扩展性和精确性。

在这里，我们强调以下几点，精确可伸缩指针分析是已知的增强其它程序的质量分析、揭露间接操纵数据和间接控制流的重要手段。然而，它具有挑战性。C++或C语言需要大规模穷举流和上下文敏感指针分析。大多数的方法从可扩展但不精确的方法开始，并尝试增加它们的精度。印度理工学院孟买分校的研究小组采取了相反的方法，它以一种精确的方法开始，尝试增加它的可伸缩性，但不影响精确度和可靠性。这使它取得微妙的平衡，既有指针的精度度，又有可靠的性能分析，超越了不可能。

技术上一流

印度在是静态断言检查也做出了重要贡献，例如操纵数据结构（数组和列表等）。验证异步和并发程序提出了另一套技术与种族、死锁相关的挑战内存一致性模型等等。印度的微软研究院和其他国家一直在努力解决基于解决方案的处理技术复杂的断言检查任务。他们的工作已被 道在CAV、TACAS等主要媒体，TOPLAS, SAS等等技术也被引进在产业规模工具上。

在2019年的软件竞赛上，印度微软研究项目分析和形式验证技术开发了一个evente编程模型，驱动异步应用程序和服务。这个模型允许程序员在一个更高层次的抽象形式上编程。它是一个自然适合编程反应式分布式系统。除了高效和轻量级运行时，该模型提供了详细的安全书写能力和活性规范。一个测试的调度程序，以及所有声明的源代码的非决定性探索行为都会违反规范。如果程序发现了一个错误，测试引擎 告具有确定性，可重复性可，并且可以在调试器中跟踪错误。

已经有几个人使用了印度微软团队编写的云服务，极大地提高了生产力。此外，几乎为零组件 告的崩溃利用该模型进行设计。微软印度研究院还提供多种技术,包括程序分析，根源分析，以及数据驱动的机器学习，该技术正在用于共同改进软件开发过程。

印度的软件道路还有很大的光明，印度在软件开发历史上一直扮演着领导角色。新技术数据驱动技术被嵌入在软件设计中，底层的过程，工程和技术将不可避免地需要印度软件技术标准。印度公司和研究人员已经开始这样做好了准备。印度的软件研发 区表现良好，并且时刻准备迎接新的挑战。