Questions tagged «se.software-engineering»

2
算法可以在多大程度上预测任意输入程序的时间复杂度?
该停机问题指出,这是不可能写一个程序,可确定是否存在另一个程序暂停,对于所有可能的输入程序。 但是,我当然可以编写一个可以计算如下程序的运行时间的程序: for(i=0; i<N; i++) { x = 1; } 并返回的时间复杂度,而无需运行它。ññN 对于所有其他输入程序,它将返回一个标志,表明它无法确定时间复杂度。 我的问题是这样的: 必须满足什么条件,以便我们可以算法确定给定程序的时间复杂度? *如果对此有规范的参考或评论文章,请在评论中提供链接。

9
如何创建关键任务软件?
我正在自我学习形式方法。我听说使用(通常仅使用)正式方法来创建任务关键型软件(例如核反应堆控制器,飞机飞行控制器,空间探测器控制器)。这就是为什么我有兴趣学习它的原因:p 但是,在学习了形式化方法(尤其是LTL,CTL及其同级方法)之后,我觉得它们只能用于验证规范的正确性(安全性,活跃性,公平性等)。 但是,然后如何验证软件(不仅是规范)确实正确? 免责声明:在理论计算机科学方面,我是90%的白痴。因此,请在回答时保持仁慈。
By using our site, you acknowledge that you have read and understand our Cookie Policy and Privacy Policy.
Licensed under cc by-sa 3.0 with attribution required.