存档内容
注意：该页面为存档页面，其内容可能已过时。
软件开发基础
借助可靠的开发资源，迅速识别和定位多种影响因素的变化，以保证正常的维护和运行。
用户需要对持续发展且高可靠性的系统进行开发、运行及维护，使其能灵活适应业务流程的变化和因目标服务企业带来的变化。富士通研究所研究开发的技术，能构建出强大的高可靠性系统并协助系统的顺畅升级。特别需要指出的是，富士通研究所正在开展多项技术的相关研究和开发以构建构建高可靠性系统，使其能灵活应对多种影响因素的变化，其中包括评估质量需求规格的技术，通过软件认证技术进行复杂试验以提高质量保证的技术，通过分析规格文档而适应规格变化的技术，以及用于虚拟系统资源退化的技术。
应用实例
- 运用定义质量需求的检查工具提供系统开发质量保证
- 通过量化应用程序结构的复杂性，提高运行维护的质量水平
- Java程序验证工具（应用于美国国家航空航天局NASA）和程序开源
相关参考
富士通研究所相关研究成果发表
