The Infona portal uses cookies, i.e. strings of text saved by a browser on the user's device. The portal can access those files and use them to remember the user's data, such as their chosen settings (screen view, interface language, etc.), or their login data. By using the Infona portal the user accepts automatic saving and using this information for portal operation purposes. More information on the subject can be found in the Privacy Policy and Terms of Service. By closing this window the user confirms that they have read the information on cookie usage, and they accept the privacy policy and the way cookies are used by the portal. You can change the cookie settings in your browser.
Software Engineering is a primary subject in many computer science departments of universities worldwide. Its purpose is to help students understand and apply both disciplined and systematic methods to software development. Due to the ubiquity and visibility of software in the modern world, the study, education and research into software engineering and its practice have retained a high level of interest...
Tabular expressions have been proposed as a notation to document mathematically precise but readable software specifications. One of the many roles of such documentation is to guide testers. This paper 1) explores the application of four testing strategies (the partition strategy, decision table-based testing, the basic meaningful impact strategy, and fault-based testing) to tabular expression-based...
This paper introduces the design of a GIS component software - MapManager, which is based on the COM technology and conformed to OpenGIS specifications. In the process of GIS software design, the following aspects should be considered carefully: spatial database, visualization, data exchange, system function like data querying, editing and mapping. MapManager is proven to be an applicable GIS component...
Most commercial software testing tools used in industry do not automatically generate test data even though many testing strategies have been proposed in academia. In this paper, we introduce a prototype software testing platform that we developed to automatically generate test data from tabular specifications. This method of documenting software specifications has been used successfully in industry...
Set the date range to filter the displayed results. You can set a starting date, ending date or both. You can enter the dates manually or choose them from the calendar.