来自OO背景(C#/ java)我正在寻找资源来学习如何很好地设计纯C程序.
虽然我熟悉C的语法,并且我可以编写小程序,但我不确定采用更大应用程序的方法,以及采用何种技术.你们可以推荐的任何东西.
编辑:我很高兴完全放弃OO用于C语言编程,我的兴趣是学习如何在没有OO的情况下构建程序,我想学习用C等过程语言设计程序的好方法.
看看C,C对可以在代码中使用的形式方法(frama-c,VCC,verifast)有很好的支持.就我所知,C++似乎没有任何可比性.
有哪些正式方法可用于推理用C++编写的安全关键软件？
我在一家小公司工作,开发具有丰富UI的复杂医疗设备.我们目前处于设计的早期阶段.该应用程序针对Windows(仅限桌面),最好只能用C++编写.
经过一些研究,我们倾向于选择Qt来开发UI.它似乎满足了我们所有的需求,即可以开发具有现代外观和高响应性的UI,开发速度相当快(熟悉后),内存使用在某种程度上是合理的,免费用于商业用途(对我们来说是奖金).
我的问题是:它对于医疗设备是否足够可靠？我们绝对不能接受考试中的任何崩溃.我知道首先它当然取决于我们编写的代码的质量,但我仍然想知道是否有人遇到任何特别难以解决的与崩溃相关的神秘问题.特别是当使用作为脚本语言的QML时,它自然会导致难以预测和解释的错误.
在生产中遇到这样一个问题的成本对我们来说非常高,所以在我们选择任何特定的包之前,我们非常需要做出正确的决定.如果您知道在我们的特定环境中可能出现的任何其他与Qt相关的问题(我承认无法进行非常广泛的包测试),我也非常感谢您提及它.