排序方式: 共有4条查询结果,搜索用时 15 毫秒
1
1.
Maria Majoros 《Journal of Systems and Software》1981,2(4):289-296
This paper reviews the current status of both research and commercial testing systems, and addresses the features necessary for a commercial test system. These include test case specification, test data generation, testbed generation, program instrumentation, automatic test execution and validation, as well as dynamic analysis of control and data flow. Of particular value is the linking of the details of the test to the program specification by means of an assertion language. These and other features are then described within the contest of
, an integrated system for testing Assembler,
, and
/ 1 programs in a simulated test environment. This system is now being used to validate programs in a test laboratory. 相似文献
2.
3.
This paper describes a system for the automatic verification of commerical application specifications—SOFSPEC. After having established a relationship to the other requirement specification approaches, the user interface and the database schema are presented. The database schema is based on the entity/relationship model and encompasses four entities and six relationships with a varying number of attributes. These are briefly outlined. Then, the paper describes how these entities and relations are checked against one another in order to ascertain the completeness and consistency of the specification before it is finally documented. 相似文献
4.
Harry M. Sneed 《Journal of Systems and Software》1983,3(1):63-76
An integrated production system covering the phases specification, design, programming, documentation, test and integration—as well as project and configuration management is described. The system is built upon a unified development methodology supported by interactive tools. It encompasses a quality assurance procedure based on the automatic control of all intermediate products. It also provides a development database for project planning and control. The system is presently under development in Budapest, Hungary. Three of the planned seven subsystems are already operating in West Germany. 相似文献
1