Английский язык: Аннотирование и реферирование текста

236 ing that they must have the highest levels of software security. Such classification would make the task of ensuring security that much harder – and more expensive. Lucky and his panel will have to address that question of resources: the Pentagon has asked them to evaluate the investments the DOD could make to increase confidence in military software. Like many choices in life, "it all comes down to money," Lucky remarks. "How much security can you get for how much money? " Systems Check Debugging is notoriously difficult, and researchers are devising new ways to test the complex code used by the military. One such method comes from Ted L. Bennett and Paul W. Wennberg of Triakis Corporation in Redmond, Wash., which makes simulators and provides software validation services. Writing in the Journal of Defense Soft- ware Engineering last year, they described a research project sponsored by NASA in which they showed how simulations designed to verify system designs can also be used to probe software for faults. Their method allows users to check software for code that is not being util- ized. "It either shouldn't be there," Bennett says, "or it should be tested." Meanwhile a multiyear research project at the Carnegie Mellon Software Engineering Institute focuses on "function extraction" – a means of describing software functionality to determine exactly what it should do and a way to counteract "back doors" or other undesirable software modifications. Vocabulary Adversaries – враги , соперники Defense Science Board – Научный совет по делам обороны Foundries – литье , литейный цех Critical – решающий , крайне необходимый Reliance – доверие , уверенность , надежда To be tampered with – быть искаженным , нашпигованным Surreptitious – тайный "Back doors" – черный ход