<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE article PUBLIC "-//NLM//DTD JATS (Z39.96) Journal Publishing DTD v1.1 20151215//EN" "http://jats.nlm.nih.gov/publishing/1.1/JATS-journalpublishing1.dtd">
<article xmlns:xlink="http://www.w3.org/1999/xlink" xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" article-type="research-article" dtd-version="1.1">
<front>
<journal-meta>
<journal-id journal-id-type="pmc">CMC</journal-id>
<journal-id journal-id-type="nlm-ta">CMC</journal-id>
<journal-id journal-id-type="publisher-id">CMC</journal-id>
<journal-title-group>
<journal-title>Computers, Materials &#x0026; Continua</journal-title>
</journal-title-group>
<issn pub-type="epub">1546-2226</issn>
<issn pub-type="ppub">1546-2218</issn>
<publisher>
<publisher-name>Tech Science Press</publisher-name>
<publisher-loc>USA</publisher-loc>
</publisher>
</journal-meta>
<article-meta>
<article-id pub-id-type="publisher-id">19188</article-id>
<article-id pub-id-type="doi">10.32604/cmc.2022.019188</article-id>
<article-categories>
<subj-group subj-group-type="heading">
<subject>Article</subject>
</subj-group>
</article-categories>
<title-group>
<article-title>Ontology Driven Testing Strategies for IoT Applications</article-title>
<alt-title alt-title-type="left-running-head">Ontology Driven Testing Strategies for IoT Applications</alt-title>
<alt-title alt-title-type="right-running-head">Ontology Driven Testing Strategies for IoT Applications</alt-title>
</title-group>
<contrib-group content-type="authors">
<contrib id="author-1" contrib-type="author">
<name name-style="western"><surname>Naqvi</surname><given-names>Muhammad Raza</given-names></name>
<xref ref-type="aff" rid="aff-1">1</xref>
</contrib>
<contrib id="author-2" contrib-type="author">
<name name-style="western"><surname>Iqbal</surname><given-names>Muhammad Waseem</given-names></name>
<xref ref-type="aff" rid="aff-2">2</xref>
</contrib>
<contrib id="author-3" contrib-type="author">
<name name-style="western"><surname>Ashraf</surname><given-names>Muhammad Usman</given-names></name>
<xref ref-type="aff" rid="aff-3">3</xref>
</contrib>
<contrib id="author-4" contrib-type="author">
<name name-style="western"><surname>Ahmad</surname><given-names>Shafiq</given-names></name>
<xref ref-type="aff" rid="aff-4">4</xref>
</contrib>
<contrib id="author-5" contrib-type="author">
<name name-style="western"><surname>Soliman</surname><given-names>Ahmed T.</given-names></name>
<xref ref-type="aff" rid="aff-4">4</xref>
</contrib>
<contrib id="author-6" contrib-type="author">
<name name-style="western"><surname>Khurram</surname><given-names>Shahzada</given-names></name>
<xref ref-type="aff" rid="aff-5">5</xref>
</contrib>
<contrib id="author-7" contrib-type="author" corresp="yes">
<name name-style="western"><surname>Shafiq</surname><given-names>Muhammad</given-names></name>
<xref ref-type="aff" rid="aff-6">6</xref>
<email>shafiq@ynu.ac.kr</email>
</contrib>
<contrib id="author-8" contrib-type="author">
<name name-style="western"><surname>Choi</surname><given-names>Jin-Ghoo</given-names></name>
<xref ref-type="aff" rid="aff-6">6</xref>
</contrib>
<aff id="aff-1"><label>1</label><institution>INP-ENIT, University of Toulouse</institution>, <addr-line>Tarbes, 65000</addr-line>, <country>France</country></aff>
<aff id="aff-2"><label>2</label><institution>Department of Software Engineering, Superior University</institution>, <addr-line>Lahore, 54000</addr-line>, <country>Pakistan</country></aff>
<aff id="aff-3"><label>3</label><institution>University of Management and Technology</institution>, <addr-line>Sialkot Campus</addr-line>, <country>Pakistan</country></aff>
<aff id="aff-4"><label>4</label><institution>Industrial Engineering Department, College of Engineering, King Saud University</institution>, <addr-line>P.O. Box 800, Riyadh, 11421</addr-line>, <country>Saudi Arabia</country></aff>
<aff id="aff-5"><label>5</label><institution>Faculty of Computing, The Islamia University of Bahawalpur</institution>, <addr-line>Bahawalpur, 63100</addr-line>, <country>Pakistan</country></aff>
<aff id="aff-6"><label>6</label><institution>Department of Information and Communication Engineering, Yeungnam University</institution>, <addr-line>Gyeongsan, 38541</addr-line>, <country>Korea</country></aff>
</contrib-group>
<author-notes>
<corresp id="cor1"><label>&#x002A;</label>Corresponding Author: Muhammad Shafiq. Email: <email>shafiq@ynu.ac.kr</email></corresp>
</author-notes>
<pub-date pub-type="epub" date-type="pub" iso-8601-date="2021-10-02"><day>2</day><month>10</month><year>2021</year></pub-date>
<volume>70</volume>
<issue>3</issue>
<fpage>5855</fpage>
<lpage>5869</lpage>
<history>
<date date-type="received"><day>05</day><month>4</month><year>2021</year></date>
<date date-type="accepted"><day>29</day><month>7</month><year>2021</year></date>
</history>
<permissions>
<copyright-statement>&#x00A9; 2022 Naqvi et al.</copyright-statement>
<copyright-year>2022</copyright-year>
<copyright-holder>Naqvi et al.</copyright-holder>
<license xlink:href="https://creativecommons.org/licenses/by/4.0/">
<license-p>This work is licensed under a <ext-link ext-link-type="uri" xlink:type="simple" xlink:href="https://creativecommons.org/licenses/by/4.0/">Creative Commons Attribution 4.0 International License</ext-link>, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.</license-p>
</license>
</permissions>
<self-uri content-type="pdf" xlink:href="TSP_CMC_19188.pdf"></self-uri>
<abstract>
<p>Internet-of-Things (IoT) has attained a major share in embedded software development. The new era of specialized intelligent systems requires adaptation of customized software engineering approaches. Currently, software engineering has merged the development phases with the technologies provided by industrial automation. The improvements are still required in testing phase for the software developed to IoT solutions. This research aims to assist in developing the testing strategies for IoT applications, therein ontology has been adopted as a knowledge representation technique to different software engineering processes. The proposed ontological model renders 101 methodology by using Prot&#x00E9;g&#x00E9;. After completion, the ontology was evaluated in three-dimensional view by the domain experts of software testing, IoT and ontology engineering. Satisfied results of the research are showed in interest of the specialists regarding proposed ontology development and suggestions for improvements. The Proposed reasoning-based ontological model for development of testing strategies in IoT application contributes to increase the general understanding of tests in addition to assisting for the development of testing strategies for different IoT devices.</p>
</abstract>
<kwd-group kwd-group-type="author">
<kwd>Ontology</kwd>
<kwd>software testing</kwd>
<kwd>internet of things</kwd>
<kwd>automation</kwd>
</kwd-group>
</article-meta>
</front>
<body>
<sec id="s1"><label>1</label><title>Introduction</title>
<p>Internet of Things (IoT) is a concept that allows billions of tiny machines, such as sensors, to be connected to the internet. Software testing is the crucial process of software quality assurance because it represents the final revision of specification, design patterns and code generation [<xref ref-type="bibr" rid="ref-1">1</xref>,<xref ref-type="bibr" rid="ref-2">2</xref>]. The main goal of conducting software testing is to reduce the likelihood of errors occurring when the system is in production [<xref ref-type="bibr" rid="ref-3">3</xref>]. It is verified through this research that testers face problems and difficulties which refer to the complexity between tests in IoT applications [<xref ref-type="bibr" rid="ref-4">4</xref>]. The internet and its things are only limited for mere moments in time, so the test is problematic. Furthermore, one issue analyzers will confront is the manner by which to characterize a test architecture with a related environment that is adequate and exhaustive [<xref ref-type="bibr" rid="ref-5">5</xref>]. Likewise, the absence of legitimate information about IoT testing open new research challenges including several quality attributes including interoperability, user-friendly in context of end user satisfaction, and reliability [<xref ref-type="bibr" rid="ref-6">6</xref>]. The research problem is the fact that, in addition to the evidence of problems and difficulties mentioned above, the study conducted in this study did not identify patterns, models or rules regarding tests on IoT devices. The IoT applications of the consulted jobs use convenient ways for different products [<xref ref-type="bibr" rid="ref-7">7</xref>]. The objective of this work is to assist in the development of testing strategies in IoT applications. Thus, the contribution of this work is to provide help in ontology development of a testing strategy focused on the IoT. To maintain good monitoring and performance in IoT it is necessary to improve the quality of processes and one of the most important steps to maintain them, is the testing phase. Still, software testing is essential to the proper functioning of the IoT. After ontology development, it is evaluated by domain experts of IoT, software testing and ontology engineering. The consistency and coherency of developed ontology checked by using &#x201C;Pellet Reasoner&#x201D; which aims to determine the satisfaction. It shows interest for specialists in current research.It also provided the reflection of suggestions for improvements in ontology development as well as future work.</p>
<p>To ensure IoT application quality, this research proposed the ontological modelling technique for test strategies development and consequent execution. The proposed testing methodology has expressed the potentials for domain specific attributes incorporation in the testing process planning. We concluded our study with the proven Potentials of Ontology Driven Information System Development Lifecycle being utilized for IoT Application Testing. Hence, the work adds to build the overall comprehension of Tests in IoT, as well as aiding the Development of Testing Strategies for various IoT gadgets, applications, devices.</p>
<p>The rest of the paper is structured as follows. Section 2 describes summary of the literature review. Section 3, elaborates the problem statement. Section 4 explains ontology engineering. Section 5 defines ontology development. The validation is done in Section 6 while data analysis and discussion are stated in Section 7. Section 8 is about the conclusion of our research and provides horizons towards the future.</p>
</sec>
<sec id="s2"><label>2</label><title>Literature Review</title>
<p>Ontology development, specifically for the domain of software testing in IoT, still has research gap. However, the description of some ontological based IoT approaches is discussed in this section.</p>
<p>To accomplish consistent software development, researchers like Meng et al. [<xref ref-type="bibr" rid="ref-8">8</xref>], Pinheiro et al. [<xref ref-type="bibr" rid="ref-9">9</xref>], Wang et al. [<xref ref-type="bibr" rid="ref-10">10</xref>], Gyrard, et al. [<xref ref-type="bibr" rid="ref-11">11</xref>], Kim et al. [<xref ref-type="bibr" rid="ref-12">12</xref>], Bali et al. [<xref ref-type="bibr" rid="ref-13">13</xref>], Uskov et al. [<xref ref-type="bibr" rid="ref-14">14</xref>] have shown that certain model families typically have some features which are considered better than others. Bermudez-edo et al. proposed an ontology for the network of semantic sensors that describe the main concepts of IoT data in heterogeneous platforms [<xref ref-type="bibr" rid="ref-15">15</xref>]. According to Voas et al. there are three factors for software failure including, a failure is performed, a faulty internal data state is created and the faulty state propagates and so resulting incorrect output [<xref ref-type="bibr" rid="ref-16">16</xref>]. These failure factors can be avoided by applying an appropriate testing methodology for the product or application. According to Geiger et al. automated testing frameworks are effective because IoT-enabled devices have the ability to be self-diagnosed. It is important to note that automated testing is a powerful in an IoT application, as it is applicable in all layers [<xref ref-type="bibr" rid="ref-17">17</xref>]. Furthermore, in the research by Murad et al. emphasize that there are several types of tests that can be used in IoT. There has been a huge trend to shift data analytics from OLAP to Big Data Architectures [<xref ref-type="bibr" rid="ref-18">18</xref>].
<list list-type="bullet">
<list-item><p>Usability Testing: It is important to check the usability of system in IoT testing because the perception varies from one user to another.</p></list-item>
<list-item><p>Reliability and Scalability Testing: IoT testing can provide reliability and scalability in an environment that involves simulating sensors using virtualization tools and technologies.</p></list-item>
<list-item><p>Compatibility Testing: The IoT compatibility testing may provide configurations that can be connected with various devices.</p></list-item>
<list-item><p>Security Testing: It is important to control the users&#x2019; access in IoT environment, by defining the user authentication and data privacy control.</p></list-item>
</list></p>
<p>Another study by Bernardino et al. proposed an ontology in performance testing domain. The ontology was represented in the OWL (Web Ontology Language), developed in the editor Prot&#x00E9;g&#x00E9; and following the methodology of Noy and McGuinness, being directed to assist testers with test planning [<xref ref-type="bibr" rid="ref-19">19</xref>]. It was found, through the literature study, that testers faced problems and difficulties which refer to the complexity between tests in IoT applications. The motivation of this research is to help the professionals to carry out their testing activities in the domain of IoT. It also concentrates that testers can adopt testing strategies driven by ontological model. It is necessary to improve the quality of the processes, their steps to maintain good monitoring and performance in IoT. Further, the software testing is essential for the correct functioning of IoT and must be very well modeled and standardized.</p>
<p>The IoT applications of the consulted jobs use convenient ways for different products. The problems are still existing in the development of testing strategies to carry out software testing in IoT. The study carried out in this work did not identify standards, models or rules with regard to tests on IoT applications. Thus, the objective of this work is to assist, through an ontology, in the development of test strategies in IoT for various connecting devices. In addition, the tests can be applied in a more standardized way by defining phases, strategies and context.</p>
</sec>
<sec id="s3"><label>3</label><title>Ontology Engineering</title>
<p>Ontologies in software testing process deliver the common shared knowledge for understanding of concerned entities and their relationships with a rather simple and easy structure, maintenance and updates [<xref ref-type="bibr" rid="ref-20">20</xref>]. This research has exploratory theme and our ontology is a domain type, that developed in semi-formal languages. Ontology development 101 is the well-known ontology engineering methodology. It consists of seven objective and simple steps of building an ontology process [<xref ref-type="bibr" rid="ref-21">21</xref>]. Uschold and Gruninger emphasize on the importance of defining the scope of ontology [<xref ref-type="bibr" rid="ref-22">22</xref>]. They also provide the list of significant competency questions to define the domain scope of ontology.</p>
<p>These standardized questions also incorporate to enrich our research.
<list list-type="bullet">
<list-item><p>What is the domain of ontology?</p></list-item>
<list-item><p>What is the purpose of building this ontology?</p></list-item>
<list-item><p>What kind of questions, ontology should answer?</p></list-item>
<list-item><p>Who will use and maintain the ontology?</p></list-item>
</list></p>
<p><?A3B2 "tbl1",5,"anchor"?><xref ref-type="table" rid="table-1">Tab. 1</xref> presents the scope of determination for our ontology and view the answers to previous questions. After defining ontology scope, we consider the method of ontology reuse that aims to identify whether it required or not. In assisting the construction of ontology, two ontologies have been reused.</p>
<table-wrap id="table-1">
	
