最新

GitHub: <a href="https://github.com/fizzbee-io/fizzbee-mbt-examples" rel="nofollow">https://github.com/fizzbee-io/fizzbee-mbt-examples</a> 快速入门: <a href="https://fizzbee.io/testing/tutorials/quick-start/" rel="nofollow">https://fizzbee.io/testing/tutorials/quick-start/</a> <p>大多数开发者都认为测试很重要，但同时大多数开发者并不喜欢编写测试。随着人工智能生成代码的速度越来越快，测试变得更加关键。然而，即使是人工智能生成的测试也需要审核和维护，这使得它们成为额外的负担。</p> <p>我在这里介绍一种新的自主测试形式——“基于模型的测试”。与其编写测试用例，不如用类似Python的规范语言描述期望的行为。</p> <p>FizzBee模型可以：</p> - 进行全面验证以查找设计缺陷（类似于形式化方法）。 - 映射到您的实际系统，自动生成测试。</p> <p>这为您带来了：</p> - 无需手工编写测试用例 - 自动测试并发和顺序行为 - 行为变化时无需级联重写测试 - 不会在被测系统中添加追踪代码</p> <p>使用FizzBee，您可以同时获得设计验证（类似于形式化方法）和自动测试生成，从而节省时间和精力。</p> <p>目前，仅支持Go语言。Java和Rust是下一个目标，我们也很想知道您希望支持哪个语言。</p> <p>期待您的反馈！</p>

• 在当前的演示中，您可以输入规格、目标、任务、部件和其他约束条件，系统将根据数据表生成完整的设计——从系统到子系统和组件。当用户提交请求时，它会综合考虑物理约束和部件可用性，建议最合适的设计方案。 • 我构建这个工具是为了减轻在项目启动时翻阅无数组件数据表的负担，并使蓝图迭代更加顺畅。我希望超越“硬件”，关注更广泛的无操作系统机器类别，按照系统-子系统-组件的层次结构进行组织，以便我们能够在每个层级上清晰推理，并在整个设计过程中降低概念熵。 • 目前，该工具在现成组件的精确规格比较方面表现出色，但在建模硬件系统的完整物理行为方面仍然存在盲点。我正在研究模拟技术以填补这一空白。此外，它还尚未直接设计PCB或处理CAD建模。 • 我目前正在构建一个节点编辑功能。很快（1-2天内），您将能够编辑每个层级节点的详细信息。在接下来的一个月里，我的目标是创建一个基本的3D画布，以便为硬件创建和配置三维数据。 作为演示，还有很多需要改进的地方。我希望继续学习和发展这个工具，以便它能够有意义地支持硬件和机器设计。我非常重视您的反馈！