期刊名称：International Journal of Advanced Networking and Applications
电子版ISSN：0975-0290
出版年度：2010
卷号：2
期号：6
页码：887-899
出版社：Eswar Publications
摘要：Clean Room Software Engineering (CRSE) methodology is intended for the development of high quality systems. The methodology is centered on three structures which include Black Box (BB), State Box (SB) and Clear Box (CB) and it assures high quality through implementation of Verification and Validation models at every stage of development. The models, suggested earlier, are built using the Mathematics for implementing the formalism which is needed to assure high quality. The mathematical way of implementing the formalism has been proved to be complex, unwieldy and impracticable. The Verification and Validation methods suggested are classical and do not support formalism which is the key element of CRSE. In this paper, three UML models and the associated algorithms have been proposed that help developing state box structures in more formal way and also to automate the process of generating State Box Structures. The refined CRSE model incorporating the suggested models is also presented. The models are used to develop the internal behavior of a Pilot Project called "Temperature Monitoring and Controlling of Nuclear Reactor System" (TMCNRS) which is an embedded system designed in more formal and automated way.