<label>Table 1</label><caption><title>Scope determination</title></caption>

<table frame="hsides">
<colgroup>
<col align="left" charoff="15"/>
<col align="left" charoff="22"/>
</colgroup>
<thead>
<tr>
<th align="left">Questions</th>
<th align="left">Answers</th>
</tr>
</thead>
<tbody>
<tr>
<td align="left">What is the domain of ontology?</td>
<td align="left">The ontology covers software testing applied in IoT.</td>
</tr>
<tr>
<td align="left">What is the purpose of building this ontology?</td>
<td align="left">Provide a clear and more holistic view of testing processes in IoT applications.</td>
</tr>
<tr>
<td align="left">What kind of questions should the ontology&#x0027;s information answers?</td>
<td align="left">Ontology answers when and how to test the IoT.</td>
</tr>
<tr>
<td align="left">Who will use and maintain ontology?</td>
<td align="left">The ontology&#x0027;s users include software testers and researchers. However, it is maintained by the author of this research.</td>
</tr>
</tbody>
</table>
</table-wrap>
<p>The most important step in ontology construction is terms enumeration, the concepts of terms can be defined in primitive classes and defined classes. Classes serve to describe basic concepts of a domain and represent the broadest concepts in a hierarchy. Next step is defining properties that present the relationships between concepts as attributes. A property must have domain and scope, so properties connect individuals from a domain to individuals of a scope [<xref ref-type="bibr" rid="ref-23">23</xref>]. Finally, defining constraints that demonstrate a class of individuals according to the relationships of class members.</p>
</sec>
<sec id="s4"><label>4</label><title>Ontology Development</title>
<p>For the development of ontology, research was carried out in order to seek strategies and techniques for testing in IoT applications. The construction of the proposed ontology is carried out based on seven stages of methodology 101, justified and conceptualized in the previous topics. Ontology is represented in English to increase its scope and follow the pattern adopted in reuse ontologies. For the development, the Prot&#x00E9;g&#x00E9; tool was used and it is an open-source free software with tools to build models and applications based on the areas of knowledge using ontologies.</p>
<sec id="s4_1"><label>4.1</label><title>Ontology Reuse Consideration</title>
<p><?A3B2 "fig1",5,"anchor"?><xref ref-type="fig" rid="fig-1">Fig. 1</xref> presents proposed ontology by reusing two ontologies (Onto test and software test ontology).</p>
<fig id="fig-1"><label>Figure 1</label><caption><title>Structure of the 1st reuse ontology</title></caption>
<graphic mimetype="image" mime-subtype="png" xlink:href="CMC_19188-fig-1.png"/></fig>
<p>Firstly, OntoTest ontology that explores the different aspects involved in software testing activity, defines a common vocabulary and assists in establishing reference architectures [<xref ref-type="bibr" rid="ref-24">24</xref>]. OntoTest is a software testing ontology that assists in the acquisition, organization, reuse and sharing of knowledge about the area. Secondly, In <?A3B2 "fig2",5,"anchor"?><xref ref-type="fig" rid="fig-2">Fig. 2</xref> structure of second reuse ontology the software testing ontology [<xref ref-type="bibr" rid="ref-25">25</xref>] is similar to OntoTest, but represents concepts: tester, context, method, artifact, activity and environment.</p>
<fig id="fig-2"><label>Figure 2</label><caption><title>Structure of the 2nd reuse ontology</title></caption>
<graphic mimetype="image" mime-subtype="png" xlink:href="CMC_19188-fig-2.png"/></fig>
<fig id="fig-3">
	<label>Figure 3</label><caption><title>Main classes</title></caption>
