Using Hypergraph as Modeling Language for Generating Test Cases On Demand

Author(s):  
K.R.P.H. Leung
Author(s):  
Chia-Chu Chiang ◽  
Shucheng Yu

Cloud computing provides an innovative technology that enables Software as a Service (SaaS) to its customers. With cloud computing technologies, a suite of program understanding tools is suggested to be deployed in a cloud to aid the generation of test cases for software testing. This cloud-enabled service allows customers to use these tools through an on-demand, flexible, and pay-per-use model. Lastly, the issues and challenges of cloud computing are presented.


2014 ◽  
Vol 556-562 ◽  
pp. 6149-6153
Author(s):  
Min Gang Chen ◽  
Wen Bin Zhong ◽  
Wen Jie Chen ◽  
Yun Hu ◽  
Li Zhi Cai

With the increasingly fast-paced software releasing or updating, research on the method of an efficient software automation testing framework based on cloud computing has become particularly important. In this paper, we propose an automation testing framework over cloud. We also describe some key technologies in the aspect of the design of hierarchical test case and automatic distribution of test cases in the cloud computing environment. Testing experiments show that our framework can take advantage of on-demand testing resources in the cloud to improve the efficiency of automation testing.


2019 ◽  
Vol 5 (1) ◽  
pp. 1
Author(s):  
Afrizal Adam Maulana ◽  
Wijanarto Wijanarto

Kemajuan teknologi dan fasilitas infrastruktur saat ini seringkali mengakibatkan seseorang sulit untuk mengingat semua jalan menuju ke tempat tertentu. Lebih dari 75% sebagian orang menghabiskan waktu dalam ruangan. Ketika mereka pergi ke tempat didalam bangunan dengan dimensi dan ukuran yang berbeda-beda, seperti, bangunan bertingkat, pusat perdagangan, pusat perbelanjaan, bandara, rumah sakit dan universitas, seringkali mereka bingung untuk menuju tempat yang diinginkan dalam waktu cepat dan tepat berdasarkan informasi yang terbatas. Pertanyaan yang akan dijawab dalam paper ini, bagiamana menganalisa prinsip dasar navigasi dan mendefinisikan instruksi dalam suatu domain model. Kemudian menentukan algoritma untuk menghasilkan rute terpendek. Terakhir mengimplementasikan algoritma dalam suatu aplikasi berbasis web dengan javascript. Solusinya adalah membuat model navigasi dengan unified modeling language peta digital, algoritma A-start dipilih sebagai solusi dalam menentukan rute untuk navigasi dalam peta serta membangun dan mengevaluasi aplikasi dengan javascript dan jasmine unit test. Hasil dari penelitian menunjukan bahwa model yang dipilih tepat untuk dapat diimplementasikan menjadi aplikasi berbasis web dan lolos evaluasi dengan 75 test case sebesar 100%, semua fungsionalitas aplikasi berjalan sesuai disain dan menghasilkan aplikasi tanpa anomaly.Kata Kunci — Navigasi, Indoor, Rute Terpendek, A-Star.Advances in technology and infrastructure facilities today often make it difficult for people to remember all the way to a particular place. More than 75% of people spend time indoors. When they go to places in buildings of different dimensions and sizes, such as, multilevel buildings, commercial centers, shopping centers, airports, hospitals and universities, they are often confused to get to the desired place in quick and precise time based on information limited. Questions to be answered in this paper, how to analyze the basic principles of navigation and define instruction in a domain model. Then determine the algorithm to generate the shortest route. Last implemented algorithm in a web based application with javascript. The solution is to create a navigation model with a unified modeling language digital map, A-start algorithm selected as a solution in determining the route for navigation in the map as well as build and evaluate applications with javascript and jasmine unit tests. The results of the research show that the chosen model is appropriate to be implemented into web-based applications and pass the evaluation with 75 test cases of 100%, all application functionality runs according to design and produces application without anomaly.Keywords— Navigation, Indoor, Shortest Route, A-Star.


2021 ◽  
Vol 12 (1) ◽  
pp. 294
Author(s):  
Krzysztof Andrzej Gromada ◽  
Wojciech Marcin Stecz

