今天的印度是一個軟件超級大國。
很多人會驚訝，平時沒聽說過印度是個軟件超級大國呀。印度的成就取決於40多年的努力，嚴謹的工程以及增值技術等。目前印度軟件業在市場佔有1800億美元份額，並預計到2025年達到3500億美元。
印度的軟件業服務於大部分地區，軟件行業直接僱傭了400萬人，並且間接僱傭了1300萬人。開發和交付軟件解決方案這種跨越不同領域的規模需要保持不變努力的改進流程、工具和平臺，因此，幾乎印度所有的軟件公司，都有單獨的團隊來解決長期問題研究和開發問題。
印度也有自己的旗艦年刊叫做《創新會議軟件工程》(ISEC)，這份期刊為不同的研究小組提供一個分享經驗的平臺。直到20世紀90年代，印度開發的軟件還是低質量的。為了改善這種情況，能力成熟度模型(CMM)由軟件工程學院(SEI)開發出來。
CMM是一個框架和模型，用於評估和改進軟件開發過程，並以分階段的方式組織，且已被世界各地的公司採用。印度的軟件公司率先進行了部署軟件的模型質量和生產率。在早期的模型部署階段，規模較大的公司還在使用CMM模型，印度的軟件公司也在世界各地發展軟件部門，並使用印度軟件公司的技術管理軟件人才。
印度已經以一個領導者的角色在全球軟件發展，並且在嵌入軟件設計,底層流程,工程和技術等方面做出了卓有成效的成果。
活躍的分享者
印度軟件公司經常分享他們的經驗會議、研討會、講座、以及像CMM這樣的實踐和軟件項目管理，並且翻譯成了各種語言，比如漢語，日語、韓語和法語。軟件工程的進步軟件工程是印度另一個支柱，研究小組在印度的公司和大學探索一些領域，如基礎軟件工程，質量保證，架構和設計，安全，軟件工程雲計算和移動環境，軟件工程教育，並在軟件中應用AI/ML工程領域。
在這裡,印度軟件行業有就幾個活動值得突出讚揚。研究與創新小組塔塔諮詢服務有限公司一直在開發MasterCraft,這是一個支持模型驅動的工具集軟件開發，開發了將近17年。MasterCraft有三個主要組件。首先,它有一組指定層的元模型，一個典型的分佈式架構，例如圖形用戶界面，服務層和數據管理器層,等等。
接下來,為了方便平滑集成,MasterCraft提供組件抽象，這有助於將軟件系統視為一組相互依賴的組件，形成一個高內聚的模塊，可以指定，發展，獨立和測試。最後,MasterCraft整合了一套核心元建模、模型編輯，確保模型具有良好的結構和內部一致性，以及模型間的一致性，模型到文本的轉換。MasterCraft做了一筆大生意，交付給70多個跨領域的大型業務應用程序。世界上有大量的技術平臺和體系結構，MasterCraft的使用也幫助研究員發表了50多篇頂級論文和20多項專利。許多這樣的研究也進入了國際對象管理的國家標準集團，並貢獻了三個核心標準。
活躍的開發者
印孚瑟斯一直在發展Infosys DevOps平臺(IDP)，它有隨時可用的管道，25種技術和預先構建的集成超過70個開源或商業的工具。IDP建立在開放的資源和可用的一個開源項目，它對軟件開發產生巨大影響，超過30多個組織中的100個項目，全世界5000多家Infosys的工程師接受培訓併為各種各樣的客戶提供服務。
除了這些行業領先世界，印度學術實驗室的軟件工程項目也是如此。自動化可用性評估移動應用就是這樣一個項目。可用性是被認為是應用軟件的重要因素之一，供終端用戶採用流動裝置或應用系統。IIITH集團的研究基於代碼分析的可用性評估移動應用的框架，可以在設計前期提高生產力或在後期設計檢驗合格階段特定的可用性指南。
自動評估的移動應用使用定量度量和基於AI/ ml方法。程序分析與驗證超越CMM和軟件工程，程序分析和正式的驗證越來越多被視為增加價值的技術企業和關鍵任務軟件，兩者都在開發過程中作為最終產品。對於運行在其上的軟件來說確實如此，硬件必須提供性能保證，安全性、功能性等等。印度團體在工業及學術研究上一直推進項目的前沿分析驗證，目標定位可擴展性和精確性。
在這裡，我們強調以下幾點，精確可伸縮指針分析是已知的增強其它程序的質量分析、揭露間接操縱數據和間接控制流的重要手段。然而，它具有挑戰性。C++或C語言需要大規模窮舉流和上下文敏感指針分析。大多數的方法從可擴展但不精確的方法開始，並嘗試增加它們的精度。印度理工學院孟買分校的研究小組採取了相反的方法，它以一種精確的方法開始，嘗試增加它的可伸縮性，但不影響精確度和可靠性。這使它取得微妙的平衡，既有指針的精度度，又有可靠的性能分析，超越了不可能。
技術上一流
印度在是靜態斷言檢查也做出了重要貢獻，例如操縱數據結構（數組和列表等）。驗證異步和併發程序提出了另一套技術與種族、死鎖相關的挑戰內存一致性模型等等。印度的微軟研究院和其他國家一直在努力解決基於解決方案的處理技術複雜的斷言檢查任務。他們的工作已被報道在CAV、TACAS等主要媒體，TOPLAS, SAS等等技術也被引進在產業規模工具上。
在2019年的軟件競賽上，印度微軟研究項目分析和形式驗證技術開發了一個evente編程模型，驅動異步應用程序和服務。這個模型允許程序員在一個更高層次的抽象形式上編程。它是一個自然適合編程反應式分佈式系統。除了高效和輕量級運行時，該模型提供了詳細的安全書寫能力和活性規範。一個測試的調度程序，以及所有聲明的源代碼的非決定性探索行為都會違反規範。如果程序發現了一個錯誤，測試引擎報告具有確定性，可重複性可，並且可以在調試器中跟蹤錯誤。
已經有幾個人使用了印度微軟團隊編寫的雲服務，極大地提高了生產力。此外，幾乎為零組件報告的崩潰利用該模型進行設計。微軟印度研究院還提供多種技術,包括程序分析，根源分析，以及數據驅動的機器學習，該技術正在用於共同改進軟件開發過程。
印度的軟件道路還有很大的光明，印度在軟件開發歷史上一直扮演著領導角色。新技術數據驅動技術被嵌入在軟件設計中，底層的過程，工程和技術將不可避免地需要印度軟件技術標準。印度公司和研究人員已經開始這樣做好了準備。印度的軟件研發社區表現良好，並且時刻準備迎接新的挑戰。
閱讀更多 劉同學的科學戰記 的文章
