This paper addresses the problem of statically analyzing input command syntax as de ned in interface and requirements speci cations and then generating test cases for input validation testing. The IVT (Input Validation Testing) technique has been developed, a proof-of-concept tool (MICASA) has been implemented, and validation has been performed. Empirical validation on actual industrial softwar...

The rapid innovation and fierce competition that rule the IT world today force companies to develop the highest quality software using minimal cost at a timely base. This demand has placed a major responsibility on the area of software testing and validation. Testing the software for accuracy and functionality is usually the final frontier in the SDLC process before releasing new or modified so...

Big data validation and system verification are crucial for ensuring the quality of big data applications. However, a rigorous technique for such tasks is yet to emerge. During the past decade, we have developed a big data system called CMA for investigating the classification of biological cells based on cell morphology that is captured in diffraction images. CMA includes a group of scientific...

The validation of software checks informally (e.g., by code reviews or tests) the conformance of the software executions to a speci cation. More rigorously, the veri cation of software proves formally the conformance of the software semantics (that is, the set of all possible executions in all possible environments) to a speci cation. It is of course di cult to design a sound semantics, to get ...

The development and application of computational creep damage is very active among research community and high temperature industry. This paper presents a development and preliminary validation of in-house finite element analysis software for creep damage analysis. The Fortran 90 and existing finite element library were adopted and used in the software development. The validation case study was...

This tutorial describes the activities and work products that contribute to the specification and validation of the software requirements of a system. Although requirements practices are closely related to specific software development life cycle models, the general activities described in this paper are common to most process models. The activities of elicitation, analysis, specification, vali...

We have developed a formal validation tool that has been used in several projects that are developing software for AT&T's 5ESS TM telephone switching system. The tool validates networks of communicating processes speciied in the Virtual Finite State Machine (VFSM) notation, which is used during the low-level-design phase of software development to specify the control behavior of an implementati...

In this paper we present components of a newly developed software process improvement model that aims to represent key practices in requirements engineering (RE). Our model is developed in response to practitioner needs highlighted in our empirical work with UK software development companies. We have now reached the stage in model development where we need some independent feedback as to how we...

Modern software systems are designed and implemented in a modular fashion by composing individual components. Early validation of individual module designs and implementations offers the potential to detect and correct defects that might otherwise go undetected until system-level validation. This is particularly true for errors related to interactions between system components. In this paper, w...

We have developed a formal validation tool that has been used in several projects that are developing software for AT&T's 5ESSTM telephone switching system. The tool validates networks of communicating processes speci ed in the Virtual Finite State Machine (VFSM) notation, which is used during the low-leveldesign phase of software development to specify the control behavior of an implementation...