916 resultados para Test, Black-box testing
Resumo:
Over the last decade issues related to the financial viability of development have become increasingly important to the English planning system. As part of a wider shift towards the compartmentalisation of planning tasks, expert consultants are required to quantify, in an attempt to rationalise, planning decisions in terms of economic ‘viability’. Often with a particular focus on planning obligations, the results of development viability modelling have emerged as a key part of the evidence base used in site-specific negotiations and in planning policy formation. Focussing on the role of clients and other stakeholders, this paper investigates how development viability is tested in practice. It draws together literature on the role of calculative practices in policy formation, client feedback and influence in real estate appraisals and stakeholder engagement and consultation in the planning literature to critically evaluate the role of clients and other interest groups in influencing the production and use of development viability appraisal models. The paper draws upon semi-structured interviews with the main producers of development viability appraisals to conclude that, whilst appraisals have the potential to be biased by client and stakeholder interests, there are important controlling influences on potential opportunistic behaviour. One such control is local authorities’ weak understanding of development viability appraisal techniques which limits their capacity to question the outputs of appraisal models. However, this also is of concern given that viability is now a central feature of the town planning system.
Resumo:
We present results from experimental price-setting oligopolies in which green firms undertake different levels of energy-saving investments motivated by public subsidies and demand-side advantages. We find that consumers reveal higher willingness to pay for greener sellers’ products. This observation in conjunction to the fact that greener sellers set higher prices is compatible with the use and interpretation of energy-saving behaviour as a differentiation strategy. However, sellers do not exploit the resulting advantage through sufficiently high price-cost margins, because they seem trapped into “run to stay still” competition. Regarding the use of public subsidies to energy-saving sellers we uncover an undesirable crowding-out effect of consumers’ intrinsic tendency to support green manufacturers. Namely, consumers may be less willing to support a green seller whose energy-saving strategy yields a direct financial benefit. Finally, we disentangle two alternative motivations for consumer’s attractions to pro-social firms; first, the self-interested recognition of the firm’s contribution to the public and private welfare and, second, the need to compensate a firm for the cost entailed in each pro-social action. Our results show the prevalence of the former over the latter.
Resumo:
Although the need to make health services more accessible to persons who have migrated has been identified, knowledge about health-promotion programs (HPPs) from the perspective of older persons born abroad is lacking. This study explores the design experiences and content implemented in an adapted version of a group-based HPP developed in a researcher-community partnership. Fourteen persons aged 70-83 years or older who had migrated to Sweden from Finland or the Balkan Peninsula were included. A grounded theory approach guided the data collection and analysis. The findings showed how participants and personnel jointly helped raise awareness. The participants experienced three key processes that could open doors to awareness: enabling community, providing opportunities to understand and be understood, and confirming human values and abilities. Depending on how the HPP content and design are being shaped by the group, the key processes could both inhibit or encourage opening doors to awareness. Therefore, this study provides key insights into how to enable health by deepening the understanding of how the exchange of health-promoting messages is experienced to be facilitated or hindered. This study adds to the scientific knowledge base of how the design and content of HPP may support and recognize the capabilities of persons aging in the context of migration.
Resumo:
With the increasing complexity of software systems, there is also an increased concern about its faults. These faults can cause financial losses and even loss of life. Therefore, we propose in this paper the minimization of faults in software by using formally specified tests. The combination of testing and formal specifications is gaining strength in searches mainly through the MBT (Model-Based Testing). The development of software from formal specifications, when the whole process of refinement is done rigorously, ensures that what is specified in the application will be implemented. Thus, the implementation generated from these specifications would accurately depict what was specified. But not always the specification is refined to the level of implementation and code generation, and in these cases the tests generated from the specification tend to find fault. Additionally, the generation of so-called "invalid tests", ie tests that exercise the application scenarios that were not addressed in the specification, complements more significantly the formal development process. Therefore, this paper proposes a method for generating tests from B formal specifications. This method was structured in pseudo-code. The method is based on the systematization of the techniques of black box testing of boundary value analysis, equivalence partitioning, as well as the technique of orthogonal pairs. The method was applied to a B specification and B test machines that generate test cases independent of implementation language were generated. Aiming to validate the method, test cases were transformed manually in JUnit test cases and the application, created from the B specification and developed in Java, was tested. Faults were found with the execution of the JUnit test cases
Resumo:
Includes bibliography
Resumo:
Includes bibliography
Resumo:
Die Universitäten in Deutschland und der Schweiz haben in den letzten zehn Jahren eine Reihe von Reformen und Veränderungen erlebt. Insbesondere die Bologna-Reform, aber auch die gestiegenen Studierendenzahlen werden dabei mit einer Reihe von nachteiligen Konsequenzen in Verbindung gebracht. In diesem Beitrag untersuchen wir die Frage, inwiefern sich die auf das Studium bezogenen Einstellungen und Verhaltensweisen der Studierenden nach der Bologna-Reform verändert haben. Unsere Datenbasis sind zwei umfangreiche Befragungen, die 2001 und 2012 an der Universität Bern durchgeführt wurden. Die Ergebnisse zeigen, dass sich die soziodemographische Zusammensetzung der Studierenden zwar deutlich verändert hat. Der zeitliche Aufwand für das Studium, die Leistungsmotivation der Studierenden, die Erwerbspartizipation oder der berichtete Zeitdruck haben aber in den letzten zehn Jahren wider Erwarten keine wesentlichen Veränderungen erfahren. Allerdings verfolgen heute mehr Studierende das Ziel, eine gute soziale Position und ein höheres Einkommen zu erreichen. Vor dem Hintergrund dieser Ergebnisse erscheint eine Reform der Reform nicht zwingend erforderlich zu sein.