Automated database applications testing : specification representation for automated reasoning
著者
書誌事項
Automated database applications testing : specification representation for automated reasoning
（Series in machine perception and artificial intelligence / editors, H. Bunke, P.S.P. Wang, v. 76）
World Scientific, c2010
大学図書館所蔵 件 / 全1件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
注記
Includes bibliographical references and index
内容説明・目次
内容説明
This book introduces SpecDB, an intelligent database created to represent and host software specifications in a machine-readable format, based on the principles of artificial intelligence and unit testing database operations. SpecDB is demonstrated via two automated intelligent tools. The first automatically generates database constraints from a rule-base in SpecDB. The second is a reverse engineering tool that logs the actual execution of the program from the code.
目次
- SpecDB: A Database Design for Software Specifications
- Representing Formal Specifications in SpecDB: A Translation Algorithm
- An Automated Constraint Generator
- A Reverse Engineering Testing Tool
- Enhancing Other Testing Tools Using SpecDB
- Conclusion for Future Work.
「Nielsen BookData」 より