itsecurityideas

The Denver international Airport baggage handling system has become an example of what not to do when engineering software for anything. It has been said that BAE systems costs for the 193 million dollar system began hemorrhaging 1.1 million a day in interest and operating costs. i Eventually it was replaced with manual baggage handlers. Giese states that one of the major reasons for this failure were lack of communications of the stakeholders and the fact that software quality was an afterthought as was the design and integration of the system. ii The Capability Maturity Model for Integration (CMMI) from the Software Engineering Institute at Carnegie Mellon University is the de-facto standard methodology for Software development and organizational maturation measure. iii The SEI maintains a common sense staged approach to managing software development and quality through the development life cycle by defining 5 stages of maturity for an organization. Currently the CMMI-DEV standard...

Vindication Verification According to the CMM from the SEI, Verification is: The process of evaluating software to determine whether the products of a given development phase satisfy the conditions imposed at the start of that phase. [i] There are many differing methods of Verification for software; formal verification refers to the proof of underlying concepts and algorithms within the software using the formal methods of Mathematics [ii] . These include model verification and checking; logical inference with the use of formal proving software. These include Prefect Developers, ArC, ACL2 or Coq therom providers, Boyer-Moore, Esterel, ttOL, Nuprl, 2OBJ, and the OCCAM transformation system and KIV [iii] . Bowen et al., highlight the foundations of formal verification within “Hall’s Original Seven Myths” [iv] and how various industries often lend prejudice   to Verification methods; in addition to these they are often ignored by the development industry at large as they may be see...

Computer based training (CBT), is vaguely defined as the use of computers in assisted instruction, managed instruction or enriched instruction for delivery of a given domain of information. i There are numerous advantages to offering CBT's for a given domain. Examples include course ware for professional certifications, these include the PMP designation from the PMI, the PMI makes CBT's available for the Prince2 series of standards, the PMI does require at laest 2 weeks of formal classroom training in addition to a given number of years of demonstrated experience in project management. There are also CBT's for the Certified Management Accountant, Certified Financial Advisor, The UK department of commerce has CBT's for the ITSM standards and companies such as EXIN and Pearson Vue deliver course ware and exams for the ITIL foundations certification. Microsoft even has an entire engineering regimen with over 40 separate domains for each of the enterprise products offe...

The usual suspects In my own words the SQA team members can be classified using the following methods; however first let me frame the definition of an actor or agent. Galin States that: “Procedures supply all th details needed dot carry out a task according to the prescribed method of fulfilling that task's function. These details can be viewed as responding to five issues, known as the Five W's,” i These are listed in the figure as follows ii : What activities have to be preformed? HoW should each activity be preformed? When should the activity be preformed? Where should the activity be preformed? Who should preform the activity? Galin's last question defines who would be a member of the SQA team, the best methodology I have used to assign or map responsibility is termed RASCI and was developed by the PMI iii . RASCI allows the mapping of a given task or procedure to a given individual. The unified modeling language was developed in the mid to late nineties (19...

These are my principals and if you don’t like them I have others ~ Groucho Marx Edward Deming’s Quality Principles are designed to foster a culture of management and a sense of individual responsibility for every member of a given organization to that organizations role in industry. Deming’s principals are rooted in the work of Walter A. Shewhart of Bell Lab’s fame. [i] As a physicist and satiation he aided in the rebuilding of Japans economy after World War II and maintained a critical influence over industrial quality control and industry up until his passing in 1993.   It is stated that he is one of many key people in influencing the Japanese to produce products of a greater quality and on a greater scale than those in the United States. A principle is defined as a fundamental assumption or a rule used to choose among solutions to a problem; with respect to Deming we may assume that his principals were derived from his view of the laws of nature due to his education in Physic...