Requirements Specification as Basis for Mobile Software Quality Assurance

2014 ◽  
pp. 719-732
Author(s):  
Raquel Lacuesta ◽  
Luis Fernández-Sanz ◽  
María del Pilar Romay
Keyword(s):  
Quality Control ◽  
Quality Assurance ◽  
Software Engineering ◽  
Software Quality ◽  
Mobile Applications ◽  
Requirements Specification ◽  
Software Quality Assurance ◽  
Complex Task ◽  
Testing Procedures ◽  
Mobile Software

Development of mobile applications is a complex task due to the specific characteristics of the environment. Although different proposals to offer more practical and systematic processes have been published within the so-called mobile software engineering, it is still necessary to devise more advanced methods, especially in the area of software quality assurance. This chapter presents a set of practices to support quality control by developers based on the adoption of methods from traditional software engineering focused on effective requirements specification and associated methods for generating practical testing procedures.

Trusting Computers Through Trusting Humans

2008 ◽  
pp. 3460-3474
Author(s):  
Alison Adam ◽  
Paul Spedding
Keyword(s):  
Quality Assurance ◽  
Software Engineering ◽  
Computer System ◽  
Software Quality ◽  
Software Verification ◽  
Mathematical Proof ◽  
Quality Standards ◽  
Software Quality Assurance ◽  
The Social

This article considers the question of how we may trust automatically generated program code. The code walkthroughs and inspections of software engineering mimic the ways that mathematicians go about assuring themselves that a mathematical proof is true. Mathematicians have difficulty accepting a computer generated proof because they cannot go through the social processes of trusting its construction. Similarly, those involved in accepting a proof of a computer system or computer generated code cannot go through their traditional processes of trust. The process of software verification is bound up in software quality assurance procedures, which are themselves subject to commercial pressures. Quality standards, including military standards, have procedures for human trust designed into them. An action research case study of an avionics system within a military aircraft company illustrates these points, where the software quality assurance (SQA) procedures were incommensurable with the use of automatically generated code.

Trusting Computers Through Trusting Humans

2011 ◽  
pp. 384-398
Author(s):  
Alison Adam ◽  
Paul Spedding
Keyword(s):  
Quality Assurance ◽  
Software Engineering ◽  
Computer System ◽  
Software Quality ◽  
Software Verification ◽  
Mathematical Proof ◽  
Quality Standards ◽  
Software Quality Assurance ◽  
The Social

This chapter considers the question of how we may trust automatically generated program code. The code walkthroughs and inspections of software engineering mimic the ways that mathematicians go about assuring themselves that a mathematical proof is true. Mathematicians have difficulty accepting a computer generated proof because they cannot go through the social processes of trusting its construction. Similarly, those involved in accepting a proof of a computer system or computer generated code cannot go through their traditional processes of trust. The process of software verification is bound up in software quality assurance procedures, which are themselves subject to commercial pressures. Quality standards, including military standards, have procedures for human trust designed into them. An action research case study of an avionics system within a military aircraft company illustrates these points, where the software quality assurance (SQA) procedures were incommensurable with the use of automatically generated code.

scholarly journals Focused Software Quality Assurance in Mobile Applications

2019 ◽  
Author(s):  
Mehreen Sirshar ◽  
Sania Imran ◽  
Faiqa Mehboob
Keyword(s):  
Quality Assurance ◽  
Software Quality ◽  
Mobile Applications ◽  
Mobile Application ◽  
Object Oriented ◽  
Assessment Model ◽  
Software Quality Assurance ◽  
User Requirements ◽  
Continuous Evaluation ◽  
Mobile Industry

As the time passes the modification in technology world lead to the evaluation in mobile application as well. With evaluation in mobile industry it is an open challenge for software quality researcher that how to enhance software quality to meet the needs of changes? Quality assurance play a key role in differentiating good application from bed application. With the continuous evaluation of mobile application developing process should be quick and efficient to comply with user requirements and satisfaction. While the listed requirement leads to bad design choices known as antipatterns, which in turn affect the reliability of the code. A tool based method PAPRIKA is used in the proposed re-search to identify and monitor these antipatterns together with a two-step assessment model for software quality assurance and object oriented software quality matrix.

Trusting Computers Through Trusting Humans

2009 ◽  
pp. 2435-2449
Author(s):  
Alison Adam ◽  
Paul Spedding
Keyword(s):  
Quality Assurance ◽  
Action Research ◽  
Software Engineering ◽  
Computer System ◽  
Software Quality ◽  
Mathematical Proof ◽  
Quality Standards ◽  
Software Quality Assurance ◽  
The Social

