Telecommunication Software Final exam 21.11.2006 COMPUTER ENGINEERING LABORATORY 521265A Vastaukset englanniksi tai suomeksi. / Answers in English or in Finnish. 1. (a) Määrittele sovellusviesti, PersonnelRecord, ASN.1:llä oletuksena implisiittinen merkkaus (implicity tagging). Viesti on structure. Kentät lähetetään samassa järjestyksessä kuin ne on määritelty. Viestin luokka on APPLICATION ja sen ID on 2. Viesissä on kolme kenttä (kaikki merkataan kontekstispesifisellä ID:llä.): name, title ja child. Name on structure, jolla on kaksi kentää: givenname ja familyname. Kumpaakaan ei ole merkattu (tagged). Nämä kentät ovat tyyppiä PrintableString ja kenttien lähetysjärjestys järjestys täytyy olla sama kuin missä ne ovat määritetty. Title on tyyppiä PrintableString. Child on structure, jolla on kaksi kentää: name ja age. Nämä merkataan kontekstispesifisellä ID:llä, ja niiden järjestyksellä ei ole merkitystä. Name on sama kuin PersonnelRecordissa. Age on tyyppiä Integer ja arvoalue 0 18. Määrittele tyyppiviittaukset ja anna arvoviittaukset esimerkkiarvolla tehtävää (b) varten. (2p) (b) Koodaa tehtävän (a) PersonnelRecord ASN.1 tyyppimäärittelyn esimerkkiarvot lähetettävään syntaksiin käyttämällä BER:ää (Basic Encoding Rules), hexadesimaalimuoto, definite formaatti ja implisiittinen merkkaus (implicit tagging) oletuksena. (3p) *. Viite: Type (UNIVERSAL) Identifier (decimal) BOOLEAN 1 INTEGER 2 Bit String 3 Octet String 4 SEQUENCE 16 SET 17 NumericString 18 PrintableString 19 Class Bits 8 and 7 UNIVERSAL 00 APPLICATION 01 CONTEXT-SPECIFIC 10 PRIVATE 11 The structure of identifier field: Class Bits 8 and 7 Primitive / Constructive Bit 6, P/C = 0/1 Identifier Bits 5 1 1. (a) Define an application message, PersonnelRecord, with an ASN.1 module with implicitly tagging as default. The message is a structure. The fields are transmitted in the same order as they are defined. The class of the message is APPLICATION and its ID is 2. The
message has three fields (all tagged with context-specific ID): name, title, and child. Name is a structure that has two fields (neither tagged): givenname and familyname. The two fields are both of type PrintableString, and the transmission order of them must be the same as they are defined. Title is of type PrintableString. Child is a structure that has two fields: name and age. The two fields are tagged with context-specific ID, and the order of the fields is not significant. Name is the same as that of PersonnelRecord. Age is of type Integer with value range 0 to 18. Define the type reference and give a value reference with an example value to be used in question (b). (2p) (b) Encode the example value of PersonnelRecord ASN.1 type declaration from question (a) to transfer syntax using BER (Basic Encoding Rules), in hexadecimal presentation, definite format, and implicit tagging as default. (3p) *. Reference Type (UNIVERSAL) Identifier (decimal) BOOLEAN 1 INTEGER 2 Bit String 3 Octet String 4 SEQUENCE 16 SET 17 NumericString 18 PrintableString 19 Class Bits 8 and 7 UNIVERSAL 00 APPLICATION 01 CONTEXT-SPECIFIC 10 PRIVATE 11 The structure of identifier field: Class Bits 8 and 7 Primitive / Constructive Bit 6, P/C = 0/1 Identifier Bits 5 1 2. (a) Suunnittele äärellinen tilakone (FSM), joka antaa tulosteen 1 saatuaan sekvenssin aab. Muissa tapauksissa tuloste on 0. Piirrä tilakoneen kaavio. (2p) (b) Minimoi seuraava FSM käyttämällä implikaatiotaulukkoa (implication table) ja piirrä minimoitu FSM. Esitä tulostaulukko minimointiprosessin jokaisesta iteraatioaskeleesta, lähtien tyhjästä taulukosta. (3p)
2. (a) Design an finite state machine (FSM), which outputs 1 after it has seen aab in the input sequence, and outputs 0 at all other times. Draw the diagram for this state machine. (2p) (b) Minimize the following FSM with implication table, and draw the reduced FSM. Give the result implication table of each iteration step of the minimization process, starting from empty implication table. (3p) 3. (a) Onko seuraava Petri-verkko rajattu (bounded) vai ei? Suojattu (safe) vai ei? Elävä (live) vai ei? Selitä syyt. (2p) (b) Suorita tavoitettavuusanalyysi alla olevalle Petri-verkolle käyttämällä kattavuus puuta (coverability tree). Onko verkko rajattu vai ei? Miksi? (3p)
3. (a) Is the following Petri Net bounded or not, safe or not, live or not? Explain the reason. (2p) (b) Perform reachability analysis on the Petri Net below by using coverability tree. According to the coverability tree, is it bounded or not? Why? (3p) 4. (a) Mitä kirjainlyhennelmä TTCN tarkoittaa TTCN-3:ssa? Piirrä kuva joka esittää TTCN-3:n pääidean ja selitä kuvan jokainen osa sanallisesti (esim sisääntulot, core, ulostulot). (1.5p) (b) Mitkä ovat TTCN-3 moduulin ydinkielen kaksi pääosaa? Selitä kummankin osan tehtävät. (1.5p) (c) Mitkä seuraavista yhteyksistä eivät ole sallittuja TTCN-3 testikonfiguraatiossa? Miksi? (2p) (Connection A) (Connection B)
(Connection C) (Connection D) (Connection E) (Connection F) 4. (a) What does the abbreviation of TTCN mean in TTCN-3? Draw a diagram to show the main idea of TTCN-3, and explain briefly each part, e.g. inputs, core, and outputs. (1.5p) (b) What are the two parts of a TTCN-3 module in its core language? Explain the task of each part. (1.5p) (c) In TTCN-3 s test configuration, which of the following connections are not allowed ones? Explain the reason why they are not allowed. (2p) (Connection A) (Connection B) (Connection C) (Connection D) (Connection E) (Connection F)
5. W = {a, b} on tunnusomainen joukko alla olevalle FSM:lle. Selitä miksi. Löydä myös toinen tunnusomainen joukko. Anna uuden joukon ja W-metodin avulla kaikki testitapaukset (β - sequences) mukaan lukien tapaukset reset capabilityn testaamiseen. Alleviivaa testitapauksista testatut siirtymät. (5p) 5. W = {a, b} is a characterizing set for the following FSM, explain why it is. Find another characterizing set other than this. Then, by using the new one and with W-Method, give all the test cases (β -sequences) including the cases for testing reset capability. In the test cases, underline the tested transitions. (5p)