WoS İndeksli Yayınlar Koleksiyonu / WoS Indexed Publications Collection

Permanent URI for this collectionhttps://hdl.handle.net/11147/7150

Browse

Filters

2001 - 200912010 - 201942020 - 202320

Settings

Publisher: search.filters.publisher.World Scientific Publishing

Search Results

Now showing 1 - 10 of 25
  • Article
    Citation - Scopus: 5
    Unifying Behavioral and Feature Modeling for Testing of Software Product Lines
    (World Scientific Publishing, 2023) Belli, Fevzi; Tuğlular, Tuğkan; Ufuktepe, Ekincan
    Existing software product line (SPL) engineering testing approaches generally provide positive testing that validates the SPL's functionality. Negative testing is commonly neglected. This research aims to unify behavioral and feature models of an SPL, enable testing before and after variability binding for domain-centric and product-centric testing, and combine positive and negative testing for a holistic testing view. This study suggests behavioral modeling with event sequence graphs (ESGs). This heterogeneous modeling strategy supports bottom-up domain testing and top-down product testing with the feature model. This new feature-oriented ESG test creation method generates shorter test sequences than the original ESG optimum test sequences. Statechart and original ESG test-generating methods are compared. Positive testing findings are similar. The Statechart technique generated 12 test cases with 59 events, whereas the ESG technique created six test cases with 60 events. The ESG technique generated 205 negative test cases with 858 events with the Test Suite Designer tool. However, the Conformiq Designer tool for the Statechart technique does not have a negative test case generation capability. It is shown that the proposed ESG-based holistic approach confirms not only the desirable (positive) properties but also the undesirable (negative) ones. As an additional research, the traditional ESG test-generating approach is compared to the new feature-oriented method on six SPLs of different sizes and features. Our case study results show that the traditional ESG test generation approach demonstrated higher positive test generation scores compare to the proposed feature-oriented test generation approach. However, our proposed feature-oriented test generation approach is capable of generating shorter test sequences, which could be beneficial for reducing the execution time of test cases compared to traditional ESG approach. Finally, our case study has also shown that regardless of the test generation approach, there has been found no significant difference between the Bottom-up and Top-down test strategies with respect to their positive test generation scores. © World Scientific Publishing Company.
  • Article
    Spectral Test Generation for Boolean Expressions
    (World Scientific Publishing, 2023) Ayav, Tolga
    This paper presents a novel method for testing Boolean expressions. It is based on spectral, aka Fourier analysis of Boolean functions which is exploited to generate test inputs. The approach has three important contributions: (i) It generates a relatively small test suite with a high capability of fault detection, (ii) The test suite is prioritized such that expected fault detection time is shorter, (iii) It is entirely mathematical relying on a simple and straightforward formula. The proposed method is formulated and evaluations are performed on both synthetic and real expressions. It is also compared with two common test generation criteria, MC/DC and Minimal MUMCUT. Evaluations show that the test suite generated by the spectral approach is relatively small while expressing the capability of a better and quicker fault detection. The approach presented in this paper provides a useful insight into how spectral/Fourier analysis of Boolean functions can be exploited in software testing.
  • Article
    Citation - WoS: 3
    Citation - Scopus: 3
    Dual Kasch rings
    (World Scientific Publishing, 2023) Lomp, Christian; Büyükaşık, Engin; Yurtsever, Haydar Baran
    It is well known that a ring R is right Kasch if each simple right R-module embeds in a projective right R-module. In this paper we study the dual notion and call a ring R right dual Kasch if each simple right R-module is a homomorphic image of an injective right R-module. We prove that R is right dual Kasch if and only if every finitely generated projective right R-module is coclosed in its injective hull. Typical examples of dual Kasch rings are self-injective rings, V-rings and commutative perfect rings. Skew group rings of dual Kasch rings by finite groups are dual Kasch if the order of the group is invertible. Many examples are given to separate the notion of Kasch and dual Kasch rings. It is shown that commutative Kasch rings are dual Kasch, and a commutative ring with finite Goldie dimension is dual Kasch if and only if it is a classical ring (i.e. every element is a zero divisor or invertible). We obtain that, for a field k, a finite dimensional k-algebra is right dual Kasch if and only if it is left Kasch. We also discuss the rings over which every simple right module is a homomorphic image of its injective hull, and these rings are termed strongly dual Kasch.
  • Article
    A Metric for Gravitational Collapse Around a Schwarzschild Black Hole
    (World Scientific Publishing, 2023) Erdem, Recai; Demirkaya, Betül; Gültekin, Kemal
    We consider the problem of gravitational collapse of a fluid under the effect of a small Schwarzschild black hole (e.g. a primordial one). We assume the fluid initially may be approximated by a uniform homogeneous dust. Starting from this configuration we obtain a class of metrics under some physically justified assumptions. We find that the metric we obtain includes the dust collapse as a subcase. After discussing some basic properties of the solution, we discuss the case of dust collapse in more detail. We find that the radial and tangential pressures outside the horizon may take positive or negative values depending on the values of the parameters.
  • Article
    Citation - WoS: 2
    Citation - Scopus: 3
    Mutation-Based Minimal Test Suite Generation for Boolean Expressions
    (World Scientific Publishing, 2023) Ayav, Tolga; Belli, Fevzi
    Boolean expressions are highly involved in control flows of programs and software specifications. Coverage criteria for Boolean expressions aim at producing minimal test suites to detect software faults. There exist various testing criteria, efficiency of which is usually evaluated through mutation analysis. This paper proposes an integer programming-based minimal test suite generation technique relying on mutation analysis. The proposed technique also takes into account the cost of fault detection. The technique is optimal such that the resulting test suite guarantees to detect all the mutants under given fault assumptions, while maximizing the average percentage of fault detection of a test suite. Therefore, the approach presented can also be considered as a reference method to check the efficiency of any common technique. The method is evaluated using four well-known real benchmark sets of Boolean expressions and is also exemplary compared with MCDC criterion. The results show that the test suites generated by the proposed method provide better fault coverage values and faster fault detection.
  • Article
    Studying the Co-Evolution of Source Code and Acceptance Tests
    (World Scientific Publishing, 2023) Yalçın, Ali Görkem; Tuğlular, Tuğkan
    Testing is a vital part of achieving good-quality software. Deploying untested code can cause system crashes and unexpected behavior. To reduce these problems, testing should evolve with coding. In addition, test suites should not remain static throughout the software versions. Since whenever software gets updated, new functionalities are added, or existing functionalities are changed, test suites should be updated along with the software. Software repositories contain valuable information about the software systems. Access to older versions and differentiating adjacent versions' source code and acceptance test changes can provide information about the evolution process of the software. This research proposes a method and implementation to analyze 21 open-source real-world projects hosted on GitHub regarding the co-evolution of both software and its acceptance test suites. Related projects are retrieved from repositories, their versions are analyzed, graphs are created, and analysis related to the co-evolution process is performed. Observations show that the source code is getting updated more frequently than the acceptance tests. They indicate a pattern that source code and acceptance tests do not evolve together. Moreover, the analysis showed that a few acceptance tests test most of the functionalities that take a significant line of code.
  • Article
    On Classification of Sequences Containing Arbitrarily Long Arithmetic Progressions
    (World Scientific Publishing, 2023) Cam Çelik, Şermin; Eyidoğan, Sadık; Göral, Haydar; Sertbaş, Doğa Can
    In this paper, we study the classification of sequences containing arbitrarily long arithmetic progressions. First, we deal with the question how the polynomial map n(s) can be extended so that it contains arbitrarily long arithmetic progressions. Under some growth conditions, we construct sequences which contain arbitrarily long arithmetic progressions. Also, we give a uniform and explicit arithmetic progression rank bound for a large class of sequences. Consequently, a dichotomy result is deduced on the finiteness of the arithmetic progression rank of certain sequences. Therefore, in this paper, we see a way to determine the finiteness of the arithmetic progression rank of various sequences satisfying some growth conditions.
  • Article
    Citation - WoS: 1
    Citation - Scopus: 1
    Unique decompositions into w-ideals for strong Mori domains
    (World Scientific Publishing, 2022) Hamdi, Haleh; Ay Saylam, Başak; Gürbüz, Ezgi
    A commutative ring R has the unique decomposition into ideals (UDI) property if, for any R-module that decomposes into a finite direct sum of indecomposable ideals, this decomposition is unique up to the order and isomorphism classes of the indecomposable ideals. In [P. Goeters and B. Olberding, Unique decomposition into ideals for Noetherian domains, J. Pure Appl. Algebra 165 (2001) 169-182], the UDI property has been characterized for Noetherian integral domains. In this paper, we aim to study the UDI-like property for strong Mori domains; domains satisfying the ascending chain condition on w-ideals.
  • Article
    Citation - WoS: 7
    Citation - Scopus: 9
    Parity, Virtual Closure and Minimality of Knotoids
    (World Scientific Publishing, 2021) Güğümcü, Neslihan; Kauffman, Louis H.
    In this paper, we study parity in planar and spherical knotoids in relation to virtual knots. We introduce a planar version of the parity bracket polynomial for planar knotoids. We show that the virtual closure map (a map from the set of knotoids in S-2 to the set of virtual knots of genus at most one) is not surjective, by utilizing the surface bracket polynomial of virtual knots. We give specific examples of virtual knots that are not in the image of the virtual closure map. Turaev conjectured that minimal diagrams of knot-type knotoids have zero height. We prove this conjecture by using the results of Nikonov and Manturov induced by parities of virtual knots.
  • Article
    Citation - WoS: 2
    Citation - Scopus: 2
    On simple-injective modules
    (World Scientific Publishing, 2022) Alagöz, Yusuf; Benli Göral, Sinem; Büyükaşık, Engin
    For a right module M, we prove that M is simple-injective if and only if M is min-N-injective for every cyclic right module N. The rings whose simple-injective right modules are injective are exactly the right Artinian rings. A right Noetherian ring is right Artinian if and only if every cyclic simple-injective right module is injective. The ring is QF if and only if simple-injective right modules are projective. For a commutative Noetherian ring R, we prove that every finitely generated simple-injective R-module is projective if and only if R = A × B, where A is QF and B is hereditary. An abelian group is simple-injective if and only if its torsion part is injective. We show that the notions of simple-injective, strongly simple-injective, soc-injective and strongly soc-injective coincide over the ring of integers.