Automated Formal Static Analysis and Retrieval of Source Code - JKU

More documents

Recommendations

Info

3.2. INTEGRATION OF MINDBREEZE CODE SEARCH INTO MINDBREEZE ENTERPRISE SEARCH47 Example 3.6. ... categorytype id="objecttype"> Ort Location Autor Author File File ... Klasse Class Modifiers Modifiers ... The deploying command is: mesextension --interface=categorydescriptor --category=CodeSearch --file=codeSearchCategoryDescriptor.xml install The schema for a category descriptor file is in Table 3.2.3.1 (from [***], simplified). Deploying the CodeSearch Category Icon Mindbreeze Enterprise Search provides an interface that links a category icon with an existing category, the only requirements being: the file representing the icon must have PNG format with the image dimensions 16x16 pixels. mesextension --interface=categoryicon --category=CodeSearch --file=mcs-logo-16x16.png install
48CHAPTER 3. CODE SEARCH INTEGRATION FACILITY INTO MINDBREEZE ENTERPRISE SEARCH category@id category/name category/metadata category/metadatum category/metadatum@id category/metadatum@selectable category/metadatum/name The unique category identifier. A display name for the category. The category metadata. The category metadatum (optional) The category metadatum identifier Specifies that the metadatum should be selectable in MCS enabled applications. This attribute can be taken into consideration for search result refinement, for example. A display name for the meta datum Table 3.5: Category Descriptor Schema Documentation Deploying the CodeSearch Context Provider There are two steps for installing the CodeSearch context provider: 1. properly installation of the context provider. mesextension --interface=context --category=CodeSearch --library=mcs-context.jar install 2. providing access to it for insuring that the results returned by the system obey the authorization rules of the original data source. mesextension --interface=access --category=CodeSearch --library=CodeSearchAuthorization.jar install 3.2.4 Mindbreeze Code Search - Use Cases We present the system as it is shown to the user and how interaction with it is possible, including explorative search and data-drilling operations. We exemplify with two use-cases: Find all the hit-types named sort and Find all the methods named sort. We will consider the following Java code snippet for exemplification: Example 3.7. package algorithms; ... public class Sort{ ... public static void sort (double[] a){ ... sort(a, 0, a.length-1); } public static void sort (double[] a, int left, int right){ ... }
Page 1:
J O H A N N E S K E P L E R U N I V
Page 5: Abstract In this thesis two approac
Page 8 and 9: viii
Page 10 and 11: Chapter 1 Introduction From the han
Page 12 and 13: 3 Contributions of the Thesis The s
Page 14 and 15: Next section starts by describing t
Page 16 and 17: Chapter 2 Program Verification by S
Page 18 and 19: 2.1. BACKGROUND 9 From the practica
Page 20 and 21: 2.1. BACKGROUND 11 A program is see
Page 22 and 23: 2.2. FORWARD SYMBOLIC EXECUTION IN
Page 28 and 29: 2.3. THE SIMPLIFICATION OF THE VERI
Page 30 and 31: 2.4. IMPLEMENTATION AND EXAMPLES 21
Page 36 and 37: Chapter 3 Code Search Integration F
Page 38 and 39: 3.1. BACKGROUND 29 Figure 3.1: Sour
Page 40 and 41: 3.1. BACKGROUND 31 The programming
Page 42 and 43: 3.2. INTEGRATION OF MINDBREEZE CODE
Page 62 and 63: Chapter 4 Conclusions In this thesi
Page 64 and 65: 55 How the database is used. For ea
Page 66 and 67: Bibliography [***] ***. Mindbreeze
Page 68 and 69: BIBLIOGRAPHY 59 [Hoa69] [How73] [KF
Page 70 and 71: BIBLIOGRAPHY 61 [VHBP00] [Wil94] W.
Page 72: Eidesstattliche Erklärung Ich erkl
show all

Automated Formal Static Analysis and Retrieval of Source Code - JKU

Create successful ePaper yourself

Delete template?

Save as template?