Testing Software Requirements with Z and Statecharts Applied to an Embedded Control Systemt0t1
Software Quality Control
Benchmarking software requirements documentation for space application
SAFECOMP'10 Proceedings of the 29th international conference on Computer safety, reliability, and security
| Hi-index | 0.00 |
In this paper, we discuss a case study performed forvalidating a Natural Language (NL) based softwarerequirements specification (SRS) in terms ofcompleteness, consistency, and fault-tolerance.A partialverification of the Guidance and Control Software (GCS)Specification is provided as a result of analysis usingthree modeling formalisms.Zed was applied first todetect and remove ambiguity from the GCS partial SRS.Next, Statecharts and Activity-charts were constructed tovisualize the Zed description and make it executable.Theexecutable model was used for the specification testingand faults injection to probe how the system wouldperform under normal and abnormal conditions.Finally,a Stochastic Activity Networks (SANs) model was built toanalyze how fault coverage impacts the overallperformability of the system. In this way, the integrity ofthe SRS was assessed.We discuss the significance of thisapproach and propose approaches for improvingperformability/fault tolerance.