09.质量保证.docVIP

9 质量保证 9-1：在软件设计过程中构筑软件质量。 9-2：代码质量保证优先原则 （1）正确性，指程序要实现设计要求的功能。 （2）稳定性、安全性，指程序稳定、可靠、安全。 （3）可测试性，指程序要具有良好的可测试性。 （4）规范/可读性，指程序书写风格、命名规则等要符合规范。 （5）全局效率，指软件系统的整体效率。 （6）局部效率，指某个模块/子模块/函数的本身效率。 （7）个人表达方式/个人方便性，指个人编程习惯。 9-3 认真处理程序所能遇到的各种出错情况。 9-4：系统运行之初，要初始化有关变量及运行环境，防止未经初始化的变量被引用。 9-5：系统运行之初，要对加载到系统中的数据进行一致性检查。 说明：使用不一致的数据，容易使系统进入混乱状态和不可知状态。 9-6：严禁随意更改其它模块或系统的有关设置和配置。 说明：编程时，不能随心所欲地更改不属于自己模块的有关设置如常量、数组的大小等。 9-7：不能随意改变与其它模块的接口。 9-8：充分了解系统的接口之后，再使用系统提供的功能。 示例：在B型机的各模块与操作系统的接口函数中，有一个要由各模块负责编写的初始化过程，此过程在软件系统加载完成后，由操作系统发送的初始化消息来调度。因此就涉及到初始化消息的类型与消息发送的顺序问题，特别是消息顺序，若没搞清楚就开始编程，很容易引起严重后果。以下示例引自B型曾出现过的实际代码，其中使用了FID_FETCH_DATA与FID_INITIAL初始化消息类型，注意B型机的系统是在FID_FETCH_DATA之前发送FID_INITIAL的。 MID alarm_module_list[MAX_ALARM_MID]; int FAR SYS_ALARM_proc( FID function_id, int handle ) { _UI i, j; switch ( function_id ) { ... // program code case FID_INITAIL: for (i = 0; i MAX_ALARM_MID; i++) { if (alarm_module_list[i]== BAM_MODULE // **） || (alarm_module_list[i]== LOCAL_MODULE) { for (j = 0; j ALARM_CLASS_SUM; j++) { FAR_MALLOC( ... ); } } } ... // program code break; case FID_FETCH_DATA: ... // program code Get_Alarm_Module( ); // 初始化alarm_module_list break; ... // program code } } 由于FID_INITIAL是在FID_FETCH_DATA之前执行的，而初始化alarm_module_list是在FID_FETCH_DATA中进行的，故在FID_INITIAL中（**）处引用alarm_module_list变量时，它还没有被初始化。这是个严重错误。 应如下改正：要么把Get_Alarm_Module函数放在FID_INITIAL中（**）之前；要么就必须考虑（**）处的判断语句是否可以用（不使用alarm_module_list变量的）其它方式替代，或者是否可以取消此判断语句。 9-9：编程时，要防止差1错误。 说明：此类错误一般是由于把“=”误写成“”或“=”误写成“”等造成的，由此引起的后果，很多情况下是很严重的，所以编程时，一定要在这些地方小心。当编完程序后，应对这些操作符进行彻底检查。 9-10：要时刻注意易混淆的操作符。当编完程序后，应从头至尾检查一遍这些操作符，以防止拼写错误。 说明：形式相近的操作符最容易引起误用，如C/C++中的“=”与“==”、“|”与“||”、“”与“”等，若拼写错了，编译器不