Module documentation based testing using grey-box approach
Testing plays an important role to assure the quality of software. Testing is a process of detecting errors that can be highly effective if performed rigorously. The use of formal specifications provides significant opportunity to develop effective testing techniques. Grey-box testing approach usual...
| Main Authors: | , |
|---|---|
| Format: | Conference or Workshop Item |
| Language: | English |
| Published: |
IEEE
2008
|
| Online Access: | http://psasir.upm.edu.my/id/eprint/26391/ http://psasir.upm.edu.my/id/eprint/26391/1/Module%20documentation%20based%20testing%20using%20grey-box%20approach.pdf |
| _version_ | 1848845567694733312 |
|---|---|
| author | Baharom, Salmi Shukur, Zarina |
| author_facet | Baharom, Salmi Shukur, Zarina |
| author_sort | Baharom, Salmi |
| building | UPM Institutional Repository |
| collection | Online Access |
| description | Testing plays an important role to assure the quality of software. Testing is a process of detecting errors that can be highly effective if performed rigorously. The use of formal specifications provides significant opportunity to develop effective testing techniques. Grey-box testing approach usually based on knowledge obtains from specification and source code while seldom the design specification is concerned. In this paper, we propose an approach for testing a module with internal memory from its formal specification based on grey-box approach. We use formal specifications that are documented using Parnas’s Module Documentation (MD) method. The MD provides us with the information of external and internal view of a module that can be useful in grey-box testing approach. |
| first_indexed | 2025-11-15T08:48:52Z |
| format | Conference or Workshop Item |
| id | upm-26391 |
| institution | Universiti Putra Malaysia |
| institution_category | Local University |
| language | English |
| last_indexed | 2025-11-15T08:48:52Z |
| publishDate | 2008 |
| publisher | IEEE |
| recordtype | eprints |
| repository_type | Digital Repository |
| spelling | upm-263912020-07-22T01:38:24Z http://psasir.upm.edu.my/id/eprint/26391/ Module documentation based testing using grey-box approach Baharom, Salmi Shukur, Zarina Testing plays an important role to assure the quality of software. Testing is a process of detecting errors that can be highly effective if performed rigorously. The use of formal specifications provides significant opportunity to develop effective testing techniques. Grey-box testing approach usually based on knowledge obtains from specification and source code while seldom the design specification is concerned. In this paper, we propose an approach for testing a module with internal memory from its formal specification based on grey-box approach. We use formal specifications that are documented using Parnas’s Module Documentation (MD) method. The MD provides us with the information of external and internal view of a module that can be useful in grey-box testing approach. IEEE 2008 Conference or Workshop Item PeerReviewed text en http://psasir.upm.edu.my/id/eprint/26391/1/Module%20documentation%20based%20testing%20using%20grey-box%20approach.pdf Baharom, Salmi and Shukur, Zarina (2008) Module documentation based testing using grey-box approach. In: 3rd International Symposium on Information Technology (ITSim'08), 26-28 Aug. 2008, Kuala Lumpur, Malaysia. . 10.1109/ITSIM.2008.4631651 |
| spellingShingle | Baharom, Salmi Shukur, Zarina Module documentation based testing using grey-box approach |
| title | Module documentation based testing using grey-box approach |
| title_full | Module documentation based testing using grey-box approach |
| title_fullStr | Module documentation based testing using grey-box approach |
| title_full_unstemmed | Module documentation based testing using grey-box approach |
| title_short | Module documentation based testing using grey-box approach |
| title_sort | module documentation based testing using grey-box approach |
| url | http://psasir.upm.edu.my/id/eprint/26391/ http://psasir.upm.edu.my/id/eprint/26391/ http://psasir.upm.edu.my/id/eprint/26391/1/Module%20documentation%20based%20testing%20using%20grey-box%20approach.pdf |