To determine whether a software is correct, attention must be focused on the problem of specifying precisely what it is intended to do. It was noted that many of the problems with systems were not the programmers' fault but the fault of the specifiers. Although it is doubtable to believe that the specifications are perfectly correct, the correctness of specifications can be improved to some extent by providing interface correctness.
Interface correctness is a property of system which results in the ability to perform a function without ambiguity. The interface correctness can be achieved by using control structures based on six axioms of AXES, the specification language of Higher Order Software(HOS). That is, once parent's inputs or outputs are determined and a control structure is defined, the inputs or outputs of offsprings can be defined automatically, unlike any other techniques (e.g., PSL/PSA) of data flow analysis. This can reduce some specifier's faults.
The purpose of this thesis is to provide the specification language considering interface correctness. The implementation is done by using Information System Language Definition Manager (ISLDM) and System Encyclopedia Manager (SEM), and Report Specification Interface (RST) can be used to support the automatic checking of the interface.
오늘날 소프트웨어의 규모와 복잡성이 증가해지고 소프트웨어의 Error로 인한 비용이 증가함에 따라 소프트웨어의 정확성이 중요시 되고 있다.
가장 빈도 높은 소프트웨어 error중 그 하나가 Interface error인데 그 원인이 프로그래머에 의한 것이라기보다 소프트웨어 디자인을 위한 Specification시 specifier의 잘못이라고 지적되고 있다.
따라서 본 논문은 Interface의 정확성을 자동적으로 검색할 수 있는 Specification 언어를 만들어 Implementation하고자 함이 그 목적이다.
Interface의 정확성을 기하고자 Higher Order Software의 specification 언어인 AXES를 도입하였고, Implementation은 ISLDM /SEM (Information System Language Definition Manager/System Encyclopedia Manager) 를 통하여 행해졌다.
본 논문에서 개발된 Specification 언어는 사용하기가 간편하고 Interface error를 자동적으로 검색할 수 있으므로 소프트웨어의 정확성을 개선하게 될 것이다.
끝으로, 앞으로의 연구 방향도 이 논문에서 간략하게 언급되었다.
