Assertion Verification Design by Active Function.

DOI Web Site 1 Citations 13 References

Bibliographic Information

Other Title
  • 続・システム検証の科学技術　　能動関数によるアサーション検証設計
  • 能動関数によるアサーション検証設計
  • ノウドウ カンスウ ニ ヨル アサーション ケンショウ セッケイ

Search this article

Description

It is not easy to test the programs satisfactorily which are large in size and complex in flow of control. In order to show the correctness of a running program, we could embed the assertion in the program which denotes the properties and conditions of the program at a given timing.<BR>In this paper, we use Hoare's notation P{Q}R and extend the software design method with pre-check {∼P}, and post-check {∼R}. We realize these facilities to check condition as Active Software with Active Functions. Each active function has a condition which activates the function. The body of an active function is executed whenever the value of its condition becomes true at runtime.<BR>By means of this design method, we are able not only to assure the correctness of running programs, but also to construct stable programs adaptable to the change of software specification. We also propose a new computer architecture suitable to execute programs with active functions efficiently.

Journal

  • Computer Software

    Computer Software 22 (3), 76-91, 2005

    Japan Society for Software Science and Technology

Citations (1)*help

See more

References(13)*help

See more

Related Projects

See more

Details 詳細情報について

Report a problem

Back to top