Towards Automated Testing of the Internet of Things: Results Obtained with the TESTAR Tool View Full Text


Ontology type: schema:Chapter     


Chapter Info

DATE

2018-10-31

AUTHORS

Mirella Martínez , Anna I. Esparcia-Alcázar , Tanja E. J. Vos , Pekka Aho , Joan Fons i Cors

ABSTRACT

As the Internet of Things (IoT) becomes a reality, the need of ensuring the security and reliability of massively interconnected devices becomes a pressing necessity. A means of satisfying this need would be automated testing of IoT devices; however, this presents many difficulties, such as the lack of standards, multitude of manufacturers, restricted capabilities (such as power), etc. In this work we present the first results on using TESTAR tool for automating IoT testing of smart home devices. TESTAR is a tool for automated testing at the Graphical User Interface (GUI) level of an application. The tool uses the Accessibility API the obtain information about the GUI and derive actions that can be executed in test sequences. Many IoT systems use the REST API to access the resources that compose the system. Consequently, this paper looks into IoT system testing as a natural field for extending the TESTAR philosophy from GUI (Accesibility) to IoT (REST) APIs. The results show the potential of TESTAR in this new environment. More... »

PAGES

375-385

References to SciGraph publications

Book

TITLE

Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems

ISBN

978-3-030-03423-8
978-3-030-03424-5

Identifiers

URI

http://scigraph.springernature.com/pub.10.1007/978-3-030-03424-5_25

DOI

http://dx.doi.org/10.1007/978-3-030-03424-5_25

DIMENSIONS

https://app.dimensions.ai/details/publication/pub.1107922867


Indexing Status Check whether this publication has been indexed by Scopus and Web Of Science using the SN Indexing Status Tool
Incoming Citations Browse incoming citations for this publication using opencitations.net

JSON-LD is the canonical representation for SciGraph data.

TIP: You can open this SciGraph record using an external JSON-LD service: JSON-LD Playground Google SDTT