The article presents a method of designing a selected unmanned aerial platform flight scenario based on the principles of designing a reliable (Unmanned Aerial Vehicle) UAV architecture operating in an environment in which other platforms operate. The models and results presented relate to the medium-range aerial platform, subject to certification under the principles set out in aviation regulations. These platforms are subject to the certification process requirements, but their restrictions are not as restrictive as in the case of manned platforms. Issues related to modeling scenarios implemented by the platform in flight are discussed. The article describes the importance of Functional Hazard Analysis (FHA) and Fault Trees Analysis (FTA) of elements included in the hardware and software architecture of the system. The models in Unified Modeling Language (UML) used by the authors in the project are described, supporting the design of a reliable architecture of flying platforms. Examples of the transformations from user requirements modeled in the form of Use Cases to platform operation models based on State Machines and then to the final UAV operation algorithms are shown. Principles of designing system test plans and designing individual test cases to verify the system’s operation in emergencies in flight are discussed. Methods of integrating flight simulators with elements of the air platform in the form of Software-in-the-Loop (SIL) models based on selected algorithms for avoiding dangerous situations have been described. The presented results are based on a practical example of an algorithm for detecting an air collision situation of two platforms.


2020 ◽  
Vol 2020 (3) ◽  
pp. 49-63
Author(s):  
Wojciech G. Miksa

AbstractIn traditional air taxi model, flight route and timing are assigned to every order individually, resulting in minimum utilization of seats, maximum number of empty legs and elevated price levels. Sharing flights, when possible, allow decreasing number of empty seats and distributing cost of flight among customers. Challenges to overcome are varying timing needs of customers and volatility of demand. This article investigates possibilities of synchronizing passenger orders. The proposed passenger pooling model replaces specific flight timing on order with constraints: latest arrival and earliest departure to provide room for coordination of orders, backed by web-based ICT. Theoretical test cases calculations verify the concept and compare it with traditional full on-demand and scheduled operations.


2015 ◽  
pp. 717-729
Author(s):  
Chia-Chu Chiang ◽  
Shucheng Yu

Cloud computing provides an innovative technology that enables Software as a Service (SaaS) to its customers. With cloud computing technologies, a suite of program understanding tools is suggested to be deployed in a cloud to aid the generation of test cases for software testing. This cloud-enabled service allows customers to use these tools through an on-demand, flexible, and pay-per-use model. Lastly, the issues and challenges of cloud computing are presented.


2021 ◽  
Vol 4 (1) ◽  
Author(s):  
Maliheh Haghgoo ◽  
Alberto Dognini ◽  
Thomas Storek ◽  
Radu Plamanescu ◽  
Ulrike Rahe ◽  
...  

AbstractIn a modern smart energy system with increased penetration of renewable energy resources, the amount of data from various sources is growing significantly. Such systems require complex algorithms and controlling on-demand. These requirements can be addressed with on-demand scalability and a stable system. Nowadays, on-demand scalability is achieved by considering cloud computing and Internet of Things (IoT) technologies. This paper presents a cloud-based platform based on service-oriented architecture to perform analyzes on smart energy system services. It is the result of the European FISMEP (FIWARE for Smart Energy Platform) project to demonstrate an information and communication technology (ICT) architecture for the smart energy sector. The presented architecture is powered by FIWARE, open-source and customizable building blocks for future internet applications and services. Furthermore, the feasibility of the architecture is evaluated using various test cases.


1994 ◽  
Vol 144 ◽  
pp. 503-505
Author(s):  
R. Erdélyi ◽  
M. Goossens ◽  
S. Poedts

AbstractThe stationary state of resonant absorption of linear, MHD waves in cylindrical magnetic flux tubes is studied in viscous, compressible MHD with a numerical code using finite element discretization. The full viscosity tensor with the five viscosity coefficients as given by Braginskii is included in the analysis. Our computations reproduce the absorption rates obtained by Lou in scalar viscous MHD and Goossens and Poedts in resistive MHD, which guarantee the numerical accuracy of the tensorial viscous MHD code.


Sign in / Sign up

Export Citation Format

Share Document