scholarly journals Basis Path Coverage Criteria for Smart Contract Application Testing

Author(s):  
Xinming Wang ◽  
Zhijian Xie ◽  
Jiahao He ◽  
Gansen Zhao ◽  
Ruihua Nie
2015 ◽  
Vol 22 (2) ◽  
pp. 316
Author(s):  
Maximiliano Cristiá ◽  
Joaquín Cuenca ◽  
Claudia Frydman

Model-based testing (MBT) studies how test cases are generated from a model of the system under test (SUT). Many MBT methods rely on building an automaton from the model and then they generate test cases by covering the automaton with different path coverage criteria. However, if a model of the SUT is a logical formula over some complex mathematical theories (such as set theory) it may be more natural or intuitive to apply coverage criteria directly over the formula. On the other hand, domain partition, i.e. the partition of the input domain of model operations, is one of the main techniques in MBT. Partitioning is conducted by applying different rules or heuristics. Engineers may find it difficult to decide what, where and how these rules should be applied. In this paper we propose a set of coverage criteria based on domain partition for set-based specifications. We call them testing strategies. Testing strategies play a similar role to path- or data-based coverage criteria in structural testing. Furthermore, we show a partial order of testing strategies as is done in structural testing. We also describe an implementation of testing strategies for the Test Template Framework, which is a MBT method for the Z notation; and a scripting language that allows users to implement testing strategies.


Author(s):  
Keslley Lima Silva ◽  
Érika Cota

Testing is an indispensable part of the software development process and is a continuous process during the development life cycle. In this context, examining the behavior of software systems to reveal potential problems is a crucial task. To this end, the test suites usually are utilized to examine the software quality. However, test suite quality control is hard for the tester, especially in an evolving system. Such control is needed to assure and improve the test suite's quality and the application as a consequence. Currently, test coverage criteria are used as a mechanism to assist the tester in analyzing the test suite (e.g., find the weaknesses, and add a new test case or test inputs). However, more strong coverage criteria (potentially showing less glaring weaknesses) are challenging to assess. In this work, we propose a different approach to support the developer in evaluating the test suite quality based on more powerful test coverage criteria. We will follow the Knowledge Discovery in Database process using machine learning algorithms to estimate the prime path coverage at the method and class level. For this purpose, we will create two large datasets consisting of source code metrics and test case metrics from 12 open-source Java projects, and these datasets will be used in the training process to build the predictive models. Using the built models, we expected to predict the prime path coverage at the method and class level with a reliable prediction performance.


2017 ◽  
Vol 172 (3) ◽  
pp. 11-19
Author(s):  
Monika Grover ◽  
Pradeep Kumar

2019 ◽  
Vol 5 (1) ◽  
pp. 15-22
Author(s):  
Ardian Thresnantia Atmaja

The key objectives of this paper is to propose a design implementation of blockchain based on smart contract which have potential to change international mobile roaming business model by eliminating third-party data clearing house (DCH). The analysis method used comparative analysis between current situation and target architecture of international mobile roaming business that commonly used by TOGAF Architecture Development Method. The purposed design of implementation has validated the business value by using Total Cost of Ownership (TCO) calculation. This paper applies the TOGAF approach in order to address architecture gap to evaluate by the enhancement capability that required from these three fundamental aspect which are Business, Technology and Information. With the blockchain smart contract solution able to eliminate the intermediaries Data Clearing House system, which impacted to the business model of international mobile roaming with no more intermediaries fee for call data record (CDR) processing and open up for online billing and settlement among parties. In conclusion the business value of blockchain implementation in the international mobile roaming has been measured using TCO comparison between current situation and target architecture that impacted cost reduction of operational platform is 19%. With this information and understanding the blockchain technology has significant benefit in the international mobile roaming business.


Sign in / Sign up

Export Citation Format

Share Document