BENEŠ, Nikola, Przemysław DACA, Thomas A. HENZINGER, Jan KŘETÍNSKÝ and Dejan NIČKOVIĆ. Complete Composition Operators for IOCO-Testing Theory. Online. In Proceedings of the 18th International ACM SIGSOFT Symposium on Component-Based Software Engineering. New York, NY, USA: ACM, 2015, p. 101-110. ISBN 978-1-4503-3471-6. Available from: https://dx.doi.org/10.1145/2737166.2737175.
Other formats:   BibTeX LaTeX RIS
Basic information
Original name Complete Composition Operators for IOCO-Testing Theory
Authors BENEŠ, Nikola (203 Czech Republic, guarantor, belonging to the institution), Przemysław DACA (616 Poland), Thomas A. HENZINGER (40 Austria), Jan KŘETÍNSKÝ (203 Czech Republic, belonging to the institution) and Dejan NIČKOVIĆ (688 Serbia).
Edition New York, NY, USA, Proceedings of the 18th International ACM SIGSOFT Symposium on Component-Based Software Engineering, p. 101-110, 10 pp. 2015.
Publisher ACM
Other information
Original language English
Type of outcome Proceedings paper
Field of Study 10201 Computer sciences, information science, bioinformatics
Country of publisher United States of America
Confidentiality degree is not subject to a state or trade secret
Publication form electronic version available online
WWW URL
RIV identification code RIV/00216224:14330/15:00080789
Organization unit Faculty of Informatics
ISBN 978-1-4503-3471-6
Doi http://dx.doi.org/10.1145/2737166.2737175
UT WoS 000380554800013
Keywords in English ioco; Model-based testing; Decomposition; Specification merging
Tags firank_B, formela-conference
Tags International impact, Reviewed
Changed by Changed by: RNDr. Nikola Beneš, Ph.D., učo 72525. Changed: 8/5/2015 14:51.
Abstract
We extend the theory of input-output conformance with operators for merge and quotient. The former is useful when testing against multiple requirements or views. The latter can be used to generate tests for patches of an already tested system. Both operators can combine systems with different action alphabets, which is usually the case when constructing complex systems and specifications from parts, for instance different views as well as newly defined functionality of a previous version of the system.
Links
EE2.3.30.0009, research and development projectName: Zaměstnáním čerstvých absolventů doktorského studia k vědecké excelenci
GBP202/12/G061, research and development projectName: Centrum excelence - Institut teoretické informatiky (CE-ITI) (Acronym: CE-ITI)
Investor: Czech Science Foundation
PrintDisplayed: 25/4/2024 08:23