Software synchronous specifying method, validating method, verifying method, and testing method

摘要

According to the present invention, an establishment is attained which is equivalent to performing endless repetition of such activities as specifying, validating, verifying and testing which are considered inevitable to make S/W a perfect product (as wished by the development requirer) in conventional method as well as a software which perfectly actualizes such development requirement avoiding such endless repetition, only by directly implementing with a programming language a law itself of Scenario Function which embraces semantic-quality determining mechanism by way of endless times of repetition structure.