Identification and correction of besouro's faults: impact on test‐driven development experiments

Context. This thesis is framed in experimental software engineering. More concretely, it addresses the problems arisen when assessing process conformance in test-driven development experiments conducted by UPM's Experimental Software Engineering group. Process conformance was studied using the Eclipse's plug-in tool Besouro. It has been observed that Besouro does not work correctly in some circumstances. It creates doubts about the correction of the existing experimental data which render it useless. Aim. The main objective of this work is the identification and correction of Besouro's faults. A secondary goal is fixing the datasets already obtained in past experiments to the maximum possible extent. This way, existing experimental results could be used with confidence. Method. (1) Testing Besouro using different sequences of events (creation methods, assertions etc..) to identify the underlying faults. (2) Fix the code and (3) fix the datasets using code specially created for this purpose. Results. (1) We confirmed the existence of several fault in Besouro's code that affected to Test-First and Test-Last episode identification. These faults caused the incorrect identification of 20% of episodes. (2) We were able to fix Besouro's code. (3) The correction of existing datasets was possible, subjected to some restrictions (such us the impossibility of tracing code size increase to programming time. Conclusion. The results of past experiments dependent upon Besouro's data could no be trustable. We have the suspicion that more faults remain in Besouro's code, whose identification requires further analysis.

Metodologia para a homologação dos equipamentos do Sistema Canal Azul da Carne - MHECAC.

Este trabalho de pesquisa apresenta a Metodologia para a Homologação dos Equipamentos do Sistema Canal Azul da Carne - MHECAC. Esta proposta de metodologia é complementar ao desenvolvimento do Sistema Canal Azul da Carne e tem o objetivo de apoiar o MAPA (Ministério da Agricultura, Pecuária e Abastecimento) no estabelecimento de um processo de verificação da conformidade de equipamentos, buscando garantir a interoperabilidade, o desempenho e a segurança de seus componentes de hardware. O Sistema Canal Azul é uma realização do MAPA em conjunto com o GAESI da Escola Politécnica da Universidade de São Paulo (EPUSP) e a iniciativa privada, e tem o objetivo de reduzir o tempo empregado nos processos de exportação de carnes no Brasil. A MHECAC baseia-se na estrutura de processo de avaliação de conformidade estabelecida pelo Sistema Brasileiro de Avaliação da Conformidade - SBAC e seus requisitos gerais podem ser aplicados à avaliação de conformidade de produtos em setores variados. No desenvolvimento da MHECAC foram aplicadas as principais referências técnicas e normativas correspondentes aos equipamentos que compõe a arquitetura do sistema Canal Azul. Além disto, foram definidos os modelos de homologação, auditoria e inspeção, os planos de amostragem, os requisitos mínimos e a metodologia de ensaio. A MHECAC subdivide-se em dois segmentos principais. O primeiro apresenta os requisitos gerais para o estabelecimento de sistemas de avaliação da conformidade e certificação de produtos, a aplicação destes requisitos não se limita ao Sistema Canal Azul, e o segundo apresenta requisitos específicos ao sistema estabelecido pelo MAPA. A aplicação da MHECAC favorece o tratamento isonômico de fornecedores e é um importante balizador para a seleção de equipamentos, pois permite a qualificação e a comparação de soluções, por meio de um embasamento técnico, pautado pela qualidade.

Assessment of Web Content Accessibility Levels in Spanish Official Online Education Environments

Diversity-based designing, or the goal of ensuring that web-based information is accessible to as many diverse users as possible, has received growing international acceptance in recent years, with many countries introducing legislation to enforce it. This paper analyses web content accessibility levels in Spanish education portals according to the international guidelines established by the World Wide Web Consortium (W3C) and the Web Accessibility Initiative (WAI). Additionally, it suggests the calculation of an inaccessibility rate as a tool for measuring the degree of non-compliance with WAI Guidelines 2.0 as well as illustrating the significant gap that separates people with disabilities from digital education environments (with a 7.77% average). A total of twenty-one educational web portals with two different web depth levels (42 sampling units) were assessed for this purpose using the automated analysis tool Web Accessibility Test 2.0 (TAW, for its initials in Spanish). The present study reveals a general trend towards non-compliance with the technical accessibility recommendations issued by the W3C-WAI group (97.62% of the websites examined present mistakes in Level A conformance). Furthermore, despite the increasingly high number of legal and regulatory measures about accessibility, their practical application still remains unsatisfactory. A greater level of involvement must be assumed in order to raise awareness and enhance training efforts towards accessibility in the context of collective Information and Communication Technologies (ICTs), since this represents not only a necessity but also an ethical, social, political and legal commitment to be assumed by society.