[
  {
    "@context": "https://springernature.github.io/scigraph/jsonld/sgcontext.json", 
    "about": [
      {
        "id": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/0801", 
        "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
        "name": "Artificial Intelligence and Image Processing", 
        "type": "DefinedTerm"
      }, 
      {
        "id": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/08", 
        "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
        "name": "Information and Computing Sciences", 
        "type": "DefinedTerm"
      }
    ], 
    "author": [
      {
        "affiliation": {
          "alternateName": "Polytechnic University of Valencia", 
          "id": "https://www.grid.ac/institutes/grid.157927.f", 
          "name": [
            "Universidad Politecnica de Valencia, Valencia, Spain"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Mart\u00ednez", 
        "givenName": "Mirella", 
        "id": "sg:person.011773743757.97", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.011773743757.97"
        ], 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "alternateName": "Polytechnic University of Valencia", 
          "id": "https://www.grid.ac/institutes/grid.157927.f", 
          "name": [
            "Universidad Politecnica de Valencia, Valencia, Spain"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Esparcia-Alc\u00e1zar", 
        "givenName": "Anna I.", 
        "id": "sg:person.013120446424.25", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.013120446424.25"
        ], 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "alternateName": "Polytechnic University of Valencia", 
          "id": "https://www.grid.ac/institutes/grid.157927.f", 
          "name": [
            "Open University, Heerlen, The Netherlands", 
            "Universidad Politecnica de Valencia, Valencia, Spain"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Vos", 
        "givenName": "Tanja E. J.", 
        "id": "sg:person.014602031444.48", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.014602031444.48"
        ], 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "alternateName": "Open University in the Netherlands", 
          "id": "https://www.grid.ac/institutes/grid.36120.36", 
          "name": [
            "Open University, Heerlen, The Netherlands"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Aho", 
        "givenName": "Pekka", 
        "id": "sg:person.013350305253.55", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.013350305253.55"
        ], 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "alternateName": "Polytechnic University of Valencia", 
          "id": "https://www.grid.ac/institutes/grid.157927.f", 
          "name": [
            "Universidad Politecnica de Valencia, Valencia, Spain"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Cors", 
        "givenName": "Joan Fons i", 
        "type": "Person"
      }
    ], 
    "citation": [
      {
        "id": "sg:pub.10.1007/978-3-642-00985-3_2", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1029114528", 
          "https://doi.org/10.1007/978-3-642-00985-3_2"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/978-3-642-00985-3_2", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1029114528", 
          "https://doi.org/10.1007/978-3-642-00985-3_2"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.4018/ijismd.2015070103", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1071879983"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/978-3-319-47106-8_15", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1084918241", 
          "https://doi.org/10.1007/978-3-319-47106-8_15"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1109/sensorcomm.2008.20", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1093479355"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1109/rcis.2014.6861051", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1095087195"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1109/icas.2009.50", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1095677032"
        ], 
        "type": "CreativeWork"
      }
    ], 
    "datePublished": "2018-10-31", 
    "datePublishedReg": "2018-10-31", 
    "description": "As the Internet of Things (IoT) becomes a reality, the need of ensuring the security and reliability of massively interconnected devices becomes a pressing necessity. A means of satisfying this need would be automated testing of IoT devices; however, this presents many difficulties, such as the lack of standards, multitude of manufacturers, restricted capabilities (such as power), etc. In this work we present the first results on using TESTAR tool for automating IoT testing of smart home devices. TESTAR is a tool for automated testing at the Graphical User Interface (GUI) level of an application. The tool uses the Accessibility API the obtain information about the GUI and derive actions that can be executed in test sequences. Many IoT systems use the REST API to access the resources that compose the system. Consequently, this paper looks into IoT system testing as a natural field for extending the TESTAR philosophy from GUI (Accesibility) to IoT (REST) APIs. The results show the potential of TESTAR in this new environment.", 
    "editor": [
      {
        "familyName": "Margaria", 
        "givenName": "Tiziana", 
        "type": "Person"
      }, 
      {
        "familyName": "Steffen", 
        "givenName": "Bernhard", 
        "type": "Person"
      }
    ], 
    "genre": "chapter", 
    "id": "sg:pub.10.1007/978-3-030-03424-5_25", 
    "inLanguage": [
      "en"
    ], 
    "isAccessibleForFree": false, 
    "isPartOf": {
      "isbn": [
        "978-3-030-03423-8", 
        "978-3-030-03424-5"
      ], 
      "name": "Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems", 
      "type": "Book"
    }, 
    "name": "Towards Automated Testing of the Internet of Things: Results Obtained with the TESTAR Tool", 
    "pagination": "375-385", 
    "productId": [
      {
        "name": "doi", 
        "type": "PropertyValue", 
        "value": [
          "10.1007/978-3-030-03424-5_25"
        ]
      }, 
      {
        "name": "readcube_id", 
        "type": "PropertyValue", 
        "value": [
          "08e835017d9700fbe8f056aeddd8976dab083b8bcb3a4c10c7ad26fe2031189f"
        ]
      }, 
      {
        "name": "dimensions_id", 
        "type": "PropertyValue", 
        "value": [
          "pub.1107922867"
        ]
      }
    ], 
    "publisher": {
      "location": "Cham", 
      "name": "Springer International Publishing", 
      "type": "Organisation"
    }, 
    "sameAs": [
      "https://doi.org/10.1007/978-3-030-03424-5_25", 
      "https://app.dimensions.ai/details/publication/pub.1107922867"
    ], 
    "sdDataset": "chapters", 
    "sdDatePublished": "2019-04-16T04:40", 
    "sdLicense": "https://scigraph.springernature.com/explorer/license/", 
    "sdPublisher": {
      "name": "Springer Nature - SN SciGraph project", 
      "type": "Organization"
    }, 
    "sdSource": "s3://com-uberresearch-data-dimensions-target-20181106-alternative/cleanup/v134/2549eaecd7973599484d7c17b260dba0a4ecb94b/merge/v9/a6c9fde33151104705d4d7ff012ea9563521a3ce/jats-lookup/v90/0000000322_0000000322/records_64988_00000000.jsonl", 
    "type": "Chapter", 
    "url": "https://link.springer.com/10.1007%2F978-3-030-03424-5_25"
  }
]
 

Download the RDF metadata as:  json-ld nt turtle xml License info

HOW TO GET THIS DATA PROGRAMMATICALLY:

JSON-LD is a popular format for linked data which is fully compatible with JSON.

curl -H 'Accept: application/ld+json' 'https://scigraph.springernature.com/pub.10.1007/978-3-030-03424-5_25'

N-Triples is a line-based linked data format ideal for batch operations.

curl -H 'Accept: application/n-triples' 'https://scigraph.springernature.com/pub.10.1007/978-3-030-03424-5_25'

Turtle is a human-readable linked data format.

curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/pub.10.1007/978-3-030-03424-5_25'

RDF/XML is a standard XML format for linked data.

curl -H 'Accept: application/rdf+xml' 'https://scigraph.springernature.com/pub.10.1007/978-3-030-03424-5_25'


 

This table displays all metadata directly associated to this object as RDF triples.

121 TRIPLES      23 PREDICATES      32 URIs      19 LITERALS      8 BLANK NODES

Subject Predicate Object
1 sg:pub.10.1007/978-3-030-03424-5_25 schema:about anzsrc-for:08
2 anzsrc-for:0801
3 schema:author Nc34c6691455a47fa8bea74f4a80671ff
4 schema:citation sg:pub.10.1007/978-3-319-47106-8_15
5 sg:pub.10.1007/978-3-642-00985-3_2
6 https://doi.org/10.1109/icas.2009.50
7 https://doi.org/10.1109/rcis.2014.6861051
8 https://doi.org/10.1109/sensorcomm.2008.20
9 https://doi.org/10.4018/ijismd.2015070103
10 schema:datePublished 2018-10-31
11 schema:datePublishedReg 2018-10-31
12 schema:description As the Internet of Things (IoT) becomes a reality, the need of ensuring the security and reliability of massively interconnected devices becomes a pressing necessity. A means of satisfying this need would be automated testing of IoT devices; however, this presents many difficulties, such as the lack of standards, multitude of manufacturers, restricted capabilities (such as power), etc. In this work we present the first results on using TESTAR tool for automating IoT testing of smart home devices. TESTAR is a tool for automated testing at the Graphical User Interface (GUI) level of an application. The tool uses the Accessibility API the obtain information about the GUI and derive actions that can be executed in test sequences. Many IoT systems use the REST API to access the resources that compose the system. Consequently, this paper looks into IoT system testing as a natural field for extending the TESTAR philosophy from GUI (Accesibility) to IoT (REST) APIs. The results show the potential of TESTAR in this new environment.
13 schema:editor N1296150765cc411a8b1e2cf40f409789
14 schema:genre chapter
15 schema:inLanguage en
16 schema:isAccessibleForFree false
17 schema:isPartOf Nfc39f91feb7b4fd2b74521fcbe986628
18 schema:name Towards Automated Testing of the Internet of Things: Results Obtained with the TESTAR Tool
19 schema:pagination 375-385
20 schema:productId N66e33b64a1b44d0fa5423c1d41d72e73
21 Ncb9bbf6b1a214ac88f3fa096dbb5f3c5
22 Nd597ace3ee1e43a2b9ee893f1faba7cd
23 schema:publisher N41a3357ddcfc4df79b074a215c5a1aa3
24 schema:sameAs https://app.dimensions.ai/details/publication/pub.1107922867
25 https://doi.org/10.1007/978-3-030-03424-5_25
26 schema:sdDatePublished 2019-04-16T04:40
27 schema:sdLicense https://scigraph.springernature.com/explorer/license/
28 schema:sdPublisher N3548566ea0084905bfa58c6705030855
29 schema:url https://link.springer.com/10.1007%2F978-3-030-03424-5_25
30 sgo:license sg:explorer/license/
31 sgo:sdDataset chapters
32 rdf:type schema:Chapter
33 N1296150765cc411a8b1e2cf40f409789 rdf:first Ne2ed0d8233494256a8c188b84db63a02
34 rdf:rest N338eb63003574f28a1ff0bfd781b6f1b
35 N338eb63003574f28a1ff0bfd781b6f1b rdf:first Nae38bf4ee3e34edcb58d4082e5adcf39
36 rdf:rest rdf:nil
37 N351de6f0ec14434e8db294ac00d19a82 schema:affiliation https://www.grid.ac/institutes/grid.157927.f
38 schema:familyName Cors
39 schema:givenName Joan Fons i
40 rdf:type schema:Person
41 N3548566ea0084905bfa58c6705030855 schema:name Springer Nature - SN SciGraph project
42 rdf:type schema:Organization
43 N41a3357ddcfc4df79b074a215c5a1aa3 schema:location Cham
44 schema:name Springer International Publishing
45 rdf:type schema:Organisation
46 N66e33b64a1b44d0fa5423c1d41d72e73 schema:name doi
47 schema:value 10.1007/978-3-030-03424-5_25
48 rdf:type schema:PropertyValue
49 N82576b632edd4aa88975134e25b9a76f rdf:first sg:person.013350305253.55
50 rdf:rest Nb978c10f86c44cc6b0ee7c1f8bf4acb4
51 N9b75f9fb190a4c6cb37931e8dfd0a6ae rdf:first sg:person.014602031444.48
52 rdf:rest N82576b632edd4aa88975134e25b9a76f
53 Nae38bf4ee3e34edcb58d4082e5adcf39 schema:familyName Steffen
54 schema:givenName Bernhard
55 rdf:type schema:Person
56 Nb978c10f86c44cc6b0ee7c1f8bf4acb4 rdf:first N351de6f0ec14434e8db294ac00d19a82
57 rdf:rest rdf:nil
58 Nc34c6691455a47fa8bea74f4a80671ff rdf:first sg:person.011773743757.97
59 rdf:rest Neb232c008c89416e87553b1904f06952
60 Ncb9bbf6b1a214ac88f3fa096dbb5f3c5 schema:name dimensions_id
61 schema:value pub.1107922867
62 rdf:type schema:PropertyValue
63 Nd597ace3ee1e43a2b9ee893f1faba7cd schema:name readcube_id
64 schema:value 08e835017d9700fbe8f056aeddd8976dab083b8bcb3a4c10c7ad26fe2031189f
65 rdf:type schema:PropertyValue
66 Ne2ed0d8233494256a8c188b84db63a02 schema:familyName Margaria
67 schema:givenName Tiziana
68 rdf:type schema:Person
69 Neb232c008c89416e87553b1904f06952 rdf:first sg:person.013120446424.25
70 rdf:rest N9b75f9fb190a4c6cb37931e8dfd0a6ae
71 Nfc39f91feb7b4fd2b74521fcbe986628 schema:isbn 978-3-030-03423-8
72 978-3-030-03424-5
73 schema:name Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems
74 rdf:type schema:Book
75 anzsrc-for:08 schema:inDefinedTermSet anzsrc-for:
76 schema:name Information and Computing Sciences
77 rdf:type schema:DefinedTerm
78 anzsrc-for:0801 schema:inDefinedTermSet anzsrc-for:
79 schema:name Artificial Intelligence and Image Processing
80 rdf:type schema:DefinedTerm
81 sg:person.011773743757.97 schema:affiliation https://www.grid.ac/institutes/grid.157927.f
82 schema:familyName Martínez
83 schema:givenName Mirella
84 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.011773743757.97
85 rdf:type schema:Person
86 sg:person.013120446424.25 schema:affiliation https://www.grid.ac/institutes/grid.157927.f
87 schema:familyName Esparcia-Alcázar
88 schema:givenName Anna I.
89 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.013120446424.25
90 rdf:type schema:Person
91 sg:person.013350305253.55 schema:affiliation https://www.grid.ac/institutes/grid.36120.36
92 schema:familyName Aho
93 schema:givenName Pekka
94 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.013350305253.55
95 rdf:type schema:Person
96 sg:person.014602031444.48 schema:affiliation https://www.grid.ac/institutes/grid.157927.f
97 schema:familyName Vos
98 schema:givenName Tanja E. J.
99 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.014602031444.48
100 rdf:type schema:Person
101 sg:pub.10.1007/978-3-319-47106-8_15 schema:sameAs https://app.dimensions.ai/details/publication/pub.1084918241
102 https://doi.org/10.1007/978-3-319-47106-8_15
103 rdf:type schema:CreativeWork
104 sg:pub.10.1007/978-3-642-00985-3_2 schema:sameAs https://app.dimensions.ai/details/publication/pub.1029114528
105 https://doi.org/10.1007/978-3-642-00985-3_2
106 rdf:type schema:CreativeWork
107 https://doi.org/10.1109/icas.2009.50 schema:sameAs https://app.dimensions.ai/details/publication/pub.1095677032
108 rdf:type schema:CreativeWork
109 https://doi.org/10.1109/rcis.2014.6861051 schema:sameAs https://app.dimensions.ai/details/publication/pub.1095087195
110 rdf:type schema:CreativeWork
111 https://doi.org/10.1109/sensorcomm.2008.20 schema:sameAs https://app.dimensions.ai/details/publication/pub.1093479355
112 rdf:type schema:CreativeWork
113 https://doi.org/10.4018/ijismd.2015070103 schema:sameAs https://app.dimensions.ai/details/publication/pub.1071879983
114 rdf:type schema:CreativeWork
115 https://www.grid.ac/institutes/grid.157927.f schema:alternateName Polytechnic University of Valencia
116 schema:name Open University, Heerlen, The Netherlands
117 Universidad Politecnica de Valencia, Valencia, Spain
118 rdf:type schema:Organization
119 https://www.grid.ac/institutes/grid.36120.36 schema:alternateName Open University in the Netherlands
120 schema:name Open University, Heerlen, The Netherlands
121 rdf:type schema:Organization
 




Preview window. Press ESC to close (or click here)


...