Learn More
In this paper a method of automatic generation of test scenarios for verification of specification requirements (temporal and functional) for reactive embedded systems is presented. 1. Introduction The aim of design-validation is to check whether or not specification requirements (functional and temporal) imposed on a system are met [1,2]. Most of recently(More)
  • Joanna Strug
  • 2016
Models are commonly used in software testing to select test suites. Application of mutation testing at a model level can contribute to reliable and early assessment of the quality of the test suites. It can also support selection of test suites achieving high fault detection rates. The main issue related to using mutation testing at the early development(More)
– Validation and testing are important in developing correct and fault free SOA-based systems. BPEL is a high level language that makes it possible to implement business processes as an orchestration of web services. In general, the testing requires much more test scenarios than the validation. However, in the case of BPEL processes, which have very simple(More)
A b s t r a c t Systematic and rigorous validation carried out during entire process of development of a software intensive system can significantly reduce total costs and time to market and improve the quality of the system. In context of developing object-oriented systems (OOSs) information relevant to validation can be derived from early UML models. The(More)
  • 1