了解什么是形式化，系统调研

《1》阅读和了解什么是形式化方法
形式化方法是一种用数学符号和逻辑推理来描述和验证软件系统的方法。它旨在通过严格的形式化规范和推理，确保软件系统满足特定的功能和性能要求，并且能够在各种情况下正确运行。

形式化方法通常包括以下四个方面：

1数学建模：使用数学符号和概念来描述软件系统的结构和行为。这可能涉及到使用形式化语言、逻辑、集合论、图论等数学工具来建立系统模型。
2形式化规约：将软件系统的要求、约束和规范以形式化的方式表达出来，通常使用形式化规约语言或形式化规范语言，如Z语言、B语言、VDM（Vienna Development Method）等。
3形式化验证：使用数学推理和验证技术，对软件系统进行严格的验证，以确保其满足特定的功能和性能要求。这可能包括模型检验、定理证明、符号执行等方法。
4形式化开发：在软件系统的开发过程中，使用形式化方法来指导和辅助软件的设计、实现和测试。这可以确保系统的正确性和可靠性，并帮助开发人员理清软件系统的逻辑结构和行为。
形式化方法的主要优点包括提供了严格的规范和验证手段，能够发现和纠正软件系统中的潜在问题，确保系统的正确性、一致性和可靠性。然而，形式化方法也存在一些挑战，包括建模复杂性、验证过程的复杂性、需要高度专业化的技能等。

《2》如果针对某个系统做需求分析，你怎么做调研？

进行系统需求分析时，调研是非常重要的一步，它可以帮助我们全面了解系统的背景、目标用户、需求和约束条件。以下是一些常用的调研方法和步骤：

1文献调研：
查阅相关文献、书籍、学术论文和技术报告，了解该领域的基本知识、最新研究进展和行业标准。这可以帮助我们建立对系统背景和领域知识的基本了解。
2市场调研：
调查当前市场上类似系统的现状、竞争对手、用户需求和趋势。通过市场调研可以了解用户的偏好、行为和需求，为系统设计和功能定位提供参考。
3用户调研：
与潜在用户进行访谈、问卷调查或焦点小组讨论，收集用户需求、偏好、期望和痛点。这有助于我们了解用户的真实需求，指导系统设计和功能开发。
4现有系统调研：
如果存在类似的现有系统，可以对其进行分析和比较，了解其优缺点、功能特点和用户反馈。这可以帮助我们借鉴和吸收已有系统的经验教训，避免重复劳动和避免犯同样的错误。
5专家访谈：
与领域专家、技术专家或相关利益相关者进行访谈，获取他们的意见、建议和经验。专家访谈可以帮助我们填补自己知识的不足，获取行业内的专业建议和指导。
6原型验证：
制作初步的原型或模型，与用户或利益相关者进行验证和反馈。原型验证可以帮助我们验证需求理解的准确性，发现潜在问题和改进方向。