This article considers the question of how we may trust automatically generated program code. The code walkthroughs and inspections of software engineering mimic the ways that mathematicians go about assuring themselves that a mathematical proof is true. Mathematicians have difficulty accepting a computer generated proof because they cannot go through the social processes of trusting its construction. Similarly, those involved in accepting a proof of a computer system or computer generated code cannot go through their traditional processes of trust. The process of software verifi- cation is bound up in software quality assurance procedures, which are themselves subject to commercial pressures. Quality standards, including military standards, have procedures for human trust designed into them. An action research case study of an avionics system within a military aircraft company illustrates these points, where the software quality assurance (SQA) procedures were incommensurable with the use of automatically generated code.

Assessment of Software Quality

2010 ◽  
pp. 200-219 ◽  
Author(s):  
Praveen Ranjan Srivastava ◽  
Ajit Pratap Singh ◽  
Vageesh K. V.
Keyword(s):  
Quality Assurance ◽  
Software Engineering ◽  
Software Quality ◽  
Quality Attributes ◽  
Decision Makers ◽  
Software Quality Assurance ◽  
Quality Attribute ◽  
Software Products ◽  
Multiple Contexts ◽  
Software Product

Software Quality Assurance consists of monitoring the software engineering processes and ensuring the highest quality. But, the software quality attributes that we deal with are not explicit in the outset and cannot be easily measured. The same attribute has multiple significance and importance in multiple contexts. The user, the developer and the manager of a software product may have different stands regarding the significance of a quality attribute. A software quality engineer, while measuring the total software quality should provide appropriate weight to each of the decision makers. This chapter proposes a fuzzy multi-criteria approach to measure the total software quality and to identify the best alternative from a set of software products.

Software Quality Assurance in INDIGO-DataCloud Project: a Converging Evolution of Software Engineering Practices to Support European Research e-Infrastructures

2020 ◽  
Vol 18 (1) ◽  
pp. 81-98
Author(s):  
Pablo Orviz Fernández ◽  
Mário David ◽  
Doina Cristina Duma ◽  
Elisabetta Ronchieri ◽  
Jorge Gomes ◽  
...  
Keyword(s):  
Quality Assurance ◽  
Software Engineering ◽  
Software Quality ◽  
Software Quality Assurance ◽  
European Research ◽  
Engineering Practices

Hiring and Intra-occupational Gender Segregation in Software Engineering

2020 ◽  
pp. 000312242097180
Author(s):  
Santiago Campero
Keyword(s):  
Gender Differences ◽  
Quality Assurance ◽  
Software Engineering ◽  
Software Quality ◽  
Gender Segregation ◽  
Software Quality Assurance ◽  
Selection Processes ◽  
Occupational Gender ◽  
Self Assessments ◽  
Occupational Gender Segregation

Women tend to be segregated into different subspecialties than men within male-dominated occupations, but the mechanisms contributing to such intra-occupational gender segregation remain obscure. In this study, I use data from an online recruiting platform and a survey to examine the hiring mechanisms leading to gender segregation within software engineering and development. I find that women are much more prevalent among workers hired in software quality assurance than in other software subspecialties. Importantly, jobs in software quality assurance are lower-paying and perceived as lower status than jobs in other software subspecialties. In examining the origins of this pattern, I find that it stems largely from women being more likely than men to apply for jobs in software quality assurance. Further, such gender differences in job applications are attenuated among candidates with stronger educational credentials, consistent with the idea that relevant accomplishments help mitigate gender differences in self-assessments of competence and belonging in these fields. Demand-side selection processes further contribute to gender segregation, as employers penalize candidates with quality assurance backgrounds, a subspecialty where women are overrepresented, when they apply for jobs in other, higher-status software subspecialties.

Trusting Computers Through Trusting Humans

2008 ◽  
pp. 1152-1166
Author(s):  
Alison Adam ◽  
Paul Spedding
Keyword(s):  
Quality Assurance ◽  
Software Engineering ◽  
Computer System ◽  
Software Quality ◽  
Software Verification ◽  
Mathematical Proof ◽  
Quality Standards ◽  
Software Quality Assurance ◽  
The Social

This article considers the question of how we may trust automatically generated program code. The code walkthroughs and inspections of software engineering mimic the ways that mathematicians go about assuring themselves that a mathematical proof is true. Mathematicians have difficulty accepting a computer generated proof because they cannot go through the social processes of trusting its construction. Similarly, those involved in accepting a proof of a computer system or computer generated code cannot go through their traditional processes of trust. The process of software verification is bound up in software quality assurance procedures, which are themselves subject to commercial pressures. Quality standards, including military standards, have procedures for human trust designed into them. An action research case study of an avionics system within a military aircraft company illustrates these points, where the software quality assurance (SQA) procedures were incommensurable with the use of automatically generated code.

Sign in / Sign up

Export Citation Format

Share Document