分类： 云计算
2013-08-22 11:11:14
高可信软件工程对目前的软件理论和技术提出了严峻的挑战，应用软件商了解到这涉及一系列科学问题。
(1)软件系统的行为特征。如何定性／定量地描述软件的行为？如何建立各类复杂的软件结构和系统对应的系统行为？这是软件理论的基本问题。软件的静态语法与动态语义的分离是造成软件行为难于描述和推理的原因。随着软件规模的增大，软件中并发、实时、分布、移动等特性的出现，这些问题的认识亟待深入。
(2)软件可信性质与软件行为的关系。如何描述软件可信性质与软件行为的关系7我们看到，上述关于软件可信性质的描述是非形式化的抽象陈述。必须建立性质和软件行为之间的内在联系及其严格的描述，才能在软件开发中设计并验证所需的可信性质。想了解更多关于应用软件商的新闻请到看看.
