DocumentCode :
3081017
Title :
HSML: design directed source code hot spots
Author :
Cordy, James R. ; Schneider, Kevin A. ; Dean, Thomas R. ; Malton, Andrew J.
Author_Institution :
Legasys Corp., Kingston, Ont., Canada
fYear :
2001
fDate :
2001
Firstpage :
145
Lastpage :
154
Abstract :
HSML, the Hot Spot Markup Language, is an ultra-high level executable specification language designed for concisely specifying source code hot spots of all kinds. Each HSML rule specifies the abstract syntactic class of the items to be marked as hot using a nonterminal of the target language grammar, and the semantic conditions under which such items are to be marked using an algebraic expression on the design properties of the item. Conditions can include restrictions on abstract syntactic structure (patterns), design recovered semantic properties (queries on the design database), and semantic properties induced by other markup rules. HSML has been used in industrial practice to specify source code hot spots for the Year 2000 and a wide range of other application maintenance tasks on systems implemented in Cobol, PL/I and RPG. We introduce the basic concepts of HSML and demonstrate its use in real software maintenance tasks
Keywords :
formal specification; grammars; page description languages; programming language semantics; software maintenance; specification languages; Cobol; HSML rule; Hot Spot Markup Language; PL/I; RPG; abstract syntactic class; abstract syntactic structure; algebraic expression; application maintenance tasks; concise specification; design database; design directed source code hot spots; design properties; design recovered semantic properties; industrial practice; markup rules; nonterminal; real software maintenance tasks; semantic conditions; semantic properties; target language grammar; ultra-high level executable specification language; Application software; Credit cards; Databases; Markup languages; Performance analysis; Programming profession; Reverse engineering; Software maintenance; Specification languages; Testing;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Program Comprehension, 2001. IWPC 2001. Proceedings. 9th International Workshop on
Conference_Location :
Toronto, Ont.
ISSN :
1092-8138
Print_ISBN :
0-7695-1131-7
Type :
conf
DOI :
10.1109/WPC.2001.921726
Filename :
921726
Link To Document :
بازگشت