项目建议书
嵌入式系统的静态代码分析
背景
Ascom Wireless Solutions开发、制造和销售无线通信产品和系统,用于工业、医疗、办公室和惩教机构内的专业用途。移动软件设计(MSWD)部门负责开发安全关键系统中具有高可靠性和可用性要求的无线电话软件。该软件应使产品成为客户的高效且易于使用的工具。
为了实现这一点,软件必须是可维护的,并且易于适应新产品和客户。为此,一个有趣的方法是分析代码,以改进和控制开发工作,以及改进对开发人员的反馈。
任务
评估命令式面向对象代码的静态代码分析并提供示例。分析的目的是评估代码的质量。目标是在将新代码或更改后的代码提交到中央存储库之前,验证其是否具有高质量。预期的质量标准是:;潜在误差源少,模块化程度高,符合预定条件。分析的实施应允许高度自动化。要分析的代码是用C和C++的组合编写的。
该项目应产生:一份报告,定义了许多不同的分析方法及其优缺点。MSWD开发的代码应使用的原型工具包。建议MSWD如何进行静态代码分析。
重要问题
- 有哪些静态代码分析方法可用?
- 静态代码分析的固有局限性是什么?
- 哪些度量与软件质量密切相关?
- 什么工具随时可用?
任务
- 计划活动和时间。
- 研究现有文献。
- 问题的改进和调查。
- 原型工具包的规范。
- 原型工具包的实现和配置。
- MSWD软件原型工具包评估。
- 完成报告。
- 大约10周后对工作进行一次小型演示,并在项目结束时进行一次完整的演示。
范围
- 周数
- 20
- 对应学分(hp)
- 30
技术领域
链接