The cleanroom case study in the Software Engineering Laboratory: Project description and early analysis

This case study analyzes the application of the cleanroom software development methodology to the development of production software at the NASA/Goddard Space Flight Center. The cleanroom methodology emphasizes human discipline in program verification to produce reliable software products that are right the first time. Preliminary analysis of the cleanroom case study shows that the method can be applied successfully in the FDD environment and may increase staff productivity and product quality. Compared to typical Software Engineering Laboratory (SEL) activities, there is evidence of lower failure rates, a more complete and consistent set of inline code documentation, a different distribution of phase effort activity, and a different growth profile in terms of lines of code developed. The major goals of the study were to: (1) assess the process used in the SEL cleanroom model with respect to team structure, team activities, and effort distribution; (2) analyze the products of the SEL cleanroom model and determine the impact on measures of interest, including reliability, productivity, overall life-cycle cost, and software quality; and (3) analyze the residual products in the application of the SEL cleanroom model, such as fault distribution, error characteristics, system growth, and computer usage

Exploring Documentation: A Trivial Dimension of RUP

The Unified Process (UP) methodology is a commonly used methodology which can be followed by that entire process model where perfectly documented and well defined structure of team is needed, like Rational Unified Process (RUP) model which follows the UP methodology.  During documentation, the defect rate of software can be reduced and software quality can be improved. Quality is the sole objective which is pursued by stakeholders throughout the whole life cycle of software development. Quality is not the outcome of an accident; it is the fruit of the continual labor of devoted professionals. As the size of software increases, it is natural for the number of errors and defects to increase. The Cleanroom Software engineering process is a process for software development. The basic objective of Cleanroom Software engineering is to produce high quality of software emphasizing to increase the level of reliability to its utmost efficiency. Moreover, the Cleanroom process is involved in each and every phase of software development life cycle i.e. planning; measurement; specifying design; verifying code; testing; and certifying to mold the entire engineering discipline that the end product should result ideally in zero defect-rate. Keywords: Cleanroom software Engineering process, Documentation, Defect rate, Rational Unified process, quality and reliability

Experimental Evaluation of the Cleanroom Software Development Method

The field of software engineering is evolving as various new techniques, languages, paradigms, process models, methodologies, metrics etc., are constantly being developed, used and improved. In the past, several empirical studies were conducted to experiment with various new ideas in software engineering in order to help us better understand, evaluate, predict, control and improve these ideas. Basiii et al. review several of these studies and present a general framework for analyzing these experiments[2.5]. They emphasize the need of such experiments for advancement of software engineering discipline. They recommend that the experimental planning process should include a series of experiments for exploration, verification, and application of new ideas. They also implied that the results of empirical experiments in software engineering should be verified by a series of other related experiments. Cleanroom methodology for software development is a relatively new concept. Currently researchers are attempting to study the benefits and implications of using the Cleanroom methodology. One such attempt was made at the University of Maryland (UM) a few years ago which empirically characterized various aspects of Cleanroom methodologyj211. The fact that this study was empirical motivates the need for verifying its results. Also, the fact that the methodology is new motivates the need for further experimentation. Therefore, this experiment has been replicated recently at Miami University (MU). The goal of this project is to analyze the data collected in this experiment to verify the results of the previous study

A Novel Approach for Cleanroom Software Testing

The Cleanroom method of Software Engineering ensures high-quality software with certified reliability, which is an important aspect of every software product. The certification process needs a reasonable statistical user testing strategy to measure the software reliability. We propose a mechanism to reduce testing time as well as effort while performing statistical user testing so that software quality is not diluted as well as maintaining a high degree of software reliability. We also cover a brief history of cleanroom software engineering approach

Pembangunan dan penilaian modul web CD 'baikpulih komputer' : aplikasi dalam makmal baikpulih komputer di Politeknik Malaysia

Modul Web CD BK yang dibangunkan merupakan satu media pengajaran yang mengandungi unit-unit aktiviti yang dibentuk untuk membantu dalam proses pengajaran dan pembelajaran. Kajian ini bertujuan untuk menilai sejauh mana Modul Web CD BK dapat meningkatkan pencapaian pelajar dalam proses pengajaran dan pembelajaran dari aspek kreativiti, kesesuaian isi kandungan, kesesuaian strategi pembelajaran dan mesra pengguna. Responden untuk kajian ini terdiri daripada 45 orang pelajar semester akhir Sijil Kejuruteraan Elektronik (Komputer) di Politeknik Port Dickson (PPD). Tiga orang pensyarah yang berkemahiran dalam bidang membaikpulih komputer dan pembangunan CD interaktif telah ditemubual. Untuk kajian ini, instrumen yang digunakan adalah borang soal selidik dan penilaian adalah berdasarkan persepsi responden terhadap keberkesanan Web CD BK. Sesi temubual juga dijalankan terhadap beberapa orang pensyarah untuk mengetahui faktor-faktor yang membantu dalam pembangunan Web CD BK yang berkesan. Data-data yang dikumpulkan dianalisis menggunakan Statistical Packages for Social Sciences (SPSS) Versi 10.0 yang melibatkan skor min. Dapatan.kajian menunjukkan Web CD BK yang dibangunkan adalah pada tahap yang memuaskan dengan skor min keseluruhan adalah 3.99 (skor min : kreativiti = 3.84, isi kandungan = 4.06, strategi pembelajaran = 4.08 dan mesra pengguna = 3.93). Walau bagaimanapun, Web CD BK dapat membantu pensyarah dalam proses pengajaran dan pembelajaran di mana pencapaian pelajar meningkat dengan penggunaan Web CD BK ini. Web CD BK yang dibangunkan ini boleh dipertingkatkan dengan membuat beberapa penambahan seperti yang dicadangkan oleh responden seperti isi kandungan yang lebih terperinci, contoh-contoh yang lebih banyak dan animasi. Penyelidik mencadangkan agar Web CD BK ini dimurnikan isi kandungannya supaya semua topik yang dibincangkan dapat dipelajari dengan lebih terperinci dan dibangunkan laman webnya

The application of the ventilation equations to cleanrooms - Part 2: Decay of contamination

This article is the second of a three-part series that investigates the application of the ventilation equations to designing and testing cleanrooms. This part is concerned with the decay equation. The recovery test, described in ISO 14644-3 (2005) is discussed, and improvements recommended. The application of the decay equation to the ‘clean up’ requirement given in the EU GGMP (2008) is also discussed. Finally, a method is considered that calculates the time needed for airborne contamination in cleanroom areas to decay to acceptable concentrations

Cleanroom software development

The 'cleanroom' software development process is a technical and organizational approach to developing software with certifiable reliability. Key ideas behind the process are well structured software specifications, randomized testing methods and the introduction of statistical controls; but the main point is to deny entry for defects during the development of software. This latter point suggests the use of the term 'cleanroom' in analogy to the defect prevention controls used in the manufacturing of high technology hardware. In the 'cleanroom', the entire software development process is embedded within a formal statistical design, in contrast to executing selected tests and appealing to the randomness of operational settings for drawing statistical inferences. Instead, random testing is introduced as a part of the statistical design itself so that when development and testing are completed, statistical inferences are made about the operation of the system