The Infona portal uses cookies, i.e. strings of text saved by a browser on the user's device. The portal can access those files and use them to remember the user's data, such as their chosen settings (screen view, interface language, etc.), or their login data. By using the Infona portal the user accepts automatic saving and using this information for portal operation purposes. More information on the subject can be found in the Privacy Policy and Terms of Service. By closing this window the user confirms that they have read the information on cookie usage, and they accept the privacy policy and the way cookies are used by the portal. You can change the cookie settings in your browser.
Software testing plays a major role for engineering future systems that become more and more ubiquitous and also more critical for every days life. In order to fulfill the high demand, test automation is needed as a keystone. However, test automation, as it is used today, is counting on scripting and capture-and-replay and is not able to keep up with autonomous and intelligent systems. Therefore,...
Current studies on software development either focus on the change history of source code from version-control systems or on an analysis of simplistic in-IDE events without context information. Each of these approaches contains valuable information that is unavailable in the other case. Our work proposes enriched event streams, a solution that combines the best of both worlds and provides a holistic...
We observed that safety arguments are prone tostay too abstract, e.g. solutions refer to large packages, argumentstrategies to complex reasoning steps, contexts and assumptionslack traceability. These issues can reduce the confidence werequire of such arguments. In this paper, we investigate theconstruction of confident arguments from (i) hazard analysis(HA) results and (ii) the design of safety measures,...
Due to the possibility of extensive and pervasive deployment of many tiny sensor devices in the area of interest, Wireless Sensor Networks (WSNs) result particularly suitable to detect significant events and to react accordingly in industrial and home scenarios. In this context, fuzzy inference systems for event detection in WSNs have proved to be accurate enough in treating imprecise sensory readings...
Adaptations need to be considered at design-time (adapting complex systems to new technologies, reengineering due to new regulations etc.), but also during runtime (e.g. new emerging functional and non-functional requirement, context-specific decisions). Objective: I use SPLs as a strategy for coping with uncertainty and adapting to change, where conventionally change occurs in the requirements of...
An architect whose skills and capabilities match a project's needs will more likely be successful. Moreover, each software life-cycle phase requires different skills. A proposed model identifies the skills needed at each phase and helps explain common failure patterns.
Temporal properties are useful for describing and reasoning about software behavior, but developers rarely write down temporal specifications of their systems. Prior work on inferring specifications developed tools to extract likely program specifications that fit particular kinds of tool-specific templates. This paper introduces Texada, a new temporal specification mining tool for extracting specifications...
Algebraic specification is well-known in specifyingabstract data types. It could also play an important role inverifying the interrelation between methods in classes. In thispaper we develop a framework for verifying the conformanceof method implementations against an algebraic specification. Different from most existing work that perform testing atthe code level for the conformance, our approach...
We present an automated compositional program verification technique for safety properties based on conditional inductive invariants. For a given program part (e.g., a single loop) and a postcondition ϕ, we show how to, using a Max-SMT solver, an inductive invariant together with a precondition can be synthesized so that the precondition ensures the validity of the invariant and that the invariant...
Requirement engineering (RE) presents several challenges stemming from the required collaboration and knowledge transfer between analysists, developers and customers. In order to overcome these challenges and improve the effectiveness of RE, we developed REVISE: Requirement Elicitation and Verification Integrated in Social Environment. This tool is designed based on cognitive theories and implementing...
Automatic test case execution is crucial for testdriven development (TDD) approach. It is beneficial if test cases can be automatically generated and executed. In this paper, we present UTGen, an Eclipse plugin for the generation and execution of test cases for JUnit test-platform. It is based on the idea of constraint-based testing, working for the methodlevel black-box unit testing. Test data are...
In this paper, we addressed a problem on which depends closely the success of developing component-based applications. The problem consists in how are selected appropriate software components from several alternatives. The paper presents a solution in which we used the concept of fuzzy sets. The proposed solution consists in creating a fuzzy set of suitable components in which each component is associated...
Contemporary large software systems rely on complex software ecosystems for managing infrastructural tasks. While these ecosystems facilitate software development, the software architect must put care in not relying on assumptions on behaviors and policies of the ecosystem that may change with platform evolution. Based on our experience with developing analyses within MARPLE, a framework for software...
The intrinsic nature of distributed software development (DSD) brings new challenges, such as communication issues and sharing information efficiently. Software companies have a tendency to face these challenges using individual and isolated approaches, making difficult to spread good practices for the DSD community. In other contexts, concepts and techniques from Artificial Intelligence (AI) are...
Notwithstanding the significant advances in context-aware computing in pervasive computing and self-adaptive systems, there is still much more to be desired in providing better context services. The number of sensors deployed world-wide increases very rapidly. The Internet of Things, amongst others, generates vast amounts of data of many different data types. How data are used is essential to improve...
In all the projects centered on the promotion of self-regulation, self-regulation strategies and learning strategies are taught, to enable the students to use them in order to improve their learning and self-regulatory skills. When the students use these strategies, they choose the tools that they want to use to implement the strategies, pen and paper in many cases, and generic software tools in other...
We present work towards using ontological information to facilitate collaborative tasks during operation, maintenance and service of industrial automation facilities. We use semantic models as an additional layer for a collaboration framework to enable automatic reasoning, decision support and knowledge sharing among multiple parties. Documents such as texts, workflows, images, social media profiles...
The use of software tools has become a common practice in global software engineering to handle requirements and to exchange project status amongst distributed teams and stakeholders. In context of agile software development the replacement of paper-based media (e.g. Task Board) with software tools results in heavily decreased collaboration and transparency within agile teams. Since the number of...
The Notification-Oriented Paradigm (NOP)defines a new approach for conception, structuring, and execution of software leading to performance improvements, organization of causal knowledge, and decoupling of programming entities when compared to standard solutions based upon current paradigms, such as the Imperative Paradigm (IP) and the Declarative Paradigm (DP). These paradigms present drawbacks...
Designs of Systems-on-Chip (SoC) modules can be comprehensively verified by property checking together with different coverage metrics. Some of these coverage criteria measure whether or not the property set fully describes the functional behavior of the design under verification. Making coverage statements with formal precision, however, is a difficult task, especially, in compositional verification...
Set the date range to filter the displayed results. You can set a starting date, ending date or both. You can enter the dates manually or choose them from the calendar.