A Gray-Box based Software Requirements Specification Method for Embedded Systems
Soojin Park, Sooyong Park · Jeongbo gwahaghoe nonmunji. so'peuteuweeo mich eung'yong · 2011
The inner implementation logic of an embedded system is not exposed to users but encapsulated in the system, whereas the use case model is invented to show the interaction between outer environment and a system. This is the reason why we have difficulties in using the use case model which stands upon the black-box mechanism in documenting requirements of an embedded system. In this background, previous studies have introduced some white-box approaches that utilize state diagrams as a main tool to grasp inner behavior of the embedded software and make several specifications from the state diagrams. However, the construction of a fully analyzed state model in requirements elicitation requires lots of efforts which have discouraged software developers or caused their resistance. The objective of our study is to find the optimal point between the amounts of information which needs to develop a consistent embedded system and the effort cost that is consumed in requirements elicitation of the embedded system. To this end, we introduced a gray-box software requirements specification method that guides the extent of the system modeling, which can give sufficient information to software developers. Moreover, we introduced an automatic requirements specification mechanism for providing APIs of each software component and helping the collaboration between individual developers.