1. 软件的质量要求
软件,是大系统中的重要组成部分;嵌入式软件,是指将软件作为系统的一部分嵌入在系统中,作为系统的一部分使用的软件,这种软件最关键的要求是安全性和高可靠性。特别是在军用领域中更是如此。
因此,必须用有效的手段和软件工具支持和满足嵌入式软件开发、软件测试和评审等单位,以保证他们进行软件质量保证活动。即,要有相应的软件工具支持开发者,以保证在最短的时间内、用最少的费用,开发高质量的软件,以满足客户的需求,同时减少产品交付后的维护费用。
通过对实际工程的统计,会发现在不同的阶段发现和更改一个错误的费用是不同的,下表表明了具体的数据 [1] 。
软件开发阶段 发现和更改错误的费用
编码阶段 1倍
测试阶段 4倍
维护阶段 16倍
另一方面,统计表明一个项目中, 80% 的错误往往是由 20% 的程序引起的。因此,如何有效的确认和标识出这 20% 的部件是十分重要的。
经验也告诉我们,错误多的程序,其结构、算法、程序风格往往非常复杂。
下表是在各个软件开发阶段各种活动(评审和测试)发现错误的情况 [1] :
发现错误活动 需求评审 设计评审 代码评审 集成测试 验收测试
每1000 行发现的错误数 2.5 5.0 10.0 3.0 2.0
软件产品同其它工业产品一样,其质量取决于软件的开发过程中对质量的控制。要提高好软件的质量,必须从各个阶段来控制。
LOGISCOPE 是一组工具集。它贯穿于软件开发、代码评审、单元 / 集成测试、系统测试、以及软件维护阶段。
LOGISCOPE 是面向源代码进行工作的。 LOGISCOPE 针对编码、测试和维护。因此, LOGISCOPE 的重点是帮助代码评审( Review )和动态覆盖测试( Testing )。
2. LOGISCOPE 用于开发阶段
2.1 定义质量模型
重视软件开发质量的公司,应当定义程序员编程规则[2]和质量评价模型。以保证公司所开发的源代码的稳定性性、易维护性、高可靠性和可移植性。
RuleChecker 预定义了 50个的编程规则:
· 名称约定(如:局部变量用小写等);
· 表示约定(如:每行一条指令);
· 限制(如:不能用GOTO语句,不能修改循环体中的计数器等);
用户可以从这些规则中选择,也可以用Tcl、脚本和编程语言定义新的规则。
此外,还提供50个面向安全-关键系统的编程规则。
Audit 以 ISO9126 [3]模型作为质量评价模型的基础。质量评价模型描述了从Halstend、McCabe的度量方法学和VERILOG引入的质量方法学中的质量因素(可维护性、可重用性、等)和质量准则(可测试性、可读性、等)。
工程项目领导或质量管理人员可以根据准则、应用软件的生存周期、合同需求等,挑选并采纳适用于项目需求的质量模型。