An Improved Reliability Testing Model Based on SOFL.

Zhouxian Jiang,Honghui Li,Xuetao Tian
DOI: https://doi.org/10.1007/978-3-319-90104-6_8
2018-01-01
Abstract:With the rapid growing size of industry software, software reliability has become a necessary factor to measure software quality. Software testing, which can quantify and assess software reliability by establishing the model of software reliability, is an important method to verify software reliability. SOFL is an object-oriented structured formal language and engineering approach. SOFL consists of Condition Data Flow Diagram (CDFD) and formal description of CDFD called Module. It makes an accurate explanation of the software function, which is the basis of reliability testing. However, the reliability testing also need to consider the frequency of functional use, which cannot be expressed by SOFL. Therefore, this paper explores an improved method named DG-CDFD. It uses the state diagram to express the probability of transfer between different states based on CDFD, and builds a reliability testing model. Finally, this paper verifies the feasibility of this method through a case model building.
What problem does this paper attempt to address?