自我介绍+软工5问

我是广东工业大学2017级计算机科学与技术6班的梁迪希，目前大三，正在自学java前后端技术，如jsp，html，spring等，目前跟随彭重嘉老师进行java项目的开发，计划大三下学期尽快找到实习工作，多丰富自己的阅历。

软工5问：
Q1：软件的开发有哪些软件可以借助使用？
——书本通篇大概都是软件工程的方法论，而较少有对具体软件开发的描述。
Q2：非形式化方法有哪些具体的例子，有什么优点？
——第四章第一节开篇就讲非形式化方法的缺点，但在介绍中却提到了软件工程方法划分成非形式化，半形式化和形式化三类，那么非形式化方法有哪些例子呢，哪些例子又是成功的呢？
Q3：除了白盒测试技术和黑盒测试技术之外，还有哪些行之有效的测试技术？
——详见第七章第六节、第七节
Q4：面向对象方法学的软件维护相对于其他方法学的软件维护有什么不同？
——在粗略翻阅目录后，我发现1到8章分别为：概述；可行性研究需求分析；形式化说明技术；总体设计；详细设计；实现；维护；而到第9章则为面向对象方法学引论。目录把维护放在面向对象之前，是何用意，而面向对象开发出的软件，维护相对于其他方法又有什么不同。
Q5：在开发工具更新换代之后，会对该工具开发的软件有什么影响，应该避免什么？
——在看到第十一章第三小节“软件重用”后，不禁引起了我的思考。在面对一个软件时，我们可以重用，修改，在开发此软件的的开发工具更新换代之后，开发者面对不同版本的开发工具时，又能否简单得“开发工具重用”？开发者是否会因为不熟悉而导致软件维护的成本上升，又或是对软件有什么直接或间接的影响。