This paper proposes a model-based testing approach by offering to use the data quality model (DQ-model) instead of the program's control flow graph as a testing model. The DQ-model contains definitions and conditions for data objects to consider the data object as correct. The study proposes to automatically generate a complete test set (CTS) using a DQ-model that allows all data quality conditions to be tested, resulting in a full coverage of DQ-model. In addition, the possibility to check the conformity of the data to be entered and already stored in the database is ensured. The proposed alternative approach changes the testing process: (1) CTS can be generated prior to software development; (2) CTS contains not only input data, but also database content required for complete testing of the system; (3) CTS generation from DQ-model provides values against which the system can be further tested. If the test results correspond to the values obtained during CTS generation, the system under test shall be considered to have been tested according to DQ-model. Otherwise, the user can verify the cause of the differences that may occur due incorrect software, as well as an inaccurate specification.
2
Dostęp do pełnego tekstu na zewnętrznej witrynie WWW
This paper discusses data quality checking during business process execution by using runtime verification. While runtime verification verifies the correctness of business process execution, data quality checks assure that particular process did not negatively impact the stored data. Both, runtime verification and data quality checks run in parallel with the base processes affecting them insignificantly. The proposed idea allows verifying (a) if the process was ended correctly as well as (b) whether the results of the correct process did not negatively impact the stored data in result of its modification caused by the specific process. The desired result will be achieved by use of domain specific languages that would describe runtime verification and data quality checks at every stage of business process execution.
3
Dostęp do pełnego tekstu na zewnętrznej witrynie WWW
The development of ICT facilitates replacing of traditional buying-selling processes withe-commerce solutions. Waiving the direct buyer-seller communication creates risks for both the buyer and the seller. If several customers are served at the same time, processes can interference each other. The paper offers a method to identify purchase/sale risks: (1) in single-customer, (2) in simultaneous multi-customer service processes. First, a model of the buying-selling process is created and conditions for the correctness of process execution are formulated. Then an analysis of all possible scenarios is performed using a symbolic execution. The obtained result allows to identify risks of e-commerce solution.
JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.