A Unified Approach to Automatic Testing of Architectural Constraints

Architectural decisions are often encoded in the form of constraints and guidelines. Non-functional requirements can be ensured by checking the conformance of the implementation against this kind of invariant. Conformance checking is often a costly and error-prone process that involves the use of multiple tools, differing in effectiveness, complexity and scope of applicability. To reduce the overall effort entailed by this activity, we propose a novel approach that supports verification of human- readable declarative rules through the use of adapted off-the-shelf tools. Our approach consists of a rule specification DSL, called Dicto, and a tool coordination framework, called Probo. The approach has been implemented in a soon to be evaluated prototype.

Feasibility study, use of vacant state-owned mental health and developmental disabilities facilities, December 1978 /

Cover title.

Management audit : Department of Central Management Services' administration of the state's space utilization program.

"This is our report of the Management Audit of the Department of Central Management Services' Administration of the State's Space Utilization Program. The audit was conducted pursuant to Legislative Audit Commission Resolution Number 126, which was adopted December 11, 2002. This audit was conducted in accordance with generally accepted government auditing standards and the audit standards promulgated by the Office of the Auditor General at 74 Ill. Adm. Code-420.310. The audit report is transmitted in conformance with Section 3-14 of the Illinois State Auditing Act."--Cover letter.

Management audit : regulation of grain dealers and warehousemen and the administration of the Grain Insurance Fund : Illinois Department of Agriculture and the Grain Insurance Corporation.

"The audit was conducted pursuant to Legislative Audit Commission Resolution Number 125, which was adopted December 11, 2002. This audit was conducted in accordance with generally accepted government auditing standards and the audit standards promulgated by the Office of the Auditor General at 74 Ill. Adm. Code 420.310. This audit report is transmitted in conformance with Section 3-14 of the Illinois State Auditing Act."--Cover letter.

Management audit of the expenditures from the Grade Crossing Protection Fund : Illinois Commerce Commission [and] Illinois Department of Transportation.

"This is our report of the Management Audit of the Expenditures from the Grade Crossing Protection Fund which is administered by the Illinois Commerce Commission but appropriated to the Illinois Department of Transportation. The audit was conducted pursuant to Legislative Audit Commission Resolution Number 123. This audit was conducted in accordance with generally accepted government auditing standards and the audit standards promulgated by the Office of the Auditor General at 74 Ill. Adm. Code-420.310. The audit report is transmitted in conformance with Section 3-14 of the Illinois State Auditing Act."--Cover letter.

Management audit : Department of Transportation's Aeronautics Operations.

"This is our report of the Management Audit of the Illinois Department of Transportation's aeronautics operations. The audit was conducted pursuant to Legislative Audit Commission Resolution Number 135, which was adopted August 10, 2005. This audit was conducted in accordance with generally accepted government auditing standards and the audit standards promulgated by the Office of the Auditor General at 74 Ill. Adm. Code 420.310. The audit report is transmitted in conformance with Section 3/14 of the Illinois State Auditing Act."--p. i.

Management audit : Illinois School District Liquid Asset Fund Plus.

"This is our report of the Management Audit of the Illinois School District Liquid Asset Fund Plus. The audit was conducted pursuant to Senate Resolution Number 171, which was adopted April 22, 2004. This audit was conducted in accordance with generally accepted government auditing standards and the audit standards promulgated by the Office of the Auditor General at 74 III. ADM. Code 420.310. The audit report is transmitted in conformance with Section 3-14 of the Illinois State Auditing Act."--Cover letter.

Report digest follow-up report Department of Human Services' Early Intervention Program /

"The audit was conducted pursuant to Public Act 92-307, which became effective on August 9, 2001. This audit was conducted in accordance with generally accepted government auditing standards and the audit standards promulgated by the Office of the Auditor General at 74 Ill. Adm. Code 420.310. The audit report is transmitted in conformance with Section 3-14 of the Illinois State Auditing Act."--Cover letter.

Report digest management audit Department of Human Services' Early Intervention Program /

"The audit was conducted pursuant to Legislative Audit Commission Resolution Number 122, which was adopted on June 26, 2001. This audit was conducted in accordance with generally accepted government auditing standards and the audit standards promulgated by the Office of the Auditor General at 74 Ill. Adm. Code-420-310. The audit report is transmitted in conformance with Section 3-14 of the Illinois State Auditing Act."--Cover letter.

