Технология программирования. - 9 стр.

UptoLike

Рубрика:

- 11 -

пользования сетевых ресурсов. А также проблема защиты информации. Продолжа-

ется развитие формальных методов спецификации программ.

2. Природа ошибок ПС

Интеллектуальные возможности человека по разработке ПС:

– способность к перебору;

– способность к абстракции;

– способность к математической индукции.

Способность к перебору – это способность человека последовательно пере-

ключать внимание с одного предмета на другой, позволяя при этом узнавать иско-

мый предмет. Эта способность ограничена. В среднем человек может перебирать

до 1000 предметов (элементов)

не путаясь. Человек должен учитывать свою огра-

ниченность в этом плане. Средством преодоления этого недостатка является спо-

собность к абстракции. Это способность человека объединять предметы (элемен-

ты) в группы, в одно понятие или заменять множество элементов одним (другого

рода). Способность человека к математической индукции (умозаключения от част-

ных случаев к общему

выводу, в отличие от дедукции или вывода – умозаключе-

ния от более общих суждений к менее общим) позволяет ему справляться с беско-

нечными последовательностями. Под системой будем понимать совокупность

взаимосвязанных друг с другом элементов. Примеры систем: ПС, комплекс про-

грамм и программа. Понять систему – это значит осмысленно перебирать все пути

взаимодействия

элементов между собой. В силу ограниченности человека к пере-

бору различают простые и сложные системы. Под простой системой будем

понимать такую систему, в которой человек уверенно может перебрать все

связи между её элементами, а под сложной – систему, в которой он этого сде-

лать не в состоянии. Граница между простыми

и сложными системами размыта и

не определена. Поэтому можно говорить и о промежуточном классе систем, к ко-

торым относятся программы, про которые говорят, что в каждой отлаженной про-

грамме есть хотя бы одна ошибка.