Вопросы и задания

1. Сформулируйте понятие отказа в программном обеспечении.

2. Приведите примеры синтаксических ошибок и семантических оши­бок.

3. Кратко охарактеризуйте модель происхождения ошибок в ПО.

4. Какие принципы и методы относятся к группе «предупреждение ошибок»?

5. Какие принципы и методы относятся к группе «обеспечение устой­чивости к ошибкам»?

6. Перечислите и дайте краткую характеристику основным этапам проектирования ПО.

7. В чем состоит правило проверки «n плюс-минус один»?

8. В чем состоит разница между целями продукта и проекта?

9. Сформулируйте цели этапа внешнего проектирования.

10. Какие вы можете привести разновидности прочности модулей?

11. Приведите пример модулей, сцепленных по данным.

12. В чем заключается принцип пассивного обнаружения ошибок, на­зываемый «взаимное недоверие»?

13. Какие сведения должны содержать внешние спецификации мо­дуля?

14. В чем достоинства метода пошаговой детализации создания про­граммных модулей по сравнению с методом блок-схем?

15. Чем эффективность отличается от «микроэффективности»?

16. Будет ли 2,0·2,0 в цифровой вычислительной машине равно 4,0?

17. Сравните технологию тестирования программы как «черного ящика» с технологией тестирования программы как «белого ящика».

18. В чем заключается модель роста надежности ПО?

19. Как на практике воспользоваться методом накопления стати­стики?

20. Вычислите значение комплексного коэффициента готовности для примера из подразд. 3.4.5, предположив, что подсистема передачи ин­формации реализована аппаратно и не имеет программной составляющей.

Список литературы

1. Майерс Г. Надежность программного обеспечения. – М.: Мир, 1980. – 360 с.

2. Тейер Т., Ли­лов М., Нельсон Э. Надежность программного обеспе­чения. – М.: Мир, 1981. – 323 с.

3. Надежность функционирования программного обеспе­чения / С.И. Баглюк [и др.]. – СПб.: Логос, 1991. – 78 c.

4. Крылов Е.В., Острейковский В.А., Типикин Н.Г. Техника разра­ботки программ: в 2 кн. Кн. 2. Техно­логия, надежность и качество про­граммного обеспечения. – М.: Высшая школа, 2008. – 469 с.

5. Кнут Д. Искусство программирования для ЭВМ. Т. 1. Основные ал­горитмы. – М.: Мир, 1976. – 627 с.

6. Майерс Г. Искусство тестирования программ. – М.: Фи­нансы и ста­тистика, 1982. – 176 с.

7. Jelinski Z., Moranda P.B. Software Reliability Research, in W. Freiberg, Ed., Statistical Computer Performance Evalution. New York: Aca­demic Press, 1972. – Pp. 465–484. (329)

8. Shooman M. L. Probabilistic Models for Software Reliability Predic­tion, in W. Freiberger, Ed., Statistical Computer Performance Evalution. – New York: Academic Press, 1972. – Pp. 485–502. (329)

9. Littlwood B., Verrall J.L. A Bayesian Reliability Growth Model for Computer Software, Record of the 1973 IEEE Symposium on Computer Soft­ware Reliability. – New York: IEEE, 1973. – Pp. 70–77.(329)

10. Schneidewind N.F. Analyses of Error Processes in Computer Soft­ware, Proceedings of the 1975 International Conference on Reliable Software. –New York: IEEE, 1975. – Pp. 337–346. (329)

11. Shooman M.L. Operational Testing and Software Reliability Estima­tion during Program Development, Record of the 1973 IEEE Symposium on Computer Software Reliability. – New York: IEEE, 1973. – Pp. 51–57. (329)

12. Schneidewind N.F. An Approach to Software Reliability Prediction and Quality Control, Proceedings of the 1972 Fall Joint Computer Conference. Montvale. – N. J.: AFIPS Press, 1972. – Pp. 837–847. (329)

13. Mills H.D. On the Statistical Validation jf Computer Programs, FSC-72-6015, IBM Federal System Div., Gaithersburg, Vd., 1972.

14. Richards F.R. Computer Software: Testing, Reliability, Models, and Quality Assurance, NPS-55RH74071A, Naval Postgraduate School, Monterey, Ca., 1974. (329)