UC知道找明白人翻译计算机反面英文材料(2)!!!
来源：百度知道 编辑：UC知道 时间：2024/09/23 10:43:02
In the end, only external factors matter. If I use a Web browser or live near a
computer-controlled nuclear plant, little do I care whether the source program is readable
or modular if graphics take ages to load, or if a wrong input blows up the plant. But the
key to achieving these external factors is in the internal ones: for the users to enjoy the
visible qualities, the designers and implementers must have applied internal techniques
that will ensure the hidden qualities.
The following chapters present of a set of modern techniques for obtaining internal
quality. We should not, however, lose track of the global picture; the internal techniques
are not an end in themselves, but a means to reach external software qualities. So we must
start by looking at external factors. The rest of this chapter examines them.
1.2 A REVIEW OF EXTERNAL FACTORS
Here are the most important external quality factors, whose pursuit is the c
computer-controlled nuclear plant, little do I care whether the source program is readable
or modular if graphics take ages to load, or if a wrong input blows up the plant. But the
key to achieving these external factors is in the internal ones: for the users to enjoy the
visible qualities, the designers and implementers must have applied internal techniques
that will ensure the hidden qualities.
The following chapters present of a set of modern techniques for obtaining internal
quality. We should not, however, lose track of the global picture; the internal techniques
are not an end in themselves, but a means to reach external software qualities. So we must
start by looking at external factors. The rest of this chapter examines them.
1.2 A REVIEW OF EXTERNAL FACTORS
Here are the most important external quality factors, whose pursuit is the c
最后, 唯一外在因素事关。如果我使用一台浏览器或居住在a 附近 计算机控制的核工厂, 一点I 关心是否源程序是可读的 或模件如果图表采取年龄对装载, 或如果错误输入炸毁植物。但 达到这些外在因素的钥匙是在内部部分: 为用户享用 可看见的质量、设计师和实施一定申请了内部技术 那将保证暗藏的质量。
以下章节当前一套获得的现代技术内部 质量。我们不应该, 然而, 丢失全球性图片的轨道; 内部技术 不是一个末端在他们自己, 但手段到达外在软件质量。如此我们必须 开始由看外在因素。剩余这个章节审查他们。
1.2 EXTERNAL 因素回顾 这最重要的外在质量因素, 追求是主要任务 面向对象的软件建筑。
正确性是头等质量。如果系统不做什么它应该做, 一切对此- 是否它是快速的, 有好的用户界面... - 事态一点
但这说得容易。第一步对正确性已经是困难的: 我们必须能指定系统要求以精确形式, 单独相当a 富挑战性任务。
方法为保证正确性通常将是有条件的。严肃的软件 系统, 一小甚而一个由今天标准, 接触在许多区域, 它会是 不可能保证它的正确性由应付所有组分和物产 一个唯一水平。反而, 一种层状方法是必要的, 各层数依靠更低那些:
在对正确性的有条件方法, 我们只担心保证那 各层数是正确的在假定, 更低的水平是正确的。这是唯一 现实技术, 如同它达到关心的分离和让我们集中在每个 阶段在问题一个有界集。您无法有用地检查节目在highlevel 语言x 是正确的除非您能假设, 编译器在手 贯彻x 正确地。这不一定意味, 您盲人信任编译器, 简单地, 您分离问题的二个组分: 编译器正确性, 和 您的节目的正确性相对语言的语义学。