Understanding Z: a specification language and its formal semantics
Understanding Z: a specification language and its formal semantics
Software configuration management
Software configuration management
Using Program Slicing in Software Maintenance
IEEE Transactions on Software Engineering
Logic and Specifiction: Extending VDM-SL for Advanced Formal Specification
Logic and Specifiction: Extending VDM-SL for Advanced Formal Specification
The Art of Software Testing
ICSEA '07 Proceedings of the International Conference on Software Engineering Advances
An Evaluation of Traceability Approaches to Support Software Evolution
ICSEA '07 Proceedings of the International Conference on Software Engineering Advances
Hi-index | 0.00 |
This paper proposes a technique for validating that in-service Drug Manufacturing Software (DMSW) is adequate. This technique is called Retrospective Computer Validation (RCV). When conducting RCV for the first time, one validates the adequacy of DMSW's functions and performance by collecting existing documents and operational records. When we use RCV-conducted DMSW, some modifications occur. In this case, modification of documents and enforcement of additional tests are required. However, it is difficult to secure consistency between existing and newly developed documents and to conduct exhaustive tests of areas affected by modifications. This paper proposes the following solutions: preparation of document architecture, definition of document templates, management of design information using database, establishment of a technique for identifying and testing the range of DMSW affected by modified parts and definition of RCV procedure. As a result, we can conduct adequate RCV and prove that the DMSW is of a high enough quality for manufacturing drugs.