OS validation programming language: CVAL

Standardizing application program interfaces (API) is one aspect of assuring program portability, but it is likewise important to establish a means of checking products for conformance to the API. The paper proposes an operating system (OS) validation programming language CVAL and describes how CVAL can be used to make an OS validation program. The proposed method was used for actual validation program development. Part of the same development was then carried out using the C language, and a comparison was made of the development scale and time involved. The results show that using CVAL for OS validation program development achieves at least twice the productivity as the existing approach using C