<graphic mimetype="image" mime-subtype="png" xlink:href="CMC_19188-fig-3.png"/></fig>
</sec>
<sec id="s4_2"><label>4.2</label> <title>List Classes (Concepts)</title>
<p>The terms of the ontologies start their construction, remembering that the terms presented below and defined from the reuse ontologies. In the following <?A3B2 "fig3",5,"anchor"?><xref ref-type="fig" rid="fig-3">Fig. 3</xref> it is possible to see the terms defined in the Prot&#x00E9;g&#x00E9; and <?A3B2 "fig4",5,"anchor"?><xref ref-type="fig" rid="fig-4">Fig. 4</xref> defining the test context class.</p>
<fig id="fig-4"><label>Figure 4</label><caption><title>Text context class visualization</title></caption>
<graphic mimetype="image" mime-subtype="png" xlink:href="CMC_19188-fig-4.png"/></fig>
<p>In <?A3B2 "tbl2",5,"anchor"?><xref ref-type="table" rid="table-2">Tab. 2</xref>, the definition of each class has been defined.</p>
<table-wrap id="table-2"><label>Table 2</label><caption><title>Definition of concepts of ontology terms</title></caption>
<table frame="hsides">
<colgroup>
<col align="left"/>
<col align="left"/>
</colgroup>
<thead>
<tr>
<th align="left">Concept</th>
<th align="left">Definition</th>
</tr>
</thead>
<tbody>
<tr>
<td align="left">TestTester</td>
<td align="left">Represents a tester, who is responsible for performing the test activities (TestActivity).</td>
</tr>
<tr>
<td align="left">TestContext</td>
<td align="left">Represents the test step that will be applied to the product.</td>
</tr>
<tr>
<td align="left">TestMethod</td>
<td align="left">It represents methods applicable in testing activities, which may vary as to the techniques and approaches used.</td>
</tr>
<tr>
<td align="left">TestActivity</td>
<td align="left">Represents a test activity.</td>
</tr>
<tr>
<td align="left">TestGoal</td>
<td align="left">It represents a reason or objective that justifies the execution of a test step (TestContext).</td>
</tr>
<tr>
<td align="left">TestArtifact</td>
<td align="left">It represents a test artifact or deliverable, that is, a work product generated from the execution of a test activity (TestActivity).</td>
</tr>
<tr>
<td align="left">TestSystem</td>
<td align="left">It represents the target of a software test, that is, the system under test.</td>
</tr>
</tbody>
</table>
</table-wrap>
</sec>
<sec id="s4_3"><label>4.3</label><title>Terms and Set Classes/Subclasses Enumeration</title>
<p>For each created term, their respective classes were defined according to the IoT testing techniques and strategies. In this <?A3B2 "fig5",5,"anchor"?><xref ref-type="fig" rid="fig-5">Fig. 5</xref> the body of the ontology is created where the test actions are defined.</p>
<fig id="fig-5"><label>Figure 5</label><caption><title>Ontology structure (classes &#x0026; subclasses)</title></caption>
<graphic mimetype="image" mime-subtype="png" xlink:href="CMC_19188-fig-5.png"/></fig>
</sec>
<sec id="s4_4"><label>4.4</label><title>Properties Setting and Instances Creation</title>
<p><?A3B2 "fig6",5,"anchor"?><xref ref-type="fig" rid="fig-6">Fig. 6</xref> presents the properties and individuals defined in Prot&#x00E9;g&#x00E9;. In the case of this ontology, the object property type was constructed. Consequently, in each of the properties, individuals from a domain connected to individuals of a scope.</p>
<fig id="fig-6"><label>Figure 6</label><caption><title>Ontology object properties &#x0026; ontology instances</title></caption>
<graphic mimetype="image" mime-subtype="png" xlink:href="CMC_19188-fig-6.png"/></fig>
<p>Being an instance, the realization of a class, were then defined in each class of the proposed ontology. For example, the TestActivity class aims to represent a test activity, with the result that test cases (TestCases), test plans (TestPlan), test planning (TestPlanning) and test reports (TestReport) must be generated to represent the instances.</p>
</sec>
<sec id="s4_5"><label>4.5</label><title>Define Properties</title>
<p>In the <?A3B2 "tbl3",5,"anchor"?><xref ref-type="table" rid="table-3">Tab. 3</xref>, it is possible to view the properties defined in Prot&#x00E9;g&#x00E9;, as well as the definition of each one. In the case of this ontology, the object property type was built.</p>
<table-wrap id="table-3"><label>Table 3</label><caption><title>Properties definitions</title></caption>
<table frame="hsides">
<colgroup>
<col align="left"/>
<col align="left"/>
</colgroup>
<thead>
<tr>
<th align="left">Property</th>
<th align="left">Definitions</th>
</tr>
</thead>
<tbody>
<tr>
<td align="left">hasLincense</td>
<td align="left">Maps the tool licenses used in the tests.</td>
</tr>
<tr>
<td align="left">hasTestCase</td>
<td align="left">Represents the test cases.</td>
</tr>
<tr>
<td align="left">hasUseCase</td>
<td align="left">Represents the use cases to be tested.</td>
</tr>
<tr>
<td align="left">hasTestStep</td>
<td align="left">It represents the test step being performed in each application.</td>
</tr>
<tr>
<td align="left">hasResponsible</td>
<td align="left">It contains the information of those responsible for the execution of each test activity.</td>
</tr>
<tr>
<td align="left">hasArtifact</td>
<td align="left">It is used to specify which deliverables each test activity can generate.</td>
</tr>
<tr>
<td align="left">hasActivity</td>
<td align="left">Contains information about the test activities to be performed in the IoT application.</td>
</tr>
<tr>
<td align="left">hasGoal</td>
<td align="left">It contains information about the objectives that a software test should have.</td>
</tr>
<tr>
<td align="left">hasSystem</td>
<td align="left">Defines the operating system where the application under test is hosted.</td>
</tr>
<tr>
<td align="left">hasTool</td>
<td align="left">Indicates the test tools chosen for each type of software test.</td>
</tr>
<tr>
<td align="left">hasApplication</td>
<td align="left">Contains information on which IoT application is being tested.</td>
</tr>
<tr>
<td align="left">hasMethod</td>
<td align="left">Defines the methods (techniques and approaches) used to carry out the testing activities.</td>
</tr>
<tr>
<td align="left">hasDataIntegrity</td>
<td align="left">It represents data integrity, that is, maintenance, guarantee of data accuracy and consistency.</td>
</tr>
<tr>
<td align="left">hasPerformance</td>
<td align="left">Maps the number of connected devices, the volume of data propagation between devices.</td>
</tr>
<tr>
<td align="left">hasCompatibility</td>
<td align="left">Represents software and hardware that is compatible with the devices that are connected.</td>
</tr>
<tr>
<td align="left">hasRisks</td>
<td align="left">Determines what risks can occur at each test step.</td>
</tr>
<tr>
<td align="left">hasResources</td>
<td align="left">Ensures that there are resources to proceed with the test.</td>
</tr>
<tr>
<td align="left">hasEnvironment</td>
<td align="left">Determines the environment in which the test will be performed.</td>
</tr>
<tr>
<td align="left">hasDocumentation</td>
<td align="left">Represents the documentation that the testing process must contain.</td>
</tr>
<tr>
<td align="left">hasTestPlan</td>
<td align="left">It contains the information of the test plan created.</td>
</tr>
</tbody>
</table>

</table-wrap>



<fig id="fig-7"><label>Figure 7</label><caption><title>Visualizes the constraints between the classes</title></caption>
<graphic mimetype="image" mime-subtype="png" xlink:href="CMC_19188-fig-7.png"/></fig>
</sec>
<sec id="s4_6"><label>4.6</label><title>Ontology Restrictions</title>
<p>It is necessary to define their respective restrictions whereas the object properties describe the relationships between individuals. This is done through a class of individuals created by the relationships in which they are supposed to participate.</p>
<p>The restrictions covered here are of the &#x201C;Quantifier Restriction&#x201D; type, with two available quantifiers being: i) the existential quantifier (some) (&#x2203;<bold>)</bold>, which define classes of individuals who participate in one relationship (at least) through a specific feature with member individuals of a certain class, ii) the universal quantifier (only) (&#x2200;<bold>)</bold>, which define classes of individuals for a particular property, only have relationships by that property member individuals of that class. The definition of restrictions can made in three parts:
<list list-type="bullet">
<list-item><p>The quantifier, which can be an &#x201C;some&#x201D; existential quantifier (&#x2203;) or a universal &#x201C;only&#x201D; (&#x2200;).</p></list-item>
<list-item><p>A property, on which the constraint acts.</p></list-item>
<list-item><p>A complement to the constraint (filler), which correspond to name class whose individuals meet the constraint.</p></list-item>
</list></p>
<p>We have shown the constraints between classes in <xref ref-type="fig" rid="fig-7">Fig. 7</xref>. For example, the constraint property on the TestActivity class: hasArtifact; the type of constraint: &#x201C;some&#x201D; (existential constraint); the mandatory complement of the restriction (Filler).</p>
<p>The TestArtifact class; then there is hasArtifact property has some (TestArtifact) The informed constraint is specifying that the test activity (TestActivity) has at least one test artifact or deliverable TestArtifact, through the teamArtifact includes hasArtifact property.</p>
<p>Another example, the constraint property on the TestActivity class: hasGoal; the type of restriction: &#x201C;only&#x201D; (universal restriction); the mandatory complement of the restriction (Filler).</p>
<p>The TestGoal class; Then there is: hasGoal only (TestGoal). The informed constraint is specifying that a test activity (TestActivity) has only one objective TestGoal through the object property hasGoal.</p>
</sec>
</sec>
<sec id="s5"><label>5</label><title>Validation</title>
<p>Prot&#x00E9;g&#x00E9; provides third-party Reasoner like HermiT and FaCT&#x002B;&#x002B; and others to validate the ontologies [<xref ref-type="bibr" rid="ref-26">26</xref>]. Reasoner detects and finds inconsistencies or contradictions of ontologies structure and data based on mathematical models [<xref ref-type="bibr" rid="ref-27">27</xref>]. It provides logical deductions based on inference rules defined and specified in description logic and uses forward chaining or backward chaining to perform inference [<xref ref-type="bibr" rid="ref-28">28</xref>]. Pellet Reasoner is used to validate our ontology model. Previously researchers and ontology engineers use reasoner to validate their work [<xref ref-type="bibr" rid="ref-29">29</xref>&#x2013;<xref ref-type="bibr" rid="ref-31">31</xref>]. It can be used in unification with Jena and OWL APIs. <?A3B2 "fig8",5,"anchor"?><xref ref-type="fig" rid="fig-8">Fig. 8</xref> shows the validation of our ontology.</p>
</sec>
<sec id="s6"><label>6</label><title>Data Analysis and Discussion</title>
<p>The technique for data analysis of this work was performed to determine the satisfaction of ontology, whether it meets the necessary requirements referring to software testing, IoT and ontology engineering. The proposed ontology was evaluated by specialists from the domain. For data collection, the experts were sent a questionnaire containing 15 questions to cover the aspects of the ontological model with regard to the satisfaction of ontology. These are semi-open questions with alternatives &#x201C;Satisfies&#x201D;, &#x201C;Does not satisfy&#x201D; and &#x201C;other Option&#x201D;, when choosing the last option, the professional will have the opportunity to express themselves reporting questions or suggestions. Along with the questionnaire, the ontology documentation is sent, so that it can be evaluated. 15 questions were answered by experts, 8 of them obtained 87&#x0025; satisfaction. In <?A3B2 "tbl4",5,"anchor"?><xref ref-type="table" rid="table-4">Tab. 4</xref> below aims to demonstrate the opinion of the experts regarding the satisfaction of ontology.</p>
<fig id="fig-8"><label>Figure 8</label><caption><title>Ontology validation using &#x201C;Pellet&#x201D; reasoner</title></caption>
<graphic mimetype="image" mime-subtype="png" xlink:href="CMC_19188-fig-8.png"/></fig>
<table-wrap id="table-4"><label>Table 4</label><caption><title>Ontology satisfaction</title></caption>
<table frame="hsides">
<colgroup>
<col align="left"/>
<col align="left"/>
<col align="left"/>
</colgroup>
<thead>
<tr>
<th align="left">Subject</th>
<th align="left">Satisfies</th>
<th align="left">&#x0022;Other option&#x0022;</th>
</tr>
</thead>
<tbody>
<tr>
<td align="left">The types of test and test activities are consistent with what the professional performs.</td>
<td align="left">100&#x0025;</td>
<td align="left">N/A</td>
</tr>
<tr>
<td align="left">The IoT testing techniques are consistent with the experience of the specialist.</td>
<td align="left">83.3&#x0025;</td>
<td align="left">Other methods that can be applied in IoT projects that are not included in ontology were mentioned</td>
</tr>
<tr>
<td align="left">Ontology represents the correct approach to Software Testing.</td>
<td align="left">83.3&#x0025;</td>
<td align="left">The specialist is not sure, as he needs a practical example</td>
</tr>
<tr>
<td align="left">Ontology represents the correct approach to the Internet of Things.</td>
<td align="left">100&#x0025;</td>
<td align="left">N/A</td>
</tr>
<tr>
<td align="left">The way in which IoT tests are applied, are in accordance with the knowledge of experts in the fields.</td>
<td align="left">83.3&#x0025;</td>
<td align="left">&#x00A0;Again emphasized the need to apply test ontology in IoT equipment and products.</td>
</tr>
<tr>
<td align="left">Ontology can be useful for testing IoT applications.</td>
<td align="left">100&#x0025;</td>
<td align="left">N/A</td>
</tr>
<tr>
<td align="left">Ontology may be useful for future work.</td>
<td align="left">83.3&#x0025;</td>
<td align="left">A work in which ontology is applied in practical examples.</td>
</tr>
<tr>
<td align="left">Understanding the structure of ontology.</td>
<td align="left">83.3&#x0025;</td>
<td align="left">Within Usability Techniques, the Double Equipment technique could be better described, the text is confusing.</td>
</tr>
<tr>
<td align="left">The structure of ontology is in accordance with the Ontology Engineering.</td>
<td align="left">83.3&#x0025;</td>
<td align="left">Professional does not have the necessary knowledge to answer this question.</td>
</tr>
<tr>
<td align="left">The instances, constraints, and properties of ontology are in accordance with the expert&#x0027;s knowledge of the domains.</td>
<td align="left">100&#x0025;</td>
<td align="left">N/A</td>
</tr>
<tr>
<td align="left">The understanding of the proposed ontology is clear.</td>
<td align="left">100&#x0025;</td>
<td align="left">N/A</td>
</tr>
<tr>
<td align="left">Open question for general positions on ontology.</td>
<td align="left">N/A</td>
<td align="left">Technical suggestion to verify the extent of the connectivity surface; Property suggestion that informs you if the system is upgradeable; Cost concern in test teams; Praise for the ontology proposal; Practical application interests of ontology in an IoT software.</td>
</tr>
</tbody>
</table>

</table-wrap>
<p>According to the percentage of ontology satisfaction and the comments of the experts mentioned in <xref ref-type="table" rid="table-4">Tab. 4</xref>, it can be said that ontology can help in the development of a testing strategy focused on the IoT. The choice of professionals participating in the research was due to the experience in at least 5 years working with IoT. The same criterion of choice was used for software testing and ontology engineering professionals.</p>
</sec>
<sec id="s7"><label>7</label><title>Conclusion</title>
<p>IoT is a specialized domain of computer applications including embedded systems, communication, cloud, fog, edge services and data stores. These specialized information system architecture, process flow and functionality are engineered and tested in their own way. The study here identified the research gap related to domain specific software engineering and more precisely the testing phase for the IoT applications.</p>
<p>To ensure IoT application quality, this research proposed the ontological modelling technique for test strategies development and consequent execution. The proposed testing methodology has expressed the potentials for domain specific attributes incorporation in the testing process planning. The testing model&#x0027;s consistency is verified through the reasoning software that can highlight existing anomalies in test plans. The challenging part of the research is formal representation of testing processes and the constraints among them. The identified prerequisite, dependencies, overlapping tasks and synchronous behavior of complete test plan are the examples of the constraints in the studied testing models. Furthermore, the proposed model is reviewed through the domain experts with a high satisfaction rate (87&#x0025;) observed via conducted survey. The study concluded with the proven potentials of ontology driven information system development lifecycle being used for IoT application testing. Thus, the work contributes to increase the general understanding of tests in IoT, in addition to assisting in the development of testing strategies for different IoT devices.</p>
<p>The presented testing model, can be generalized for any domain specific application testing through domain concept definition and respective knowledgebase linking. The future work in this research directions specific to IoT includes, the variety of tests plan development for individual unit/component and integrated testing with the required span of knowledge sharing in the global software engineering perspectives. In the case of possible studies and future studies in which the research treated in this article can advance we can mention: Measure the cost with testers and the impact of this cost with later support of a project in which the ontology proposal is applied and to one that was not used ontology; Practical application of ontology methods to verify how robust it is to test on IoT equipment and products; Improvement ontology in terms of techniques, strategies and processes.</p>
</sec>
</body>
<back>
<ack>
<p>The authors extend their appreciation to King Saud University for funding this work through Researchers Supporting Project number (RSP-2021/387), King Saud University, Riyadh, Saudi Arabia.</p>
</ack>
<fn-group>
<fn fn-type="other"><p><bold>Funding Statement:</bold> This work was supported by the King Saud University (in Riyadh, Saudi Arabia) through the Researcher Support Project Number (RSP-2021/387).</p></fn>
<fn fn-type="conflict"><p><bold>Conflicts of Interest:</bold> The authors declare that they have no conflicts of interest to report regarding the present study.</p></fn>
</fn-group>
<ref-list content-type="authoryear">
<title>References</title>
<ref id="ref-1"><label>[1]</label><mixed-citation publication-type="journal"><person-group person-group-type="author"><string-name><given-names>A. K.</given-names> <surname>Dwivedi</surname></string-name> and <string-name><given-names>S. M.</given-names> <surname>Satapathy</surname></string-name></person-group>, &#x201C;<article-title>Ontology-based modelling of iot design patterns</article-title>,&#x201D; <source>Journal of Information &#x0026; Knowledge Management</source>, vol. <volume>20</volume>, no. <issue>1</issue>, pp. <fpage>1</fpage>&#x2013;<lpage>25</lpage>, <year>2021</year>.</mixed-citation></ref>
<ref id="ref-2"><label>[2]</label><mixed-citation publication-type="journal"><person-group person-group-type="author"><string-name><given-names>K.</given-names> <surname>Sahu</surname></string-name> and <string-name><given-names>R. K.</given-names> <surname>Srivastava</surname></string-name></person-group>, &#x201C;<article-title>Soft computing approach for prediction of software reliability</article-title>,&#x201D; <source>ICIC Express Letter</source>, vol. <volume>12</volume>, no. <issue>12</issue>, pp. <fpage>1213</fpage>&#x2013;<lpage>1222</lpage>, <year>2018</year>.</mixed-citation></ref>
<ref id="ref-3"><label>[3]</label><mixed-citation publication-type="journal"><person-group person-group-type="author"><string-name><given-names>J. A. P.</given-names> <surname>Lima</surname></string-name> and <string-name><given-names>S. R.</given-names> <surname>Vergilio</surname></string-name></person-group>, &#x201C;<article-title>Test case prioritization in continuous integration environments: A systematic mapping study</article-title>,&#x201D; <source>Information and Software Technology</source>, vol. <volume>121</volume>, pp. <fpage>1</fpage>&#x2013;<lpage>16</lpage>, <year>2020</year>.</mixed-citation></ref>
<ref id="ref-4"><label>[4]</label><mixed-citation publication-type="journal"><person-group person-group-type="author"><string-name><given-names>K.</given-names> <surname>Sahu</surname></string-name> and <string-name><given-names>R. K.</given-names> <surname>Srivastava</surname></string-name></person-group>, &#x201C;<article-title>Revisiting software reliability in data management, analytics and innovation</article-title>,&#x201D; <source>Singapore: Analytics and Innovation Springer</source>, vol. <volume>801</volume>, pp. <fpage>221</fpage>&#x2013;<lpage>235</lpage>, <year>2020</year>.</mixed-citation></ref>
<ref id="ref-5"><label>[5]</label><mixed-citation publication-type="conf-proc"><person-group person-group-type="author"><string-name><given-names>J. D.</given-names> <surname>Hagar</surname></string-name></person-group>, &#x201C;<article-title>Software test architectures and advanced support environments for IoT</article-title>,&#x201D; in <conf-name>IEEE Int. Conf. on Software Testing, Verification and Validation Workshops (ICSTW)</conf-name>, <conf-loc>Sweden</conf-loc>, pp. <fpage>252</fpage>&#x2013;<lpage>256</lpage>, <year>2018</year>.</mixed-citation></ref>
<ref id="ref-6"><label>[6]</label><mixed-citation publication-type="conf-proc"><person-group person-group-type="author"><string-name><given-names>J. H.</given-names> <surname>Andrews</surname></string-name>, <string-name><given-names>L. C.</given-names> <surname>Briand</surname></string-name> and <string-name><given-names>Y.</given-names> <surname>Labiche</surname></string-name></person-group>, &#x201C;<article-title>Is mutation an appropriate tool for testing experiments?</article-title>,&#x201D; in <conf-name>Proc. of the 27th Int. Conf. on Software Engineering</conf-name>, <conf-loc>St. Louis, USA</conf-loc>, pp. <fpage>402</fpage>&#x2013;<lpage>411</lpage>, <year>2005</year>.</mixed-citation></ref>
<ref id="ref-7"><label>[7]</label><mixed-citation publication-type="journal"><person-group person-group-type="author"><string-name><given-names>A.</given-names> <surname>Gyrard</surname></string-name>, <string-name><given-names>A.</given-names> <surname>Zimmermann</surname></string-name> and <string-name><given-names>A.</given-names> <surname>Sheth</surname></string-name></person-group>, &#x201C;<article-title>Building IoT-based applications for smart cities: How can ontology catalogs help</article-title>,&#x201D; <source>IEEE Internet of Things Journal</source>, vol. <volume>5</volume>, no. <issue>5</issue>, pp. <fpage>3978</fpage>&#x2013;<lpage>3990</lpage>, <year>2018</year>.</mixed-citation></ref>
<ref id="ref-8"><label>[8]</label><mixed-citation publication-type="conf-proc"><person-group person-group-type="author"><string-name><given-names>M.</given-names> <surname>Ma</surname></string-name>, <string-name><given-names>P.</given-names> <surname>Wang</surname></string-name> and <string-name><given-names>C. H.</given-names> <surname>Chu</surname></string-name></person-group>, &#x201C;<article-title>Ontology-based semantic modeling and evaluation for internet of things applications</article-title>,&#x201D; in <conf-name>IEEE Int. Conf. on Internet of Things (IThings)</conf-name>, <conf-loc>New York, USA</conf-loc>, pp. <fpage>24</fpage>&#x2013;<lpage>30</lpage>, <publisher-name>IEEE</publisher-name>, <year>2014</year>.</mixed-citation></ref>
<ref id="ref-9"><label>[9]</label><mixed-citation publication-type="conf-proc"><person-group person-group-type="author"><string-name><given-names>V.</given-names> <surname>Pinheiro</surname></string-name>, <string-name><given-names>N.</given-names> <surname>Neumann</surname></string-name>, <string-name><given-names>M.</given-names> <surname>Endler</surname></string-name> and <string-name><given-names>F.</given-names> <surname>Silva Deklaer</surname></string-name></person-group>, &#x201C;<article-title>An ontology-driven framework for generating iot applications using contextnet</article-title>,&#x201D; in <conf-name>IEEE Symp. on Computers and Communications (ISCC)</conf-name>, <conf-loc>Natal, Brazil</conf-loc>. vol. <volume>25</volume>, pp. <fpage>608</fpage>&#x2013;<lpage>614</lpage>, <year>2018</year>.</mixed-citation></ref>
<ref id="ref-10"><label>[10]</label><mixed-citation publication-type="journal"><person-group person-group-type="author"><string-name><given-names>M.</given-names> <surname>Tao</surname></string-name>, <string-name><given-names>K.</given-names> <surname>Ota</surname></string-name> and <string-name><given-names>M.</given-names> <surname>Dong</surname></string-name></person-group>, &#x201C;<article-title>Ontology-based data semantic management and application in IoT-and cloud-enabled smart homes</article-title>,&#x201D; <source>Future Generation Computer Systems</source>, vol. <volume>76</volume>, no. <issue>1</issue>, pp. <fpage>528</fpage>&#x2013;<lpage>39</lpage>, <year>2017</year>.</mixed-citation></ref>
<ref id="ref-11"><label>[11]</label><mixed-citation publication-type="conf-proc"><person-group person-group-type="author"><string-name><given-names>W.</given-names> <surname>Wang</surname></string-name>, <string-name><given-names>S.</given-names> <surname>De</surname></string-name>, <string-name><given-names>R.</given-names> <surname>Reetz</surname></string-name> and <string-name><given-names>K.</given-names> <surname>Moessner</surname></string-name></person-group>, &#x201C;<article-title>A comprehensive ontology for knowledge representation in the internet of things</article-title>,&#x201D; in <conf-name>IEEE 11th Int. Conf. on Trust, Security and Privacy in Computing and Communications</conf-name>, <conf-loc>Liverpool, United Kingdom</conf-loc>, vol. <volume>1</volume>, no. <issue>1</issue>, pp. <fpage>1793</fpage>&#x2013;<lpage>1798</lpage>, <year>2012</year>.</mixed-citation></ref>
<ref id="ref-12"><label>[12]</label><mixed-citation publication-type="conf-proc"><person-group person-group-type="author"><string-name><given-names>A.</given-names> <surname>Gyrard</surname></string-name>, <string-name><given-names>S. K.</given-names> <surname>Datta</surname></string-name> and <string-name><given-names>C.</given-names> <surname>Bonnet</surname></string-name></person-group>, &#x201C;<article-title>A survey and analysis of ontology-based software tools for semantic interoperability in IoT and WoT landscapes</article-title>,&#x201D; in <conf-name>IEEE 4th World Forum on Internet of Things (WF-IoT)</conf-name>, <conf-loc>Singapore</conf-loc>, vol. <volume>1</volume>, no. <issue>1</issue>, pp. <fpage>86</fpage>&#x2013;<lpage>91</lpage>, <year>2018</year>.</mixed-citation></ref>
<ref id="ref-13"><label>[13]</label><mixed-citation publication-type="journal"><person-group person-group-type="author"><string-name><given-names>H.</given-names> <surname>Kim</surname></string-name>, <string-name><given-names>A.</given-names> <surname>Ahmad</surname></string-name>, <string-name><given-names>J.</given-names> <surname>Hwang</surname></string-name>, <string-name><given-names>H.</given-names> <surname>Baqa</surname></string-name> and <string-name><given-names>F. L.</given-names> <surname>Gall</surname></string-name></person-group>, &#x201C;<article-title>Iot-TaaS: Towards a prospective IoT testing framework</article-title>,&#x201D; <source>IEEE Access</source>, vol.<volume>6</volume>, pp. <fpage>15480</fpage>&#x2013;<lpage>15493</lpage>, <year>2018</year>.</mixed-citation></ref>
<ref id="ref-14"><label>[14]</label><mixed-citation publication-type="journal"><person-group person-group-type="author"><string-name><given-names>A.</given-names> <surname>Bali</surname></string-name>, <string-name><given-names>M.</given-names> <surname>Al-Osta</surname></string-name> and <string-name><given-names>G.</given-names> <surname>Abdelouahed</surname></string-name></person-group>, &#x201C;<article-title>An ontology-based approach for IoT data processing using semantic rules</article-title>,&#x201D; <source>In International SDL Forum</source>, vol. <volume>1</volume>, pp. <fpage>61</fpage>&#x2013;<lpage>79</lpage>, <year>2017</year>.</mixed-citation></ref>
<ref id="ref-15"><label>[15]</label><mixed-citation publication-type="conf-proc"><person-group person-group-type="author"><string-name><given-names>V.</given-names> <surname>Uskov</surname></string-name>, <string-name><given-names>A.</given-names> <surname>Pandey</surname></string-name>, <string-name><given-names>J. P.</given-names> <surname>Bakken</surname></string-name> and <string-name><given-names>V. S.</given-names> <surname>Margapuri</surname></string-name></person-group>, &#x201C;<article-title>Smart engineering education: The ontology of internet-of-things applications</article-title>,&#x201D; in <conf-name>IEEE Global Engineering Education Conf. (EDUCON)</conf-name>, <conf-loc>Abu Dhabi, UAE</conf-loc>, vol. <volume>1</volume>, no. <issue>1</issue>, pp. <fpage>476</fpage>&#x2013;<lpage>481</lpage>, <year>2016</year>.</mixed-citation></ref>
<ref id="ref-16"><label>[16]</label><mixed-citation publication-type="journal"><person-group person-group-type="author"><string-name><given-names>M.</given-names> <surname>Bermudez</surname></string-name>, <string-name><given-names>T.</given-names> <surname>Elsaleh</surname></string-name>, <string-name><given-names>P.</given-names> <surname>Barnaghi</surname></string-name> and <string-name><given-names>K.</given-names> <surname>Taylor</surname></string-name></person-group>, &#x201C;<article-title>Iot-lite: A lightweight semantic model for the internet of things and its use with dynamic semantics</article-title>,&#x201D; <source>Personal and Ubiquitous Computing</source>, vol. <volume>21</volume>, no. <issue>3</issue>, pp. <fpage>475</fpage>&#x2013;<lpage>487</lpage>, <year>2017</year>.</mixed-citation></ref>
<ref id="ref-17"><label>[17]</label><mixed-citation publication-type="conf-proc"><person-group person-group-type="author"><string-name><given-names>K.</given-names> <surname>Androutsopoulos</surname></string-name>, <string-name><given-names>D.</given-names> <surname>Clark</surname></string-name>, <string-name><given-names>H.</given-names> <surname>Dan</surname></string-name>, <string-name><given-names>R. M.</given-names> <surname>Hierons</surname></string-name> and <string-name><given-names>M.</given-names> <surname>Harman</surname></string-name></person-group>, &#x201C;<article-title>An analysis of the relationship between conditional entropy and failed error propagation in software testing</article-title>,&#x201D; in <conf-name>Proc. of the 36th Int. Conf. on Software Engineering</conf-name>, <conf-loc>Hyderabad, India</conf-loc>. vol. <volume>1</volume>, no. <issue>1</issue>, pp. <fpage>573</fpage>&#x2013;<lpage>583</lpage>, <year>2014</year>.</mixed-citation></ref>
<ref id="ref-18"><label>[18]</label><mixed-citation publication-type="conf-proc"><person-group person-group-type="author"><string-name><given-names>C.</given-names> <surname>Geiger</surname></string-name></person-group>. and <person-group person-group-type="author"><string-name><given-names>W. J.</given-names> <surname>Headrick</surname></string-name></person-group>, &#x201C;<article-title>The thingosity of automated test systems in the internet of things</article-title>,&#x201D; in <conf-name>Proc IEEE AUTOTESTCON</conf-name>, <conf-loc>Illinois, USA</conf-loc>, vol. <volume>1</volume>, no. <issue>1</issue>, pp. <fpage>1</fpage>&#x2013;<lpage>4</lpage>, <year>2017</year>.</mixed-citation></ref>
<ref id="ref-19"><label>[19]</label><mixed-citation publication-type="conf-proc"><person-group person-group-type="author"><string-name><given-names>G.</given-names> <surname>Murad</surname></string-name>, <string-name><given-names>A.</given-names> <surname>Badarneh</surname></string-name>, <string-name><given-names>A.</given-names> <surname>Qusef</surname></string-name></person-group>. and <person-group person-group-type="author"><string-name><given-names>F.</given-names> <surname>Almasalha</surname></string-name></person-group>, &#x201C;<article-title>Software testing techniques in IoT</article-title>,&#x201D; in <conf-name>8th Int. Conf. on Computer Science and Information Technology (CSIT)</conf-name>, <conf-loc>Amman, Jordan</conf-loc> vol. <volume>1</volume>, no. <issue>1</issue>, pp. <fpage>17</fpage>&#x2013;<lpage>21</lpage>, <year>2018</year>.</mixed-citation></ref>
<ref id="ref-20"><label>[20]</label><mixed-citation publication-type="conf-proc"><person-group person-group-type="author"><string-name><given-names>M.</given-names> <surname>Bernardino</surname></string-name>, <string-name><given-names>A. F.</given-names> <surname>Zorzo</surname></string-name> and <string-name><given-names>E. M.</given-names> <surname>Rodrigues</surname></string-name></person-group>, &#x201C;<article-title>Canopus: A domain-specific language for modeling performance testing</article-title>,&#x201D; in <conf-name>IEEE Int. Conf. on Software Testing, Verification and Validation (ICST)</conf-name>, <conf-loc>Illinois, USA</conf-loc>, vol. <volume>1</volume>, no. <issue>1</issue>, pp. <fpage>157</fpage>&#x2013;<lpage>167</lpage>, <year>2013</year>.</mixed-citation></ref>
<ref id="ref-21"><label>[21]</label><mixed-citation publication-type="conf-proc"><person-group person-group-type="author"><string-name><given-names>K. R.</given-names> <surname>Felizardo</surname></string-name>, <string-name><given-names>E. F.</given-names> <surname>Souza</surname></string-name>, <string-name><given-names>R. A.</given-names> <surname>Falbo</surname></string-name> and <string-name><given-names>N. L.</given-names> <surname>Vijaykumar</surname></string-name></person-group>, &#x201C;<article-title>Defining protocols of systematic literature reviews in software engineering: a survey</article-title>,&#x201D; in <conf-name>43rd Euromicro Conf. on Software Engineering and Advanced Applications (SEAA)</conf-name>, <conf-loc>Vienna, Austria</conf-loc> vol. <volume>1</volume>, no. <issue>1</issue>, pp. <fpage>202</fpage>&#x2013;<lpage>209</lpage>, <year>2017</year>.</mixed-citation></ref>
<ref id="ref-22"><label>[22]</label><mixed-citation publication-type="book"><person-group person-group-type="author"><string-name><given-names>M.</given-names> <surname>Uschold</surname></string-name> and <string-name><given-names>M.</given-names> <surname>Gruninger</surname></string-name></person-group>, &#x201C;<article-title>Ontologies: Principles, methods and applications</article-title>,&#x201D; <publisher-name>Technical Report-University of Edinburgh Artificial Intelligence Applications Institute Aiai Tr</publisher-name>, <year>1996</year>.</mixed-citation></ref>
<ref id="ref-23"><label>[23]</label><mixed-citation publication-type="journal"><person-group person-group-type="author"><string-name><given-names>E. F.</given-names> <surname>Barbosa</surname></string-name>, <string-name><given-names>E. Y.</given-names> <surname>Nakagawa</surname></string-name> and <string-name><given-names>J. C.</given-names> <surname>Maldonado</surname></string-name></person-group>, &#x201C;<article-title>Towards the establishment of an ontology of software testing</article-title>,&#x201D; <source>In Seke</source>, vol. <volume>6</volume>, pp. <fpage>522</fpage>&#x2013;<lpage>525</lpage>, <year>2006</year>.</mixed-citation></ref>
<ref id="ref-24"><label>[24]</label><mixed-citation publication-type="journal"><person-group person-group-type="author"><string-name><given-names>H.</given-names> <surname>Zhu</surname></string-name> and <string-name><given-names>H.</given-names> <surname>Qingning</surname></string-name></person-group>, &#x201C;<article-title>Developing software testing ontology in UML for a software growth environment of web-based applications</article-title>,&#x201D; in <source>The Software Evolution with UML and XML</source>, <edition>1<sup>st</sup> ed.</edition>, <publisher-loc>Leicester, UK</publisher-loc>: <publisher-name>Idea Group Publishing</publisher-name>, <comment>Chapter No. 09</comment>, pp. <fpage>263</fpage>&#x2013;<lpage>295</lpage>, <year>2005</year>.</mixed-citation></ref>
<ref id="ref-25"><label>[25]</label><mixed-citation publication-type="conf-proc"><person-group person-group-type="author"><string-name><given-names>H.</given-names> <surname>Naseer</surname></string-name> and <string-name><given-names>A.</given-names> <surname>Rauf</surname></string-name></person-group>, &#x201C;<article-title>Validation of ontology-based test case generation for graphical user interface</article-title>,&#x201D; in <conf-name>15th Int. Multitopic Conf.</conf-name>, <conf-loc>Islamabad, Pakistan</conf-loc>, vol. <volume>1</volume>, no. <issue>1</issue>, pp. <fpage>465</fpage>&#x2013;<lpage>469</lpage>, <year>2012</year>.</mixed-citation></ref>
<ref id="ref-26"><label>[26]</label><mixed-citation publication-type="conf-proc"><person-group person-group-type="author"><string-name><given-names>H.</given-names> <surname>Zhao</surname></string-name>, <string-name><given-names>S.</given-names> <surname>Zhang</surname></string-name> and <string-name><given-names>J.</given-names> <surname>Zhao</surname></string-name></person-group>, &#x201C;<article-title>Research of using prot&#x00E9;g&#x00E9; to build ontology</article-title>,&#x201D; in <conf-name>IEEE/ACIS 11th Int. Conf. on Computing and Information Science</conf-name>, <conf-loc>Shanghai, China</conf-loc>. vol. <volume>1</volume>, no. <issue>1</issue>, pp. <fpage>697</fpage>&#x2013;<lpage>700</lpage>, <year>2012</year>.</mixed-citation></ref>
<ref id="ref-27"><label>[27]</label><mixed-citation publication-type="journal"><person-group person-group-type="author"><string-name><given-names>S.</given-names> <surname>Abburu</surname></string-name></person-group>, &#x201C;<article-title>A survey on ontology reasoner and comparison</article-title>,&#x201D; <source>International Journal of Computing and Applications</source>, vol. <volume>57</volume>, no. <issue>17</issue>, pp. <fpage>33</fpage>&#x2013;<lpage>39</lpage>, <year>2012</year>.</mixed-citation></ref>
<ref id="ref-28"><label>[28]</label><mixed-citation publication-type="journal"><person-group person-group-type="author"><string-name><given-names>T.</given-names> <surname>Naz</surname></string-name>, <string-name><given-names>M.</given-names> <surname>Akhtar</surname></string-name>, <string-name><given-names>S. K.</given-names> <surname>Shahzad</surname></string-name>, <string-name><given-names>M.</given-names> <surname>Fasli</surname></string-name>, <string-name><given-names>M. W.</given-names> <surname>Iqbal</surname></string-name> <etal>et al.</etal></person-group>, &#x201C;<article-title>Ontology-driven advanced drug-drug interaction,&#x201D;</article-title> <source>Computers &#x0026; Electrical Engineering</source>, vol. <volume>86</volume>, pp. <fpage>66</fpage>&#x2013;<lpage>95</lpage>, <year>2020</year>.</mixed-citation></ref>
<ref id="ref-29"><label>[29]</label><mixed-citation publication-type="conf-proc"><person-group person-group-type="author"><string-name><given-names>K.</given-names> <surname>Rabbani</surname></string-name>, <string-name><given-names>M.</given-names> <surname>Lissandrini</surname></string-name> and <string-name><given-names>K.</given-names> <surname>Hose</surname></string-name></person-group>, &#x201C;<article-title>Optimizing SPARQL queries using shape statistics</article-title>,&#x201D; in <conf-name>24th Int. Conf. on Extending Database Technology (EDBT)</conf-name>, <conf-loc>Nicosia, Cyprus</conf-loc>, <year>2021</year>.</mixed-citation></ref>
<ref id="ref-30"><label>[30]</label><mixed-citation publication-type="journal"><person-group person-group-type="author"><string-name><given-names>N. C.</given-names> <surname>Nicholson</surname></string-name>, <string-name><given-names>F.</given-names> <surname>Giusti</surname></string-name>, <string-name><given-names>M.</given-names> <surname>Bettio</surname></string-name>, <string-name><given-names>R. N.</given-names> <surname>Carvalho</surname></string-name>, <string-name><given-names>N.</given-names> <surname>Dimitrova</surname></string-name> <etal>et al.</etal></person-group>, &#x201C;<article-title>An ontology-based approach for developing a harmonised data-validation tool for european cancer registration</article-title>,&#x201D; <source>Journal of Biomedical Semantics</source>, vol. <volume>12</volume>, no. <issue>1</issue>, pp. <fpage>1</fpage>&#x2013;<lpage>15</lpage>, <year>2021</year>.</mixed-citation></ref>
<ref id="ref-31"><label>[31]</label><mixed-citation publication-type="journal"><person-group person-group-type="author"><string-name><given-names>S.</given-names> <surname>Liang</surname></string-name>, <string-name><given-names>K.</given-names> <surname>Stockinger</surname></string-name>, <string-name><given-names>M.</given-names> <surname>Anisimova</surname></string-name> and <string-name><given-names>M.</given-names> <surname>Gil</surname></string-name></person-group>, &#x201C;<article-title>Querying knowledge graphs in natural language</article-title>,&#x201D; <source>Journal of Big Data</source>, vol. <volume>8</volume>, no. <issue>1</issue>, pp. <fpage>1</fpage>&#x2013;<lpage>23</lpage>, <year>2021</year>.</mixed-citation></ref>
</ref-list>
</back>
</article>