As commercial developers have established processes to assure software quality, open source software depends largest, on community usage and defect reporting to achieve some level of quality. Thus, quality of open sou...
详细信息
ISBN:
(纸本)9780769534466
As commercial developers have established processes to assure software quality, open source software depends largest, on community usage and defect reporting to achieve some level of quality. Thus, quality of open source software may vary. We examined defects reported in two active and popular open source software projects and an in-house project. The results of this analysis indicate that the reliability growth of each is quite distinct and that the defect profile of open source software appears to be a consequence of the open source software development method itself.
Model-driven engineering (MDE) and product line engineering (PLE) will influence the future of software development and increase the automation of application development. End user development (EUD) is an emerging par...
详细信息
ISBN:
(纸本)9780769534466
Model-driven engineering (MDE) and product line engineering (PLE) will influence the future of software development and increase the automation of application development. End user development (EUD) is an emerging paradigm where end users create and adapt systems themselves. To leverage MDE and PLE for EUD in small domains, we introduce a simple software production line that allows domain engineers to easily set up product line member instantiation environments for end users. The main contribution of our work is SimPL-the production line tools. SimPL consists of a graphical editor to model the concrete products and a code generator to produce the corresponding software, both based on a single product line specification. In this paper we describe the concepts and processes incorporated in SimPL and a case study of successful employment.
Within the domain of interactive system development and design, particularly for safety-critical systems, there is an inherent tension between formalisms used for softwareengineering methodologies and the creative as...
详细信息
ISBN:
(纸本)9781538636817
Within the domain of interactive system development and design, particularly for safety-critical systems, there is an inherent tension between formalisms used for softwareengineering methodologies and the creative aspects of design. In this paper we consider how we might better unify these by way of a framework for design spaces and design artefacts. We present formal definitions for simple and complex design spaces and then describe how they are incorporated into traces. We then discuss how these can be used to reason about considerations such as preservation of requirements and iterative changes throughout the design process and provide some small examples of this.
Teamwork skills are important and even essential for softwareengineering professionals. Although there are rich research results on teamwork skill development and assessment in other engineering disciplines, more res...
详细信息
ISBN:
(纸本)9780769546094
Teamwork skills are important and even essential for softwareengineering professionals. Although there are rich research results on teamwork skill development and assessment in other engineering disciplines, more research is required on effective approaches in softwareengineering education as teamwork plays a more fundamental role with some special requirements. This paper presents a novel assessment approach for teamwork performance in softwareengineering education. The approach has been used in several softwareengineering courses and the results are positive and promising. A novel feature of the approach is that it encourages and supports student active and collaborative learning by using an approach specially assessing teamwork performance of a team and each team member of the team. Another feature is that it can be tailored to different requirements and softwareengineering courses. We illustrate the approach by a case that uses the approach in software project management course. Limitations of the approach and further work are also discussed.
software testing laboratory is a professional software evaluation organization of university or state institution. Through the analysis and study of the characteristics of software testing process, we intend to custom...
详细信息
ISBN:
(纸本)9781467396448
software testing laboratory is a professional software evaluation organization of university or state institution. Through the analysis and study of the characteristics of software testing process, we intend to customize a model of software testing process quality measurement which is applicable to the software testing laboratory. The model describes seven characteristics namely compliance of process, stability of process, effectiveness, adequacy, traceability, integrity and timeliness which are further subdivided into some measure indices and describes their assessment methods. Finally, an example is given to show how to evaluate the quality of software testing process.
Directed grey-box fuzzing is difficult to rigorously evaluate for several reasons. First, directed grey-box fuzzers are more prone to overfitting than undirected grey-box fuzzers as they are designed to explore specif...
详细信息
ISBN:
(纸本)9798350344172
Directed grey-box fuzzing is difficult to rigorously evaluate for several reasons. First, directed grey-box fuzzers are more prone to overfitting than undirected grey-box fuzzers as they are designed to explore specific paths in the program under test. Furthermore, existing benchmarks are mainly designed for evaluating undirected fuzzers. Hence, they do not provide any information about bug locations, and the difficulty of triggering bugs can substantially vary across different benchmarks. In this paper, we argue that one can address these challenges by automatically generating benchmarks with a bug synthesis technique. Notably, Fuzzle, a state-of-the-art bug synthesis tool, enables generation of arbitrarily many benchmarks, thereby preventing the overfitting problem. It is also well suited for evaluating directed grey-box fuzzers as it provides the exact location of the target bug in the generated benchmark with a guarantee that the bug is lurking deep in the program. With Fuzzle, we systematically evaluate existing state-of-the-art directed fuzzers and study their strengths and weaknesses, which would be otherwise difficult to obtain with traditional benchmarks. To our knowledge, this is the first attempt to adopt a bug synthesis technique for evaluating directed fuzzers.
A similar set of open source software is selected on many systems even if these systems in which the software is applied are in different domains. It must be primary type of core asset on Product Line software Enginee...
详细信息
ISBN:
(纸本)0769522459
A similar set of open source software is selected on many systems even if these systems in which the software is applied are in different domains. It must be primary type of core asset on Product Line softwareengineering. And next, I want to discuss about success of many network appliances run on open source OS.
This empirical paper examines the adoption of PHP releases in the the contemporary world wide web. Motivated by continuous softwareengineering practices and software traceability improvements for release engineering,...
详细信息
ISBN:
(纸本)9781538636817
This empirical paper examines the adoption of PHP releases in the the contemporary world wide web. Motivated by continuous softwareengineering practices and software traceability improvements for release engineering, the empirical analysis is based on big data collected by web crawling. According to the empirical results based on discrete time-homogeneous Markov chain (DTMC) analysis, (i) adoption of PHP releases has been relatively uniform across the domains observed, (ii) which tend to also adopt either old or new PHP releases relatively infrequently. Although there are outliers, (iii) downgrading of PHP releases is generally rare. To some extent, (iv) the results vary between the recent history from 2016 to early 2017 and the long-run evolution in the 2010s. In addition to these empirical results, the paper contributes to the software evolution and release engineering research traditions by elaborating the applied use of DTMCs for systematic empirical tracing of online software deployments.
This paper presents a framework that integrates a graphical specification technique (UML) with a formal specification technique (Object-Z) to support requirements elicitation and analysis activities. Various UML diagr...
详细信息
ISBN:
(纸本)0769509150;0769509169
This paper presents a framework that integrates a graphical specification technique (UML) with a formal specification technique (Object-Z) to support requirements elicitation and analysis activities. Various UML diagrams are used to specify the system from different concerns during the early requirements elicitation and analysis stage. The information captured in the diagrams is used to develop a complete Object-Z specification. This paper presents a semantic translation from statechart diagrams to Object-Z specifications. Finally, based on information captured in sequence diagrams and use case diagrams, a functional model of the whole system is formally defined.
software requirement triage and selection in market-driven requirements engineering is a crucial activity for the success of a project, product and company. This paper presents state-of-the-art and state-of-practice i...
详细信息
ISBN:
(纸本)9780769549224
software requirement triage and selection in market-driven requirements engineering is a crucial activity for the success of a project, product and company. This paper presents state-of-the-art and state-of-practice in requirements triage and selection through systematic literature review and an industrial survey. Industry practitioner can read solutions that have been proposed in literature and most applicable challenges and factors considered today and factors to be considered ideally to address the challenges, which have been collected through the survey. For researchers, the results show which challenges still need to be addressed.
暂无评论