计算机软件与理论软论港软件理论实习生实习报告

计算机软件与理论软论港软件理论实习生实习报告一、摘要2023年7月1日至2023年8月31日，我在一家科技公司担任软件理论实习生。核心工作成果包括参与开发自动化测试脚本，完成15个模块的测试用例编写，通过率提升至92%；协助优化算法性能，某核心函数执行时间缩短30%。专业技能应用方面，运用Python实现测试框架，结合形式化语言方法验证协议逻辑正确性。提炼出的可复用方法论包括基于形式化规约的代码审查流程，以及数据驱动测试用例生成策略。这些成果直接源于为期8周的实习实践，具体细节记录在每日工作日志和项目代码仓库中。二、实习内容及过程2023年7月1日到8月31日，我在那家公司实习，做软件理论这块儿。主要是跟着团队搞项目，学到了不少东西。刚开始，我被安排参与一个自动化测试系统的开发，他们那个系统用Python搭的框架，挺有意思的。我的任务就是写测试用例，把新加的功能跑通。7月中旬，我接手了用户登录和注册那块儿的测试，花了大概两周时间，写了50多个用例，最后测试通过率达到了93%，比之前的老版本高了点。实习期间，碰到的最大挑战是调试一个复杂的并发场景。那段时间系统偶尔会出数据不一致的问题，挺烦人的。我查了好多资料，最后发现是线程锁的粒度没拿捏好。跟导师聊过后，我开始用Python的`threading`库重新设计锁的机制，用了互斥锁和读写锁结合的方式，最后问题解决了，系统稳定性明显变好。这让我对分布式系统里的同步原语有了更深的理解。他们那个项目里用到了形式化方法来验证协议逻辑，挺酷的。虽然我参与得不多，但看了他们写的规约文档，感觉挺有意思的。后来我自己试着用TLA+描述了一个简单的状态机，虽然写得很烂，但至少懂了点门道。唯一有点不爽的是，公司里培训机制挺薄弱的，很多技术文档都是自己找。而且我的岗位跟学校学的有些东西结合得不够紧密，比如形式化验证那块儿，公司里用得不多，我花了不少时间自学。要是单位能多组织些内部培训，或者把我跟更资深的人配对一下，可能效果会好很多。我建议他们可以搞个新人技术分享会，让老员工讲讲项目里用到的关键技术，或者把我调到更核心的组里，让我多接触点实际应用。这次实习让我看清了自己想干的方向，以后想往分布式系统或者形式化方法这块儿发展。虽然过程挺折腾的，但收获不小，至少知道了自己哪些地方还得补。三、总结与体会这8周，从2023年7月到8月，在公司的经历让我对软件理论的理解不再是纸上谈兵。参与的项目里，我写的测试用例最终让产品通过率提到了92%，这点数据虽然不算惊世骇俗，但对我这新人来说，挺有分量的。每天对着代码和需求文档，从一开始的手足无措，到后来能独立完成模块测试，这过程挺磨人的，但也真学到了东西。比如自动化测试那套流程，从需求分析到脚本编写，再到结果分析，每一步都挺严谨的，这让我意识到做软件真的得有耐心，得把细节抠到位。最让我有感触的是，当发现自己写的代码会导致并发问题，数据出错的时候，那种压力挺大的。花了两周时间查资料、改代码，最后把问题解决，虽然过程曲折，但感觉自己真的长大了点，抗压能力和解决问题的能力确实上来了。这种从学生到半个职场人的转变挺奇妙的，开始明白责任不是说说而已，得实实在在落实到代码里，落实到结果里。这次实习也让我更清楚自己想要什么。我发现自己对分布式系统里的那些同步原语，比如互斥锁、读写锁，还有形式化方法验证协议逻辑，挺感兴趣的。以后的学习，我打算深挖一下这块，看看能不能考个相关的证书，或者多做点实践项目，把简历堆料实一点。行业里现在分布式、云原生的东西用得越来越普遍，这些底层的东西学扎实了，以后发展肯定有优势。看着写的代码真的能跑起来，解决实际问题，这种成就感挺强的。虽然实习里也碰到过管理上、培训上的问题，比如我的岗位跟学校学的有点脱节，公司里形式化验证这块用得不多，我只能自己瞎鼓捣，这点挺浪费时间的。但总的来说，这段经历值了，它让我看清了方向，也让我更有信心去迎接未来的挑战。以后不管是继续深造还是直接工作，我都有了个更明确的目标，也更懂怎么去规划自己的路了。致谢感谢那家公司给我这次实习机会，让我能接触实际的软件开发项目。感谢我