Реферат Тақырыбы: Бағдарламалық қамтамасыз ету. Операциялық жүйе
жүктеу/скачать 36,37 Kb.
|
Ба дарламалы амтамасыз ету.Операциялы ж йе (1)
|
Қазақстан Республикасы Білім және ғылым министрлігі Е.А.Бөкетов атындағы қарағанды университеті Шет Тілдер факультеті Реферат Тақырыбы: Бағдарламалық қамтамасыз ету.Операциялық жүйе Орындаған: Маралова Ж.М. Қабылдаған:Сейтбековна И. Группа:КАП-22-2 Карағанды 2023ж Жоспары I.КІРІСПЕ.............................................................................................................3-4 II.НЕГІЗГІ БӨЛІМ.............................................................................................5 1.Бағдарламалық қамтамасыз етуді жазу әдістемесі.........................................5 1.1. Бағдарламалық жасақтама.........................................................................5-6 1.2. Операциялық жүйе..................................................................................7-8 ІІІ. Қорытынды...............................................................................................9-10 ІV. Пайдаланылған әдебиеттер тізімі V. Сөздік Кіріспе
Қазіргі уақытта бағдарламалық қамтамасыз ету (ПО) адам қызметінің көптеген саласында қолданылады. Көптеген кәсіпорындардың табысы оның сенімділігі мен функционалдылығына байланысты. Сондықтан әзірленетін бағдарламалық қамтамасыз етудің сапасы үлкен маңызға ие. Бағдарламалық қамтамасыз етуді әзірлеудің бар тәсілдері оның сапасына жеткілікті түрде кепілдік бермейді. Әзірленіп жатқан өнімді тестілеу бағдарламада қателіктердің болмауына кепілдік бере алмайды, өйткені олардың көпшілігі сынақ ортасында модельдеуге болмайтын белгілі бір жағдайларда пайда болуы мүмкін. Осылайша, бағдарламалық қамтамасыз ету сапасын әзірлеу кезінде оның проблемалары өте өзекті болып табылады. Қазіргі уақытта жоғары сапалы бағдарламалық қамтамасыз етуді әзірлеудің кейбір ресми әдістері қолданылады. Мүмкіндігі барлар ерекше қызығушылық тудырады кепілдік жасалған бағдарламалық қамтамасыз етудің сапасы мен сенімділігі. Бірақ жоғарыда аталған даму әдістері олардың қолданылуының күрделілігіне байланысты іс жүзінде сирек қолданылады. Бағдарламалық қамтамасыз етудің дұрыстығын ресми түрде дәлелдеудің мүмкін болатын әдістерінің бірі - математикалық аппараты В.Е.Котов, Дж.Петтерсон және басқалар жеткілікті түрде зерттеген UML диаграммалары мен Петри торларының интеграциясына негізделген алгоритмдерді қолдану, бұл оларды жүйелік модельді талдауға мүмкіндік береді (Д. А. Колесников, М. А. Ищенко, С. В. Коротиков, А. В. Доля, Л. Бареси, М. Пеззе, С. Бернарди, С. Донателли, Дж. Мерсегуэр,Е.П. Наумович). Соған қарамастан, әзірленген әдістемелік, технологиялық және құралдық шешімдер не диаграммалар жиынтығын модельдеуге мүмкіндік береді, не жүйеде бірнеше объектілердің мінез -құлқын бір мезгілде имитациялайды, немесе бірігіп жасамайтын классикалық Петри торларын қолданады. әзірленген жүйе толық модельдеуді жүзеге асыруға мүмкіндік береді. Сонымен қатар, Petri торларын модельдеу нәтижелерін талдау бойынша ұсыныстар қосымша зерттеулерді қажет ететінін атап өткен жөн. Бағдарламалық қамтамасыз етуді жазу әдістемесін жасаңыз жергілікті жабдықты басқару жүйесін дамытуға қолданылатын UML диаграммалары мен Петри торларын қолданатын зерттеулер. Бірінші тарау тезисте бағдарламалау индустриясында қабылданған бағдарламалық қамтамасыз етуді әзірлеудің қолданыстағы тәсілдері мен алгоритмдері талданады. Жоғары сапалы бағдарламалық қамтамасыз етуді жасауға ең қолайлы тәсілдердің ішінде қайталанатын әдістерді ажыратуға болады. Бағдарламалық қамтамасыз ету индустриясында кодты жазу үшін объектіге бағытталған программалау (OOP) принциптері кеңінен қолданылады. UML диаграммалары OOP принциптерін графикалық көрсетуге арналған тіл ретінде белсенді қолданылады, бұл бағдарламалық қамтамасыз етуді жасау үдерісін айтарлықтай жылдамдатады. Алайда, тек бағдарламалық кодтар, соның ішінде UML диаграммасында шағылыстыру арқылы, жүйенің сапасына жоғары деңгейдегі тестілеу кезінде де кепілдік бере алмайды, өйткені көптеген қателіктер сынақ ортасында қайталанбайтын нақты жағдайларда пайда болады. Бағдарламалық қамтамасыз ету жүйелерінің сапасына қол жеткізу үшін жүйені қолмен модельдеуді де (арнайы бағдарламалық пакеттерді қолдану арқылы) және бағдарламалық қамтамасыз етудегі мүмкін болатын қателерді анықтау үшін жүйенің күй кеңістігін талдауды жүзеге асыруға мүмкіндік беретін Petri торлары таңдалады. Жүйенің күй кеңістігін талдау Петри торының қол жетімділік ағашын талдауды қолдану арқылы жүзеге асырылады. І.Бағдарламалық қамтамасыз етуді жазу әдістемесі 1. Бағдарламалық жасақтама Зерттеулердің нәтижелері НМТУ автоматтандыру және есептеу техникасы факультетінің оқу процесінде қолданылады. Сонымен қатар, техника басқа сыныптардың есептерінде тексерілді: Бағдарламалық қамтамасыз ету(сондай-ақ, айтылу рұқсат етіледі) (бағдарламалық жасақтама) - компьютерді басқару үшін қолданылатын бағдарлама немесе көптеген бағдарламалар (ISO/IEC 26514:2008). Халықаралық және ресейлік стандарттардан басқа анықтамалар: осы бағдарламаларды пайдалану үшін қажетті ақпаратты және бағдарламалық құжаттарды өңдеу жүйесі бағдарламаларының жиынтығы (МЕМСТ 19781-90 ); ақпаратты өңдеу жүйесінің (ISO/IEC) бағдарламаларының, рәсімдерінің, ережелерінің және тиісті құжаттамаларының барлығы немесе бір бөлігі компьютерлік бағдарламалар, процедуралар және мүмкін компьютерлік жүйенің жұмысына қатысты тиісті құжаттар мен мәліметтер (IEEE Std 829-2008). Бағдарламалық қамтамасыз ету техникалық (аппараттық), математикалық, ақпараттық, лингвистикалық, ұйымдастырушылық, әдістемелік және құқықтық қамтамасыз етумен қатар есептеу жүйесін қамтамасыз етудің бір түрі болып табылады. Бағдарламалық жасақтаманы зерттейтін академиялық бағыттар-информатика және бағдарламалық жасақтама. Компьютерлік сленгте ағылшын тіліндегі "software" сөзінен шыққан "софт" сөзі жиі қолданылады, ол осы мағынада алғаш рет 1958 жылы Принстон университетінің математигі Джон Тьюки American Mathematical Monthly журналының мақаласында қолданылған.Алғы тарихы. Бағдарламалаудың пайда болуы Бірінші бағдарламаны Ада Ловеласс Чарльз Баббидждің айырмашылық машинасы үшін жазды, бірақ бұл машина ешқашан аяқталмағандықтан, леди Ловелестің дамуы таза теориялық болып қала берді. Бағдарламалық жасақтамаға қатысты алғашқы теорияны ағылшын математигі Алан Тюринг 1936 жылы "entscheidungsproblem-ге қосымшамен есептелетін сандар туралы" ("шешу мәселесіне қосымшамен есептелетін сандар туралы"). Ол Тьюринг деп аталатын машинаны, абстрактілі машинаның математикалық моделін құрды, ол машинаны бір бекітілген күйден екінші күйге аударатын қарапайым операциялардың тізбегін орындай алады. Негізгі идея жүйенің кез-келген алдын-ала анықталған күйіне әрдайым белгіленген командалар жиынтығынан элементар командалардың (бағдарламаның) соңғы жиынтығын дәйекті түрде орындау арқылы қол жеткізуге болатындығын математикалық дәлелдеу болды. 1940-1950 жылдардағы алғашқы электронды компьютерлер ауыстырып-қосқыштар мен кабельдерді қайта қосу арқылы қайта бағдарламаланды, бұл олардың ішкі құрылымын терең түсінуді қажет етті. Мұндай машиналарға, атап айтқанда, ENIAC (ол, алайда, кейіннен перфокарттардың көмегімен ішінара бағдарламалануы үшін өзгертілген) жатқызылды. Қазіргі компьютерлерге бағытталған маңызды қадам Джон фон Нейманның архитектурасына көшу болды, ол Ұлыбританияда алғаш рет Дж. Р. Уомерзли [en] және Алан Тюрингтің қатысуымен Марк I деп аталатын компьютер, компьютердің жадында сақталған алғашқы бағдарлама 1941 жылы 21 маусымда іске қосылды. Бұл машинаны бағдарламалауды жеңілдету үшін Тюринг қысқартылған кодтау жүйесін ойлап тапты, онда екілік машиналық кодты ұсыну үшін перфолентте көрсетілген телетайп таңбаларының тізбегі қолданылды. 2.Операциялық жүйе Тюринг қызметкерлерінің бірі Джон Мочли кейінірек (Джон Преспер Эккертпен бірге) BINAC және UNIVAC сияқты компьютерлерді жасаған Eckert–Mauchly Computer Corporation компаниясының жетекшісі және негізін қалаушы болды, өз қызметкерлеріне алгебралық формулалардың аудармашысын құруды тапсырды. Бұл өршіл мақсатқа 1940 жылдары қол жеткізілмегенімен, Мочлидің басшылығымен" қысқа код " жасалды, онда операциялар мен айнымалылар екі таңбалы комбинациялармен кодталды. Қысқаша код аудармашының көмегімен жүзеге асырылды. Операциялық жүйе (ағылш. operating system) — компьютердің барлық басты әрекеттерін (пернелер тақтасын, экранды, диск- жетектерді пайдалануды), сондай-ақ қатар операциялық жүйенің басқаруымен іске қосылатын басқа программалардың жұмысын басқаратын, көбінесе тұрақты сақтауыш құрылғыда тұратын, машиналық кодта жазылған программа. Алғашқы компьютерлердің операциялық жүйесі болған жоқ, себебі басқару программалары тек компьютердің нақты бір типіне арналып жазылды, бірақ шалғайлық жабдықтарға стандарттардың пайда болуымен, сан алуан компьютерлер үшін осындай жабдықпен әрекеттестіктің бірыңғай программаларын жазуға мүмкіндік туғызды. Операциялық жүйені жазудың екі жүйесі бар — тұрақты сақтауыш құрылғыға барлық жүйені жазу және қатқыл дискіден операциялық жүйенің қалған бөлігінің тек жүктеу программаларын ғана жазу. Мекемеде пайдаланылатын шағын компьютерлер, әдеттегідей, MS-DOS немесе ең соңғы OS/2 операциялық жүйесін пайдаланады. Ықшам машиналарда, дискжетектердің қажеттілігінен аулақ болу үшін, тұрақты сақтауыш құрылғыда жазылған операциялық жүйені пайдаланады. Миникомпьютерлерде UNIX немесе өте танымал емес жүйелер PICK немесе BOS (Ұлыбритания) сияқты операциялық жүйе пайдаланылады; сондай-ақ компьютердің нақты бір типіне арналып әзірленген операциялық жүйелер де кездеседі. Амалдық жүйе (АЖ) Амалдық жүйе (АЖ) – бұл құжаттармен амалдар орындауға арналған, сыртқы құрылғыларды және бағдарламаларды жүзеге асыратын бағдарламалар жиынтығы. АЖ бағдарламалар жүйесінің компьютердің мәліметтерді өңдеу жөніндегі бүкіл жұмысын, пайдаланушымен сұхбатты ұйымдастырады, компьютердің құрылғыларын және қор көздерін басқарады, мәліметтерді қорғауды қамтамасыз етеді, пайдаланушымен бағдарламалар сұратуы бойынша түрлі қызметтерді атқарады және тағы басқа. Мұндай бағдарламалық жасақтаманың құны, әдетте, бес және жүз мың доллар арасында болды. Жеке компьютерлер және жаппай тұтынушыға арналған бағдарламалық қамтамасыз ету 1970-ші жылдары алғашқы дербес компьютерлердің пайда болуы (Альтаир 8800 сияқты) бағдарламалық қамтамасыз етудің жаппай нарығының пайда болуы үшін алғышарттар жасады. Бастапқыда дербес компьютерлерге арналған бағдарламалар сауда орталықтары немесе пошта арқылы" қорап " түрінде таратылды және бағасы 100-500 АҚШ доллары болды. Дэниэл Бриклин ойлап тапқан VisiCalc электронды кестесі сияқты өнімдер бағдарламалық жасақтаманың алғашқы жаппай нарығы үшін маңызды болды, ол MIT түлегі және DEC бағдарламалық жасақтама инженері ретінде Гарвард бизнес мектебінің курстарына қатысып, өзін-өзі шаршататын қаржылық есептеулерді жеңілдетуді қалады және Сеймур Рубинштейн[en] әзірлеуді бастаған. Қорытынды Жүйелік бағдарламалық қамтамасыз ету Негізгі мақала: жүйелік бағдарламалық жасақтама Процессор, жедел жад, енгізу-шығару құрылғылары, желілік жабдық сияқты компьютерлік жүйенің компоненттерін басқаруды қамтамасыз ететін бағдарламалар жиынтығы, олар бір жағынан аппараттық құрал, ал екінші жағынан пайдаланушының қосымшалары болып табылады. Қолданбалы бағдарламалық жасақтамадан айырмашылығы, жүйе нақты практикалық мәселелерді шешпейді, тек басқа бағдарламалардың жұмысын қамтамасыз етеді, оларға компьютерлік жүйенің аппараттық және микробағдарламалық жасақтамасының бөлшектерін абстракциялайтын және компьютерлік жүйенің аппараттық ресурстарын басқаратын қызмет функцияларын ұсынады. Белгілі бір бағдарламалық жасақтаманы жүйеге жатқызу шартты болып табылады және нақты контексте қолданылатын келісімдерге байланысты. Әдетте, жүйелік бағдарламалық жасақтамаға операциялық жүйелер, утилиталар , дерекқорды басқару жүйелері, байланыстырушы бағдарламалық жасақтаманың кең класы кіреді. Қолданбалы бағдарламалық қамтамасыз ету Негізгі мақала: қолданбалы бағдарламалық жасақтама Қолданбалы бағдарламалық жасақтама-белгілі бір пайдаланушы тапсырмаларын орындауға арналған және пайдаланушымен тікелей әрекеттесуге арналған бағдарлама. Лицензия Пайдаланушы бағдарламалық жасақтаманы лицензиялық ережелер орындалған жағдайда бағдарламалық өнімді пайдалану құқығын беретін лицензиямен бірге алады. Әдетте, бұл шарттар пайдаланушының бағдарламалық өнімді басқа пайдаланушыларға беру, кодты өзгерту мүмкіндігін шектейді. Бағдарламалық жасақтаманың бір бөлігі тегін лицензиямен бірге келеді. Мұндай лицензиялар бағдарламалық жасақтаманы таратуға, сондай-ақ оны өзгертуге мүмкіндік береді. Бағдарламалық жасақтаманың бір бөлігі ақысыз таратылады. Сондай-ақ, шартты түрде ақысыз бағдарламалық жасақтама бар. Бұл жағдайда, әдетте, пайдаланушы белгілі бір сынақ кезеңінде бірнеше шектеулі бағдарламалық жасақтаманың демо-нұсқасын тегін алады және оны аяқтағаннан кейін өнімді сатып алуға немесе оны жоюға міндетті. Петри торларының математикалық аппаратын соңғы 30-40 жылда В.Е.Котов, Дж.Петерсон сияқты ғалымдар жеткілікті түрде толық зерттеді. Алайда, Петри торларын қолдану тәжірибеде кеңінен қолданылған жоқ. Петри торлары дамудың көптеген салаларында қолданылады, мысалы, күріш. 1 диспетчерлік станция мен таксофон арасындағы байланыс хаттамасын модельдеу мәселесінің бір бөлігін көрсетеді. Байланыс хаттамасы CPN Tools модельдеу пакетін қолданатын Petri желісімен ұсынылған. Желіні модельдеу мен талдауға сүйене отырып, жүйеде қателіктер бар деген қорытындыға келді: желінің бірнеше тармақталуы және оның қауіпсіздігі. Қосымша S1, S2 және S3 орындары енгізілгеннен кейін, желіні талдау барысында ешқандай проблемалар анықталмады. Петри торлары мен UML диаграммаларын бірге қолдана отырып, бағдарламалық қамтамасыз етуді әзірлеу әдістерін бөліп көрсету керек. Оларда Petri торларының математикалық аппаратының артықшылықтары бар, даму жылдамдығы мен UML диаграммаларын көрсетудің көрінуі, және олардың көмегімен бағалауға болады. дамыған жүйелердің жылдамдығы және әр түрлі бағдарламалық қамтамасыз етуді талдауға өтініш. Пайдаланған әдебиеттер 1. Д.О. Романников, А.В. Марков. Әдістемені қолданудың мысалы ki бағдарламалық жасақтамасы UML диаграммалары мен Petri желілерін қолданады // Nauch. вестн. ҰҒТУ. - 2012. - No 1 (46). - көмегімен. 175 - 181. Басқа басылымдар: 2. А.А. Воевода, Д.О. Романников. UML диаграммаларын қолдану және Сөздік
1)Операциялық жүйе-Operating system 2)Бейнелік файлдар-Video files 3)Бағдарламалық ресурстар-Software resources 4)Процестер-Processes 5)Виртуалды машина- Virtual machine 6)Жүйелік программалар-System programs 7)Драйвер-Driver 8)Утилиттер-Utilities 9)Құрылғылар-Devices 10)Орындалатын программалар-Executable programs 11)Коммандылық файл-Command file 12)Мәтіндік файлдар-Text file 13)Кестелік файлдар-Table file 14)Қосымшалар-Applications 15)Мәліметтер қоры-Database 16)Түйінді өріс-Key field жүктеу/скачать 36,37 Kb. Достарыңызбен бөлісу:
|