Бағдарламалық жасақтамада синтаксистік әдістер – қателерді анықтау арқылы дұрыс код жасау тәсілдері. Формалды әдістерге қарағанда арзан әрі жеңіл балама.
Ағылшыншамен салыстырыңыз: абзацты басыңыз — түпнұсқа терезеде ашылады. Абзац астындағы EN түймесі оны мәтін ішінде көрсетеді.
Мазмұны
Кіріспе
Бағдарламалық инженерияда синтаксистік әдістер – дұрыс бағдарламалық құралдарды жасауға арналған техникалар. Бұл техникалар жасалып жатқан кодтың синтаксистік, емес семантикалық деңгейінде құрылымын тексеру арқылы нақты бір кемшіліктерді (көздерді) анықтап, осы арқылы олардың пайда болуын болдырмауға тырысады.
In software engineering, syntactic methods are techniques for developing correct software programs. The techniques attempt to detect, and thus prevent, certain kinds of defects (bugs) by examining the structure of the code being produced at its syntactic rather than semantic level.
Қолданылуы
Синтаксистік әдістер көбінесе формалды әдістер қолдану мүмкін болмаған жағдайларда пайдаланылады және көбінесе олардан қарапайым және, ең бастысы, арзан балама болып табылады. Миссиялық маңызы жоқ жүйелерде формалды әдістер олардың тиімділігіне қарағанда тым қымбатқа түсуі мүмкін. Моделдеу, мамандар, іске асыру және әзірлеуге кеткен шығындар жиі болжамды қателіктердің алдын алудан күтілетін пайдадан асып түседі. Бұл тәсіл зерттеліп отырған жүйеден құрылатын абстрактілі тәуелділік графигін пайдалануға негізделген. Абстрактілі тәуелділік графигі – бағытталған граф, бір бағытты қабырғалармен байланысқан төбелердің графы. Көбінесе графиктің төбелері мен қабырғалары жүйедегі функциялардың немесе оның құрамдас бөліктерінің кіріс және шығыстарын көрсетеді. Құрылған абстрактілі тәуелділік графигін тексеру арқылы әзірлеуші жүйедегі синтаксистік аномалияларды (немесе Прис аномалияларын) анықтай алады. Аномалиялар әрқашан кемшіліктер болмаса да, олар жүйедегі кемшіліктерді табуға көмектесетін маңызды ақпарат береді. Сондықтан жүйедегі аномалиялар әзірлеушіге кемшіліктерді іздеуде дұрыс бағытты табуға көмектеседі.
Syntactic methods are often used when formal methods are not an option, and are often a simpler and, more importantly, cheaper alternative. In non mission critical systems, formal methods may prove to be too expensive for the benefit they provide. The costs of modelling, personnel, execution and development may often outweigh the benefits gained by preventing possible failures. This approach revolves around the use of an abstract dependency graph which is created from the system in question. An abstract dependency graph is a directed graph, a graph of vertices connected by one way edges. Most often, the vertices and edges of the graph represent the inputs and outputs of functions in or components of the system. By inspecting the created abstract dependency graph, the developer can detect syntactic anomalies (or Preece anomalies) in the system. While anomalies are not always defects, they often provide clues to finding defects in a system. Therefore, the anomalies in a system help point the developer in the right direction in finding defects.
Жалпы сілтемелер
"Программдық архитектураның синтаксистік теориясы". Диан, Томас Р., Корди, Джеймс Р. IEEE Бағдарламалық инженерия бойынша транзакциялар 21 (4), б. 302–313 (1995)
"Синтаксистік типтік абстракция". Гроссман, Д., Моррисетт, Г., Зданцевич, С. ACM Програмдау тілдері мен жүйелер бойынша транзакциялар 22 (6), б. 1037–1080
"Құрылымдалмаған бағдарламаларды тіліп алудың жаңа алгоритмі". Харман, М., Даничич, С. Бағдарламалық қамтамасыз етуді сақтау және дамыту журналы 10 (6), б. 415–441
"Синтаксистік үлгілерді тану арқылы кіріктірілген бағдарламалық жасақтаманы кері инженериялау". Fournigault, M., Liardet, P. Y., Teglia, Y. Trémeau, A. Robert Inacio, F. Компьютерлік ғылымдар бойынша лекциялар жинағы (Жасанды интеллект бойынша лекциялар жинағы және Биоинформатика бойынша лекциялар жинағын қоса алғанда) 4277 LNCS I, 2006, 527–536 беттер. (2006)
"Syntactic theory of software architecture." Dean, Thomas R., Cordy, James R. IEEE Transactions on Software Engineering 21 (4), pp. 302–313 (1995)
"Syntactic type abstraction" Grossman, D., Morrisett, G., Zdancewic, S. ACM Transactions on Programming Languages and Systems 22 (6), pp. 1037–1080
"A new algorithm for slicing unstructured programs." Harman, M., Danicic, S. Journal of Software Maintenance and Evolution 10 (6), pp. 415–441
"Reverse engineering of embedded software using syntactic pattern recognition" Fournigault, M., Liardet, P. Y., Teglia, Y. Trémeau, A. Robert Inacio, F. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) Volume 4277 LNCS I, 2006, Pages 527–536. (2006)