Software quality from behavioural and human perspectives

Software quality is evolving beyond static assessment to include behavioural attributes and human aspects.These two groups of attributes are vital and necessary to balance between technical and non-technical (human) aspects in software assessment. PQM or Pragmatic Quality Model is a proposed model of quality, which composes of behavioural and human perspectives in assessment. This model provides opportunity to give priority or contribution of quality attributes to reflect the business requirement. Therefore, it is more practical that can suit different users and purposes. As for our research, PQM is used for assessment of software for certification process. This paper explains in detail this model of PQM

A component-based framework for certification of components in a cloud of HPC services

HPC Shelfis a proposal of a cloud computing platform to provide component-oriented services for High Performance Computing (HPC) applications. This paper presents a Verification-as-a-Service (VaaS) framework for component certification onHPC Shelf. Certification is aimed at providing higher confidence that components of parallel computing systems ofHPC Shelfbehave as expected according to one or more requirements expressed in their contracts. To this end, new abstractions are introduced, starting with certifier components. They are designed to inspect other components and verify them for different types of functional, non-functional and behavioral requirements. The certification framework is naturally based on parallel computing techniques to speed up verification tasks.NORTE-01-0145- FEDER-000037

Partnerien sertifiointi keskisuuressa ohjelmistoyrityksessä

Delivering software via partners adds one additional layer of complexity and uncertainty to the software delivery process. Inappropriate management of the partners could risk the solution implementation and affect negatively to the partner, software provider, and the customer. Certifications are one tool that can be used to manage and control these relationships. It is not clear however when and how certifications should be used in soft-ware sales. This Master’s thesis studies how certifications are used by independent software vendors and should they certify their partners. The study starts by defining what are the typical partnership models in business software sales and then investigates different aspects of certification in partnerships. First, the typical certification models are presented, and then factors which potentially affect the decision about certification program implementation are discovered. The study focuses on independent software vendors and, e.g., companies who make customer specific software is excluded. The study is exploratory in nature; thus, the aim is to discover new aspects rather than confirm. The study discovered that there are four main types of partnership models used by medium-sized companies: co-selling model, sales agent model, value-added reseller model, and OEM model. The models differ mainly on how the responsibility of the software delivery is shared. In co-selling, the independent software vendor is fully responsible for the end customer and the delivery, whereas in OEM model the partner controls the end customer. It is not clear exactly when a company should start certifying its partners as it depends heavily on the context. The relevance of certification can be evaluated by looking at the partnerships and the certification from four different perspectives: training, quality, governance, and marketing. By using these perspectives this study identifies key questions ISVs face in partnerships and potential factors which can affect the decision of implementing a certification program.Ohjelmiston toimittaminen partnerien kautta lisää toimituksen monimutkaisuutta ja epävarmuutta. Huonosti hallittu kumppanuus voi riskeerata toimituksen onnistumisen ja vaikuttaa negatiivisesti partneriin, ohjelmistotaloon sekä loppuasiakkaaseen. Sertifiointi on yksi työkalu, jota voidaan käyttää hallitsemaan kumppanuutta. Ei ole kuitenkaan selvää, milloin ja miten sertifiointia tulisi käyttää. Tämä diplomityö tutkii kuinka itsenäiset ohjelmistotalot käyttävät sertifiointia ja pitäisikö keskisuuren ohjelmistotalon sertifioida heidän partnerinsa. Työ alkaa määrittelemällä mitkä ovat tyypillisiä partnerimalleja, joita ohjelmistojen myynnissä käytetään. Sen jälkeen työssä käsitellään sertifiointia, joka alkaa tyypillisten sertifiointi mallien esittämisellä. Lopuksi tunnistetaan tekijät jotka voivat vaikuttaa ohjelmistotalon päätökseen luoda oma sertifiointiohjelma. Työ keskittyy itsenäisiin ohjelmistotaloihin ja siten esimerkiksi ohjelmistotaloja, jotka kehittävät asiakaskohtaisia ohjelmia ei tutkittu. Tämä tutkimus on eksploratiivinen, joten tavoitteena on löytää uusia näkökulmia aiheeseen sen sijaan, että vahvistettaisiin jo tiedossa olevia. Tutkimuksessa havaittiin, että itsenäisillä ohjelmistotaloilla on myynnissä pääsääntöisesti neljänlaisia partnerimalleja: co-selling malli, sales agent malli, value-added reseller -malli, sekä OEM malli. Mallit eroavat toisistaan pääsääntöisesti vastuujaoissa ohjelmiston toimituksessa. Co-selling mallissa ohjelmistotalo vastaa täysin loppuasiakkaasta ja toimituksesta, kun taas OEM mallissa partnerilla on kontrolli loppuasiakkaasta. Sertifioinnin osalta ei ole selvää, milloin täsmälleen yrityksen kannattaa sertifioida partnerinsa, koska se riippuu vahvasti ympäristöstä jossa yritys operoi. Sertifioinnin kannattavuutta voi arvioida tarkastelemalla kumppanuutta neljästä näkökulmasta: koulutus, laatu, hallinto, ja markkinointi. Tässä tutkimuksessa näitä näkökulmia käytettiin kumppanuuden avainkysymysten ja tekijöiden tunnistamiseen, jotka voivat vaikuttaa sertifiointiohjelman luomiseen

Estudio sobre la calidad de la información provista por comunidades Open Source

Los dos objetivos principales de esta tesis son los siguientes: • Proveer un framework para facilitar la identificación y consideración de las características que un integrador espera obtener cuando consulta información relacionada con un componente. • Realizar un estudio para indagar en qué medida la información facilitada por las comunidades OSS cubre los criterios que se utilizan en la práctica industrial de selección de componentes. En base a estos objetivos la pretensión es comprobar la medida en qué coinciden la “información requerida” por los integradores y la “información facilitada" por los proveedores para la selección de componentes, ya que es vital que coincidan ambos puntos de vista para mejorar la práctica industrial en la selección de componentes

Estudio sobre la calidad de la información provista por comunidades Open Source

Los dos objetivos principales de esta tesis son los siguientes: • Proveer un framework para facilitar la identificación y consideración de las características que un integrador espera obtener cuando consulta información relacionada con un componente. • Realizar un estudio para indagar en qué medida la información facilitada por las comunidades OSS cubre los criterios que se utilizan en la práctica industrial de selección de componentes. En base a estos objetivos la pretensión es comprobar la medida en qué coinciden la “información requerida” por los integradores y la “información facilitada" por los proveedores para la selección de componentes, ya que es vital que coincidan ambos puntos de vista para mejorar la práctica industrial en la selección de componentes

Certifying Software Component Performance Specifications

In component-based software engineering, performance prediction approaches support the design of business information systems on the architectural level. They are based on behavior specifications of components. This work presents a round-trip approach for using, assessing, and certifying the accuracy of parameterized, probabilistic, deterministic, and concurrent performance specifications. Its applicability and effectiveness are demonstrated using the CoCoME benchmark