首页
登录
从业资格
净室软件工程是软件开发的一种( )方法,可以开发出具有较高质量的软件。它使用盒
净室软件工程是软件开发的一种( )方法,可以开发出具有较高质量的软件。它使用盒
题库
2022-08-02
63
问题
净室软件工程是软件开发的一种( )方法,可以开发出具有较高质量的软件。它使用盒结构规约进行分析和建模,并将( )作为发现和排除错误的主要机制,采用统计测试来获取验证软件可靠性所需要的信息。问题1选项A.形式化B.迭代式C.瀑布式D.交互式问题2选项A.测试B.仿真C.实验D.正确性验证
选项
答案
AD
解析
净室软件工程是软件开发的一种形式化方法,可以开发较高质量的软件。它使用盒结构规约进行分析和建模,并将正确性验证作为发现和排除错误的主要机制,采用统计测试来获取验证软件可靠性所需要的信息。净室软件下程强凋在规约和设计上的严格性,以及使用基于数学的正确性来证明对设计模型的每个元素进行形式化验证。
转载请注明原文地址:https://tihaiku.com/congyezige/2401754.html
本试题收录于:
高级系统分析师题库软件水平考试初中高级分类
高级系统分析师
软件水平考试初中高级
相关试题推荐
()不属于项目进度计划中常用的工具和方法。A.甘特图 B.关键路径法 C.
项目的质量保证不包括(),采用的方法和技术不包括(请作答此空)。A.确定
质量保证计划属于软件文档中的()。A.开发文档 B.产品文档 C.管理
外部评审由评审委员会由业主单位、承建单位和一定数量的软件专家组成员组成,人数为
信息要满足一定的质量属性,其中信息()是指信息的来源、采集方法、传输过程是
()是“计算机系统内保护装置的总体,包括硬件、软件,固件和负责执行安全
评估与验收要以()为基准,以测试()为依据,以合同各方法人或受法人
会议是沟通和协调的重要方法。以下说法错误的是()A.做好会议准备工作 B
需求分析是软件生存周期中的重要工作,以下描述不正确的是:()。A.软件需求是
组织协调监理方法中,常用的有监理会议,()不属于会前准备措施里的内容A.确
随机试题
[originaltext]W:Welcometojoinus,Hank.M:Thankyou.(17)Ihavedonethiski
【S1】[br]【S7】D副词辨义题[考频:7]。空格位于take之后,介词短语intheprocess之前,需要副词。该句意为:我想这里的关键是要认真
拆除工程的建设单位与施工单位在签订施工合同时,应签订()协议,明确双方的安全管理
人口采集处理和利用业务属于(),营业执照错发属于(作答此空),户籍管理属于(
根据《商业银行资本管理办法(试行)》的规定,我国商业银行的逆周期资本要求由(
拍卖行应在拍卖日的( )前以登报或通过电视等媒体公告的形式发布关于该房地产拍卖
国家对最低生活保障家庭中有劳动能力,并处于失业状态的成员,给予就业帮助。根据《社
现需设计一个无黏性土的简单边坡。已知边坡高度为10m,土的内摩擦角φ=45°,黏
搜查时,必须有被搜查人或者他的家属、邻居或者其他见证人在场。( )
关于雇用临时员工的不利情况的说法错误的是( )。A.具有较高的灵活性 B.临
最新回复
(
0
)