When do firms conform? The effect of regulatory control processes on compliance and opportunism

The authors use social control theory to develop a conceptual model that addresses the effectiveness of regulatory agencies’ (e.g., Food and Drug Administration, Occupational Safety and Health Administration) field-level efforts to obtain conformance with product safety laws. Central to the model are the control processes agencies use when monitoring organizations and enforcing the safety rules. These approaches can be labeled formal control (e.g., rigid enforcement) and informal control (e.g., social instruction). The theoretical framework identifies an important antecedent of control and the relative effectiveness of control’s alternative forms in gaining compliance and reducing opportunism. Furthermore, the model predicts that the regulated firms’ level of agreement with the safety rules moderates the relationships between control and firm responses. A local health department’s administration of state food safety regulations provides the empirical context for testing the hypotheses. The results from a survey of 173 restaurants largely support the proposed model. The study findings inform a discussion of effective methods of administering product safety laws. The authors use social control theory to develop a conceptual model that addresses the effectiveness of regulatory agencies’ (e.g., Food and Drug Administration, Occupational Safety and Health Administration) field-level efforts to obtain conformance with product safety laws. Central to the model are the control processes agencies use when monitoring organizations and enforcing the safety rules. These approaches can be labeled formal control (e.g., rigid enforcement) and informal control (e.g., social instruction). The theoretical framework identifies an important antecedent of control and the relative effectiveness of control’s alternative forms in gaining compliance and reducing opportunism. Furthermore, the model predicts that the regulated firms’ level of agreement with the safety rules moderates the relationships between control and firm responses. A local health department’s administration of state food safety regulations provides the empirical context for testing the hypotheses. The results from a survey of 173 restaurants largely support the proposed model. The study findings inform a discussion of effective methods of administering product safety laws.

A hybrid measurement systems analysis and uncertainty of measurement approach for industrial measurement in the light controlled factory

The uncertainty of measurements must be quantified and considered in order to prove conformance with specifications and make other meaningful comparisons based on measurements. While there is a consistent methodology for the evaluation and expression of uncertainty within the metrology community industry frequently uses the alternative Measurement Systems Analysis methodology. This paper sets out to clarify the differences between uncertainty evaluation and MSA and presents a novel hybrid methodology for industrial measurement which enables a correct evaluation of measurement uncertainty while utilising the practical tools of MSA. In particular the use of Gage R&R ANOVA and Attribute Gage studies within a wider uncertainty evaluation framework is described. This enables in-line measurement data to be used to establish repeatability and reproducibility, without time consuming repeatability studies being carried out, while maintaining a complete consideration of all sources of uncertainty and therefore enabling conformance to be proven with a stated level of confidence. Such a rigorous approach to product verification will become increasingly important in the era of the Light Controlled Factory with metrology acting as the driving force to achieve the right first time and highly automated manufacture of high value large scale products such as aircraft, spacecraft and renewable power generation structures.

An examination of the relationship of governance structure and performance: Evidence from banking companies in Bangladesh

Corporate governance has become increasingly important in developed and developing countries just after a series of corporate scandals and failures in a number of countries. Corporate governance structure is often viewed as a means of corporate success despite prior studies reveal mixed, somewhere conflicting and ambiguous, and somewhere no relationship between governance structure and performance. This study empirically investigates the relationship between corporate governance mechanisms and financial performance of listed banking companies in Bangladesh by using two multiple regression models. The study reveals that a good number of companies do not comply with the regulatory requirements indicating remarkable shortfall in corporate governance practice. The companies are run by the professional managers having no duality and no ownership interest for which they are compensated by high remuneration to curb agency conflict. Apart from some inconsistent relationship between some corporate variables, the corporate governance mechanisms do not appear to have significant relationship with financial performances. The findings reveal an insignificant negative impact or somewhere no impact of independent directors and non-independent non-executive directors on the level of performance that strongly support the concept that the managers are essentially worthy of trust and earn returns for the owners as claimed by stewardship theory. The study provides support for the view that while much emphasis on corporate governance mechanisms is necessary to safeguard the interest of stakeholders; corporate governance on its own, as a set of codes or standards for corporate conformance, cannot make a company successful. Companies need to balance corporate governance mechanisms with performance by adopting strategic decision and risk management with the efficient utilization of the organization’s resources.