- 1、本文档共9页,可阅读全部内容。
- 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
- 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
- 5、该文档为VIP文档,如果想要下载,成为VIP会员后,下载免费。
- 6、成为VIP后,下载本文档将扣除1次下载权益。下载后,不支持退款、换文档。如有疑问请联系我们。
- 7、成为VIP后,您将拥有八大权益,权益包括:VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
- 8、VIP文档为合作方或网友上传,每下载1次, 网站将根据用户上传文档的质量评分、类型等,对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
查看更多
人为因素对电力系统软件可靠性的影响
目录
TOC \o "1-9" \h \z \u 目录 1
正文 1
文1:人为因素对电力系统软件可靠性的影响 1
1、背景:人为因素 2
2、以人为本的发展 3
2.1以人为本的重新设计和建模 3
2.2以人为本的测试策略 4
2.2.1基于人为故障的测试 4
2.2.2面向人的优先级回归测试 4
3.结论 5
文2:软件可靠性和软件测试 5
1软件可靠性 5
1.1软件可靠性概述 在规定的条件下 5
1.2软件可靠性模型 6
1.3软件可靠性测试 软件可靠性是程序在给定的时间间 6
2软件测试 7
2.1软件测试方法 7
2.2软件测试过程 软件测试过程一般分为四个步骤进行 7
3软件测试是软件可靠性的一个重要保障 9
原创性声明(模板) 9
正文
人为因素对电力系统软件可靠性的影响
文1:人为因素对电力系统软件可靠性的影响
引言
有一个支持正确的人机交互的系统接口和开发出来的系统的正确性同样重要。即使我们开发的系统以一种理想中的正确方式(符合其需求规格)运行,如果用户无法正确使用,这些是无济于事的。大部分事故都是人为造成的。因此,有必要使人为因素工程(humanfactoengineering)成为软件开发过程的一部分。
人为因素工程学的基本目标是在人机交互时,减少误差、提高生产率和安全性。在进行此类工作时,我们必须系统地收集错误信息,制定错误分类法,并在此基础上确定防止此类错误的解决方案,因此,工程的容错不仅要从硬件和软件的角度进行分析,还要进行人为因素和人机交互(HCI)分析。
1、背景:人为因素
最初,由于在安全攸关的系统的开发和使用上发生了错误,人们开始了对人为因素和HCI的研究。特定的安全攸关系统,例如在自动驾驶领域,只使用受控语言和半形式语言是不够的,精确的形式规范对于确保系统的安全至关重要。
说到人为因素,我们主要关注工程错误范式。工程错误范式(EEP)所针对的人为因素通常包括人机界面的设计以及相应的自动化。在这个范例中,人类几乎等同于软件和硬件组件,但与此同时,人类被视为整个系统中“最不可靠的组件”。通过一些系统设计步骤的自动化,将人从主要系统动作中剔除出来,能够降低风险。
EEP的另一个重要观点是,人的错误往往是由于人机交互界面不匹配和对人的身体能力的高估而导致的。我们必须在设计过程中考虑人的能力和可靠度,对于模型和规范,我们必须关注清晰性和可读性。个人错误范式侧重于理解人们犯错的原因,然后试图解决这些问题。
2、以人为本的发展
为了在软件工程过程中嵌入人为错误分析的方法,我们必须对错误进行分类。
对软件需求检查的研究表明,人类检测需求文档中的不一致取决于他们的学习风格,即个人特有的获取、保留和检索信息的方式。我们建议将这些方法扩展到软件的实现和测试。
分析需求规格阶段和建模阶段分别出现的典型错误可以为优化测试提供帮助。测试用例优先级是通过(1)建模和实现阶段的分析、(2)用户与软件交互时出现的典型错误进行排序。重建、建模、实现以及用户与软件交互阶段具有不同的典型错误集。这些集合之间的分类对于改进软件开发过程可能很有效果。在各个阶段,我们必须指定特定的测试用例,并在测试用例优先排序期间将其考虑在内。
2.1以人为本的重新设计和建模
之前关于人为因素工程的工作中,我们将重点放在实现系统开发过程中重新建模使用的一些方法[2]。软件系统通常是迭代开发的,在开发过程中可以多次更新需求规范。如果在开发的建模/实现阶段经常更改系统模型或实现,则很难及时更新需求规格,这个问题可以通过适当的自动化来解决。模型生成以后,每次更新模型时,系统模型都会自动生成一个(半)形式化的规范,然而,这并不能解决开发过程第一次迭代时需求文档中的故障检测问题,因为模型不存在。
2.2以人为本的测试策略
2.2.1基于人为故障的测试
测试不能确保程序无故障,但是,我们可以对测试套件进行特殊设计,以确保程序不存在任何特定类型的故障。为此目的服务的测试策略称为基于故障的测试。最古老也是最典型的基于故障的测试方法之一是领域测试。为了检测域错误,需要从输入空间内每个域的边界上和边界附近选择测试用例。
基于故障的方法也被广泛应用于基于布尔类型的测试用例选择。
为了保证对某些故障类型的检测,人们提出了各种策略。我们建议在设计基于故障的测试时考虑人为因素,以提高测试效果。故障类型有很多种,但是,通过检查最终用户的行为,我们可以预测在使用软件时,哪些类型的故障更容易触发。此外,我们还可以分析开发人员的编程风格,以预测在开发过程中更可能引入哪些故障类型。根据分析结果,我们可以确定一些在测试中需要更多关注的特
文档评论(0)