你可能感兴趣的试题
调查应用部门的环境、目标和应用系统 研究开发新系统的必要性和可行性 用形式化或半形式化的描述说明数据和处理过程的关系 用ER图建立数据模型
介于自然语言(英语和汉语)和形式化语言之间的一种半形式语言 它的结构可分成外层和内层两层 外层用来描述控制结构 基本控制结构是顺序结构
介于自然语言和形式化语言之间的一种半形式语言 他的结构可分层外层和内层两层 外层用来描述控制结构 基本控制结构是顺序结构
形式化分析方法 PAD图描述 结构化分析(SA)方法 OOA法
EAL1功能测试级 B、EAL2结构测试级 EAL3方法测试和校验级 EAL4半形式化设计和测试级
分析需求的正确性和可行性的过程 对需求的抽象描述 对生成需求模型构件的精确的形式化的描述 开发、捕获和修订用户的需求
对于较为复杂的应用问题,适合采用形式化方法进行需求分析 形式化方法的优势在于能够精确地表述和研究应用问题及其软件实现 净室软件工程将正确性验证作为发现和排除错误的主要机制 净室软件工程强调统计质量控制技术,包括对客户软件使用预期的测试
结构化方法 半结构化方法 非结构化方法 地理问题决策
应该选择合适的表示法,并建立详尽的文档 不应该对质量标准作任何折中,应该测试,测试,再测试 应该放弃传统的开发方法,不应该教条化 应该复用,且有随时可以请教的形式化方法顾问
分析需求的正确性和可行性的过程 对需求的抽象描述 对生成需求模型构件的精确的形式化的描述 开发、捕获和修订用户的需求