填空

软件需求规格说明书应具有完整性无歧义性正确性可验证性可修改性等特性其中最重要的是【1】

在两种基本测试方法中【2】测试的原则之一是保证所测模块中每一个独立路径至少要执行一次

Jackson方法是一种面向【3】的结构化方法

程序测试分为静态分析和动态测试其中【4】是指不执行程序而只是对程序文本进行检查通过阅读和讨论分析和发

关系数据库管理系统能实现的专门关系运算包括选择连接和【5】