The analysis of software product lines is challenging due to the potentially large number products, which grow exponentially in terms features. Product sampling a technique used avoid exhaustive testing, often infeasible. In this paper, we propose classification for techniques and classify existing literature accordingly. We distinguish important characteristics such approaches based on information sampling, kind algorithm, achieved coverage criteria. Furthermore, give an overview tools...

Regression testing is a means to assure that change in the software, or its execution environment, does not introduce new defects. It involves expensive undertaking of rerunning test cases. Several techniques have been proposed reduce number cases execute regression testing, however, there no research on how assess industrial relevance and applicability such techniques. We conducted systematic literature review with following two goals: firstly, enable researchers design present focus...

In order to provide a rigorous foundation for Software Product Lines (SPLs), several fundamental approaches have been proposed their formal behavioral modeling. this paper, we structured overview of those formalisms based on labeled transition systems and compare expressiveness in terms the set products they can specify. Moreover, define notion tests each these show that our notions testing precisely capture product derivation, i.e., all valid will pass test cases line invalid fails at least...

Variation is central to today's software development. There are two fundamental dimensions variation: in time refers the fact that exists numerous revisions typically replace each other (i.e., a newer version supersedes an older one). space differences among variants designed coexist parallel. analyses cope with variation product-line analyses) and others regression analyses). The goal of this work discuss which extent can be applied and, conversely, where variants. In addition, we...

Software product line engineering (SPLE) enables systematic reuse in development of a family related software systems by explicitly defining commonalities and variabilities among the individual products family. Nowadays, SPLE is used variety complex domains such as avionics automotive. As include safety critical which exhibit probabilistic behavior, there major need for modeling verification approaches dealing with aspects presence variabilities. In this paper, we introduce mathematical...

In the context of AUTO-CAAS project that deals with model-based testing techniques applied in automotive domain, we present preliminary ideas and results building generalised failure models for non-conformant software components. These are a necessary block our upcoming efforts to detect analyse causes built AUTOSAR Concretely, discuss how build these using automata learning guided procedure failing component. We illustrate findings experiments on simple integer queue implemented C...

Input/Output Transition Systems (IOTSs) have been widely used as test models in model-based testing. Traditionally, input output conformance testing (IOCO) has to generate random cases from IOTSs. A recent case generation method for IOTSs, called Complete IOCO, applies fault obtain complete suites with guaranteed coverage This paper measures the efficiency of IOCO comparison traditional implemented JTorX tool. To this end, we use a study involving five specification automotive and railway...

Tabular reinforcement learning methods cannot operate directly on continuous state spaces. One solution for this problem is to partition the space. A good partitioning enables generalization during and more efficient exploitation of prior experiences. Consequently, process becomes faster produces reliable policies. However, introduces approximation, which particularly harmful in presence nonlinear relations between components. An ideal should be as coarse possible, while capturing key...

The Linux Kernel is a world-class operating system controlling most of our computing infrastructure: mobile devices, Internet routers and services, the supercomputers. also an example low-level software with no comprehensive regression test suite (for good reasons). kernel’s tremendous societal importance imposes strict stability correctness requirements. These properties make challenging relevant target for static automated program repair (APR). Over past decade, significant progress has...

Nowadays, Software Product Lines (SPLs) are being used in a variety of domains including safety-critical systems for which verification the is matter concern. Formal modeling and SPLs has been majorly investigated recently. Due to potential large number products SPL, individual all could be costly or even impractical. Hence, there need methods that can verify whole family's behavior at once. In this paper, we focus on probabilistic model checking software product lines described terms Markov...

Epistemic logic is a powerful formalism for reasoning about communication protocols, particularly in the setting with dishonest agents and lies. Operational frameworks such as algebraic process calculi, on other hand, are formalisms specifying narrations of protocols. We bridge these two by presenting calculus which lies can be told. A lie our framework communicated message that pretended to different (or nothing at all). In formalism, we focus what credulous rational infer particular run if...

The development process for reinforcement learning applications is still exploratory rather than systematic. This nature reduces reuse of specifications between and increases the chances introducing programming errors. paper takes a step towards systematizing applications. We introduce formal specification problems algorithms, with particular focus on temporal difference methods their definitions in backup diagrams. further develop test harness large class based learning, including SARSA...

For the deployment of autonomous robotic systems in mission- and safety-critical underwater environments, aspects such as reasoning planning need to be designed operate highly dynamic, uncertain environments while assuring a safe reliable operation. However, are often or developed with safety analysis separate engineering process. In this paper, tackle these challenges, we propose an initial research vision plan envisioned contributions towards designing approach for system-wide modeling...